((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

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

From: Sylvain Sanesti (sanesti at gmx.fr)
Date: Tue May 15 16:37:46 EDT 2012		 
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 ?
Posted on the users mailing list.