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

[John Clements]

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

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

[Stevie Strickland]

You're correct about it being optional, so go ahead and add it.

Thanks,
Stevie

On Jun 19, 2012, at 2:48 PM, John Clements wrote:

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


_
  Racket Developers list:
  http://lists.racket-lang.org/dev