[Cl-yacc-ebnf-devel] Parser for parsers

[Plato Wu]

Mikhail Novikov <freiksenet at gmail.com> writes:

> Hello!
>
> I hope you had nice and happy holidays :)
>
> As you all know, the ebnf part of the cl-yacc is fully implemented and working
> and now there is a need to make parser for normal style ebnf grammar. As there
> are many modifications of ebnf grammar (standard, CLHS, extended) I though that
> it would be nice to have an abstraction layer on top of cl-yacc that allows to
> define grammar types in easy way. Basically, user provides cl-yacc grammar for
> the grammar type (like ebnf) and then it gets a closure which outputs a parser
> each time it receives actual grammar in previously given style. I have done
> this part, but now the problem is that it is very hard to generalize grammar
> styles, so definition of new grammar types is as tedious as normal parser
> grammar definition.
>
> I wonder if anyone have good ideas on how to abstract this kind of thing
> efficiently.
>
> Cheers, Mikhail
>
> _______________________________________________
> Cl-yacc-ebnf-devel mailing list
> Cl-yacc-ebnf-devel at common-lisp.net
> http://common-lisp.net/cgi-bin/mailman/listinfo/cl-yacc-ebnf-devel

Could you push the part which you have finished first? Thank you!