[plt-scheme] Questions about contracts

Can you provide an example? A statement like this is rather, eh,  
strange. -- Matthias




On Apr 16, 2007, at 7:01 PM, Chongkai Zhu wrote:

>
> ----- Original Message ----- From: "Matthias Felleisen"  
> <matthias at ccs.neu.edu>
> To: "Henk Boom" <lunarc.lists at gmail.com>
> Cc: <plt-scheme at list.cs.brown.edu>
> Sent: Monday, April 16, 2007 4:55 PM
> Subject: Re: [plt-scheme] Questions about contracts
>
>
>>  (2) unlike Eiffel's, our contract system copes with higher-order  
>> functions.
>
> Sorry, but I tried our contract system with higher-order functions  
> recently, and doesn't feel that it works in general cases.
>
> Chongkai
>
>