ノートン ジョーセフ ウェイ ン 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@ccil.org          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@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports