| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Fri Oct 5 13:59:56 EDT 2012 |
|
Then the commit message is badly formulated :-) On Oct 5, 2012, at 1:55 PM, Sam Tobin-Hochstadt wrote: > The errors are delayed in exactly the way that they are for the contract '(-> none/c any/c)'. If you apply that contract to 'add1', it doesn't error unless the resulting function is applied. > > Sam >
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}