[plt-scheme] Questions about contracts

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Mon Apr 16 23:11:28 EDT 2007

----- Original Message ----- 
From: "Robby Findler" <robby at cs.uchicago.edu>
To: "Chongkai Zhu" <czhu at cs.utah.edu>
Cc: "Matthias Felleisen" <matthias at ccs.neu.edu>; <plt-scheme at list.cs.brown.edu>
Sent: Monday, April 16, 2007 8:36 PM
Subject: Re: [plt-scheme] Questions about contracts

> The contract system is correct, Chongkai.
> You wrote that your make-shared-array's second argument must be a
> function accepts an arbitrary number of arguments. You supplied a
> function that only takes one argument.

I didn't wrote that contract. David Van Horn did.

I don't know offhand how to write a precise contract down.

> Think of it from the perspective of make-shared-array. The contract
> should entitle it to apply mapper to 3 arguments, but your function
> does not accept 3 arguments.
> Robby

Posted on the users mailing list.