Parser priorities2

Don't review it. I'm just trying to test it.
Alright, fair enough.


On Mon, Jun 9, 2014 at 4:12 PM, Radu Mereuta <notifications@github.com>
wrote:

> In
> src/javasources/KTool/src/org/kframework/parser/concrete2/KSyntax2GrammarStatesFilter.java:
>
> > -             * following graph:
> > -             *
> > -             * IdsTerminator:
> > -             * (|-----<'.Ids>---<loc>---|)
> > -             *
> > -             * NeIds:
> > -             * (|-----[Id]--+--(",")---<Del>---[NeIds]--+--<'_,_>---<loc>-|)
> > -             *              |                           |
> > -             *              +-----[IdsTerminator]-------+
> > -             *
> > -             * Ids:
> > -             * (|--+-/-[IdsTerminator]-/-+--|) // used only if the list type is *
> > -             *     |                     |
> > -             *     +-------[NeIds]-------+
> > -             */
> > +            if (true) { // circular DFA/associative lists (faster)
>
> I feel like keeping it a little bit longer, until I sort out the quadratic
> behavior of adding tho KList.
> I'm adding comments about this in the code.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/455/files#r13565193>.
>