[plt-scheme] Questions about contracts

Than my question is: how to write a correct contract for cases like this?

The icfp paper only talks about a language that each lambda can only take one argument. But in Scheme we have much more ways to use lambda.

Chongkai

----- Original Message ----- 
From: "Matthias Felleisen" <matthias at ccs.neu.edu>
To: "Matthew Flatt" <mflatt at cs.utah.edu>
Cc: "Chongkai Zhu" <czhu at cs.utah.edu>; "pltscheme list" <plt-scheme at list.cs.brown.edu>
Sent: Monday, April 16, 2007 7:46 PM
Subject: Re: [plt-scheme] Questions about contracts


> 1. I didn't look at the code.
> 
> 2. I did look at the error message and it became clear from there  
> that you MUST supply a mu-lambda.
> 
> 3. You didn't (Zhu) and so the contract blew up on you.
> 
> 4. To write the contract that you want, you may have to use arity  
> though I don't know off-hand whether this is possible here.
> 
> Too busy to try. It still isn't a problem with the contract system.  
> -- Matthias
> 
> 
> 
>