Alex -

Without this extended syntax, the spec becomes more tedious (and error prone).

I'm aware of two ABNF parser libraries that support this extended syntax:

abnfgen  - http://www.quut.com/abnfgen/

abnfc - https://github.com/ubf/abnfc/tree/norton-upstream%2Bgenerators

I tested this draft of r7rs with the abnfc tool.

I'll add a TODO list at the top of this draft for the +i and +nan.0 symbols.

thanks,

Joe N.


On Jan 17, 2013, at 11:33 AM, Alex Shinn <alexshinn@gmail.com> wrote:

On Wed, Jan 16, 2013 at 11:24 PM, ノートン ジョーセフ ウェイ ン <norton@lovely.email.ne.jp> wrote:
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.

Thanks for doing this.  The big advantage of the RFC format is
that it's machine readable - have you tried running this through
any ABNF parser libraries?

To use it practically you'd need to tie up some of the loose ends,
e.g. +i and +nan.0 should not parse as symbols.  This is possible
but a little tedious to spec out.

-- 
Alex