[racket-dev] doc fix for with-contract?

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4800 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20120619/83d8b872/attachment.p7s>