[racket-dev] Typed Racket support for Ephemerons

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Tue Apr 26 15:06:53 EDT 2011

The tests all pass (for me).


On Tue, Apr 26, 2011 at 2:54 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Tue, Apr 26, 2011 at 2:19 PM, Eric Dobson <eric.n.dobson at 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
> samth at ccs.neu.edu

Posted on the dev mailing list.