[racket] [typed racket] type case

On Oct 23, 2011, at 12:39 PM, Vincent St-Amour wrote:
> Using `Any' as a return type is something I only do as a quick and
> dirty solution. I assume that if you care enough to want case
> exhaustiveness checking, you probably care enough to nail down your
> return types precisely.

Ok for Any. But Void may still be a valid return type, so in that case the problem remains.

-- Éric