| 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. Sam -------------- 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. |
|
![[logo]](/logo.png){kind=logo}