[racket] [typed racket] type case

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Sun Oct 23 15:54:24 EDT 2011

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

Posted on the users mailing list.