[plt-scheme] Contract Error Message

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jul 20 14:45:09 EDT 2009

On Jul 20, 2009, at 2:40 PM, David Van Horn wrote:

> Carl Eastlund wrote:
>> What you wrote was a perfectly acceptable contract that functioned
>> perfectly, except that it wasn't the one you meant it to be.  What
>> alternate behavior would you propose?
>
> Actually, Paulo broke the contract on or/c, so this could have a  
> better error message without changes to the contract language.

Correct. The contract combinators could check that their arguments  
are functions of 1 argument. -- Matthias



Posted on the users mailing list.