[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Scheme r7rs syntax described by ABNF
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.
On Jan 17, 2013, at 11:33 AM, Alex Shinn <alexshinn@x> wrote:
> On Wed, Jan 16, 2013 at 11:24 PM, ノートン ジョーセフ ウェイ ン <norton@x> 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.
Scheme-reports mailing list