It looks to me like the "free-var-list" is optional in uses of with-contract and define/contract. The documentation, though, suggests that this is not the case. Specifically, free-var-list is defined as:
free-var-list = #:freevars ([id contract-expr] ...)
| #:freevar id contract-expr
It looks to me like this could easily be fixed by adding another (empty) option
to this definition.
Let me know if I should go ahead and add this.
John
smime.p7s
Description: S/MIME cryptographic signature
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
