Re: [Scheme-reports] Scheme r7rs syntax described by ABNF
ãã¼ãã³ ã¸ã§ã¼ã»ã ã¦ã§ã¤ ã³ 12 Jan 2013 16:32 UTC
Hello again.
I have an updated draft for the formal syntax of Scheme r7rs (based on r7rs-draft-8.pdf) written in ABNF. This draft includes all sections except for quasiquotations. The datum section has undergone some quickcheck-style unit testing. I'd appreciate any review and feedback.
I also have one *minor* suggestion. The definition for <library name part> seems inconsistent with the style used for <label>.
library-name-part = identifier / 1*digit10
The above definition would follow same style used for <label>.
regards,
Joe N.
On Dec 29, 2012, at 24:47 , Joseph Wayne Norton <norton@lovely.email.ne.jp> wrote:
>
> Hello.
>
> In the process of reviewing the r7rs draft, I decided to draft the formal syntax of Scheme r7rs written in ABNF. This draft only covers tokens (including datum).
>
> This kind of specification would be helpful to me and possibly to others. I'd appreciate any review and feedback.
>
> I intend to draft the other sections (i.e. expressions, quasiquotations, transformers, programs and definitions, and libraries) as well.
>
> thanks,
>
> Joe N.
>
> <scheme_r7rs_tokens.abnf>
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports