Re: [Scheme-reports] Scheme r7rs syntax described by ABNF ノートン ジョーセフ ウェイ ン (12 Jan 2013 16:32 UTC)
Re: [Scheme-reports] Scheme r7rs syntax described by ABNF ノートン ジョーセフ ウェイ ン (16 Jan 2013 14:24 UTC)
Re: [Scheme-reports] Scheme r7rs syntax described by ABNF Joseph Wayne Norton (17 Jan 2013 03:08 UTC)
Re: [Scheme-reports] Scheme r7rs syntax described by ABNF ノートン ジョーセフ ウェイ ン (18 Jan 2013 16:38 UTC)

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