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! Thanks, -- Éric _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
