[racket-dev] [plt] Push #23181: master branch updated

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Aug 8 03:26:30 EDT 2011

Two days ago, Casey Klein wrote:
> Oh, I see. I like that. How do you feel about using the same style
> for contracts? For example:
> (define-judgment-form nats
>     #:mode (sum I I O)
>     #:contract (sum n n n)

Not a party I'm familiar with, but separating the IOs from the types
seems bad.  Can't they be specified together?

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.