[plt-scheme] Questions about contracts

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Mon Apr 16 22:50:57 EDT 2007

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.


----- 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

Posted on the users mailing list.