Hi again, Is there a mechanism to do an exhaustive type case?
I know I can use (cond [(type-pred? v) ...]
[...])
but of course I have no guarantee that I am exhaustive (and of course, doing
pattern matching to destruct the value would be even nicer).
Basically, I guess I'm after the typed version of PLAI's type-case.
Thanks,
-- Éric
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
