If there is a revision or successor to r7rs, I suggest changing the really
awkward specification of syntax-rules pattern-matching with ellipsis in 4.3.2:
For example:
P is of the form (P_1 . . . P_k P_e ellipsis P_m+1 ... P_n)
where E is a proper list of n elements, the first
k of which match P_1 through P_k , respectively, whose
next m−k elements each match P_e, whose remaining
n−m elements match P_m+1 through P_n
The phrase 'of the form (P_1 ... P_k P_e ellipsis P_m+1 ... P_n)'
doesn't really make sense since m and n come out of nowhere.
Much clearer to write:
P is of the form (P_1 . . . P_k P_e ellipsis P_k+1 ... P_k+l)
where E is a proper list of n elements, the first
k of which match P_1 through P_k , respectively, whose
next n−k-l elements each match P_e, whose remaining
l elements match P_k+1 through P_k+l
Similarly for other items.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
