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 ノートン ジョーセフ ウェイ ン 16 Jan 2013 14:24 UTC
Hello again.

I have an updated draft for the formal syntax of Scheme r7rs written in ABNF.  This draft is based on updates since r7rs-draft-8.pdf and includes all sections except for quasiquotations.  The datum and expression sections have undergone some quickcheck-style unit testing.  I'd appreciate any review and feedback.

regards,

Joe N


On Jan 13, 2013, at 01:32 , ノートン ジョーセフ ウェイ ン <norton@lovely.email.ne.jp> wrote:

>
> 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.
>
> <r7rs_tokens.abnf.txt>
>
>
> 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

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