[racket-dev] [plt] Push #28213: master branch updated

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu Feb 20 23:03:22 EST 2014

On 2014-02-20 20:31:56 -0700, Neil Toronto wrote:
> How close is this to being able to support, say, the plot library
> converted to TR? The OO stuff in it is a few custom classes without
> anything complicated, a couple of snip% descendants, and drawing
> onto device contexts.

Should be very close. Not quite there currently because there are two
more chunks that I've written and haven't pushed yet:

  * Implicit (mutual) recursive type aliases, so that a `define-type`
    can define mutually recursive type alises like the types for
    `bitmap%` and `bitmap-dc%`.

  * Types for everything in racket/gui and a few other libraries.
    Types for the framework are still work-in-progress.

  * Full contract support.

Cheers,
Asumu

Posted on the dev mailing list.