[racket-dev] [plt] Push #25416: master branch updated

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.