[plt-scheme] Dynamic Contracts

[Chris Warrington]

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://list.cs.brown.edu/pipermail/plt-scheme/attachments/20060721/c3cb52b2/attachment.pgp