[plt-scheme] Dynamic Contracts

From: Chris Warrington (chrisw at rice.edu)
Date: Fri Jul 21 23:55:29 EDT 2006

Robby Findler @ 2006-7-21 1:59:04 PM
"[plt-scheme] Dynamic Contracts" <mid:20060721175945.76DB16C3E2 at laime.cs.uchicago.edu>

> You can write a contract that ensures that the list has the right
> length and has the right elements by using ->d. For more complex
> things along these lines, you'll ->pp (or ->r). But, here's your
> example using
->d

Ah! Right in front of me the whole time. I wonder why I missed it...

-- 
Chris Warrington <chrisw at rice.edu>


A chicken is an egg's way of making more eggs.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 185 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20060721/c3cb52b2/attachment.sig>

Posted on the users mailing list.