I have a question for <definition> and <library declaration> of section 7.1.6 
and 7.1.7 respectively.

draft 8 section 7.1.6:
(begin ⟨definition⟩*)

correct?:
| (begin ⟨definition⟩+)


draft 8 section 7.1.7:
| (begin ⟨command or definition⟩*)
(else ⟨library declaration⟩*)) 

correct?:
| (begin ⟨command or definition⟩+)
(else ⟨library declaration⟩+)) 

Shouldn't the above expressions be treated like a sequence which is a non-empty 
list?

regards,

Joe N.



⟨definition⟩ −→ (define ⟨identifier⟩ ⟨expression⟩)

| (define (⟨identifier⟩ ⟨def formals⟩) ⟨body⟩) | ⟨syntax definition⟩
| (define-values ⟨formals⟩ ⟨body⟩)
| (define-record-type ⟨identifier⟩ ⟨constructor⟩ ⟨identifier⟩ ⟨field spec⟩*)

| (begin ⟨definition⟩*)

 

library declaration⟩ −→ (export ⟨export spec⟩*)
| ⟨import declaration⟩
| (begin ⟨command or definition⟩*)
| ⟨includer⟩
| (include-library-declarations ⟨string⟩+) | (cond-expand ⟨cond-expand clause⟩+)
| (cond-expand ⟨cond-expand clause⟩+

         (else ⟨library declaration⟩*)) 
_______________________________________________
Scheme-reports mailing list
[email protected]
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

Reply via email to