[racket] [Typed Racket] Problem with case->

This ought to work.  I'll look into why it currently doesn't.

On Tue, May 15, 2012 at 4:37 PM, Sylvain Sanesti <sanesti at gmx.fr> wrote:
> I don't understand why this code doesn't work :
>
> (: & (case-> [True -> One] [False -> Zero]))
> (define (& x) (if (eq? x #t) 1 0))
>
> -> Type Checker: Expected Zero, but got One in: 1
>
> Any idea ?
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users



-- 
sam th
samth at ccs.neu.edu