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

To: ノートンジョーセフウェイン <norton@x>

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

From: leppie <xacc.ide@x>

Date: Tue, 15 Jan 2013 17:32:54 +0200

Cc: scheme-reports <scheme-reports@x>

In-reply-to: <FB3B3EA4-40DB-4E0B-8721-CED003CC4DF4@lovely.email.ne.jp>

References: <FB3B3EA4-40DB-4E0B-8721-CED003CC4DF4@lovely.email.ne.jp>

(define (foo . bar) ...)

is valid, which your rule would not match given:

(define (<identifier> <def formals>) <body>)

On Tue, Jan 15, 2013 at 4:29 PM, ノートンジョーセフウェイン <norton@x> wrote:

Hello.

I'd like to confirm if these are typos or not with <def formals> and <definition> of section 7.1.6 of R7RS draft 8.

draft 8:

⟨def formals⟩ → ⟨identifier⟩* | ⟨identifier⟩* . ⟨identifier⟩

correct?:

⟨def formals⟩ → ⟨identifier⟩* | ⟨identifier⟩+ . ⟨identifier⟩

draft 8:

| (define-values ⟨def formals⟩ ⟨body⟩)

correct?:

| (define-values "(" ⟨def formals⟩ ")" ⟨body⟩)

regards,

Joe N.

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

--
http://codeplex.com/IronScheme
http://xacc.wordpress.com