[racket] [typed racket] type case

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Sun Oct 23 17:14:50 EDT 2011

On Oct 23, 2011, at 5:39 PM, Sam Tobin-Hochstadt wrote:
> Yes, I have planned to do this for a while.  Probably the form it will
> take will be a macro that always produces a type error when checked,
> rather than a new type.  Then macros could use this form to ensure
> exhaustiveness.

Great! Looking forward to that!


-- Éric

Posted on the users mailing list.