Parser priorities2

Don't review it. I'm just trying to test it.
Oh okay. That's fine then.


On Mon, Jun 9, 2014 at 11:02 AM, Radu Mereuta <notifications@github.com>
wrote:

> In tests/regression/unparsing/programs/test.issue:
>
> > @@ -1 +1 @@
> > -foo(true, '`(`), x, )
> > +foo(true, '(), x, )
>
> This was actually wrong in the first place.
> When you say in the definition:
> syntax KLabel ::= "'()"
> You want to be able to parse exactly that. And this is why I made the
> change.
>
> However, it did work before, because the lexical rule for KLabels was
> imported automatically, and it would have parsed. I only found out recently
> when I tested it with the new parser, which is a bit cleaner in regard to
> what it imports.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/455/files#r13548207>.
>