The tests all pass (for me). -Eric
On Tue, Apr 26, 2011 at 2:54 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Tue, Apr 26, 2011 at 2:19 PM, Eric Dobson <eric.n.dob...@gmail.com> wrote: >> I have added support for ephemerons to Typed Racket, and submitted a pull >> request on Github (https://github.com/plt/racket/pull/5). This patch is >> supposed to fix PR 11633. > > All of this looks good, except that `EphemeronTop' is unnecessary. > Since ephemerons are covariant, (Ephemeronof Any) is a supertype of > (Ephemeronof T) for any type T. > > Vincent says that he'll change that and push the result. > > Thanks! > -- > sam th > sa...@ccs.neu.edu > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
