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

[Sylvain Sanesti]

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 Tobin-Hochstadt]

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

--
sam th
sa...@ccs.neu.edu