[plt-scheme] Contract Error Message
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