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
