Re: [Scheme-reports] Typos with R7RS draft 8 section 7.1.6 <def formals> and <definition> ?

[John Cowan <cowan@x>]

ノートン ジョーセフ ウェイ ン scripsit:

> draft 8:
> 
> ⟨def formals⟩ → ⟨identifier⟩* | ⟨identifier⟩* . ⟨identifier⟩
> 
> correct?:
> 
> ⟨def formals⟩ → ⟨identifier⟩* | ⟨identifier⟩+ . ⟨identifier⟩

No, zero is a valid number of identifiers for `define`, which is how 

	(define (foo) ...)

works.  Although it's not very useful to write

	(define-values () ...)

it's not a syntax error either, though it would be a semantic error unless
the body returns zero values.

> draft 8: 
> 
> | (define-values ⟨def formals⟩ ⟨body⟩)
> 
> correct?:
> 
> | (define-values "(" ⟨def formals⟩ ")" ⟨body⟩)

Yes, the parens are definitely missing.  Fixed.

-- 
John Cowan              cowan@x          http://www.ccil.org/~cowan
C'est la` pourtant que se livre le sens du dire, de ce que, s'y conjuguant
le nyania qui bruit des sexes en compagnie, il supplee a ce qu'entre eux,
de rapport nyait pas.               --Jacques Lacan, "L'Etourdit"

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports