[racket-dev] Typed Racket support for Ephemerons

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Tue Apr 26 14:54:18 EDT 2011

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.

sam th
samth at ccs.neu.edu

Posted on the dev mailing list.