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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Oct 5 13:55:39 EDT 2012

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20121005/b474ab02/attachment.html>

Posted on the dev mailing list.