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

Reply via email to