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

[racket] Is this a bug in contracts?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Jan 16 21:48:08 EST 2013		 
On Jan 16, 2013, at 9:20 PM, Harry Spier wrote:

> #lang racket
> (define/contract pizza-D%
>   (class/c [init-field (p (is-a?/c pizza-D%))])
>   (class object% (super-new)
>   (init-field p)))


Great contract. That's what you want -- Matthias
Posted on the users mailing list.