This ought to work. I'll look into why it currently doesn't. On Tue, May 15, 2012 at 4:37 PM, Sylvain Sanesti <sane...@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 sa...@ccs.neu.edu ____________________ Racket Users list: http://lists.racket-lang.org/users
