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
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
