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