Parser priorities2

Don't review it. I'm just trying to test it.
Alright. Make a note of it somewhere that that is on the todo list as part
of the persistent collections refactoring, and I'm fine with this.


On Wed, Jun 11, 2014 at 3:12 PM, Radu Mereuta <notifications@github.com>
wrote:

> In src/javasources/KTool/src/org/kframework/kil/TermCons.java:
>
> > @@ -140,6 +156,18 @@ public boolean equals(Object obj) {
> >      }
> >
> >      @Override
> > +    public int hashCode() {
>
> To make them immutable, I need the data structures that @yilongli
> <https://github.com/yilongli> is working on right now.
> I'm not done with changing the classes of the parser AST.
> I still have to replace KInjectedLabel with Constant. I have to remove the
> quadratic behavior of appending parsing results to the current work list.
>
> I know it's not completely correct, but I want to close this pull request.
> It's been a month now, and I want to switch to unified-builtins.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/455/files#r13671139>.
>