[racket-dev] Typed Racket support for Ephemerons

The tests all pass (for me).

-Eric

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
>