Micahel, but you started it, by saying that what Dwight proposed was 'silly'.
That is itself insulting.  It is best if we take these discussions aside, they do not fit in github.  So if you want to continue this discussion, do it in person or by separate messages, please.  But it is best to stop it.

Grigore

Sent from phone


-------- Original message --------
From: mdmkolbe
Date:03/12/2014 17:52 (GMT-06:00)
To: kframework/k
Cc: "Rosu, Grigore"
Subject: Re: [k] NewParser - added labels to the generated trees (worked with Michael). (#282)


In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:

>              if (this instanceof ExitState) {
> -                return new HashSet<KList>(Arrays.asList(new KList(Arrays.asList((Term)new Ambiguity("K", new ArrayList<Term>(input))))));
> +                return new HashSet<KList>(Arrays.asList(new KList(Arrays.asList((Term)new Ambiguity("K", new ArrayList<Term>(result))))));


Dwight, thank you for the apology. For the future, you should know that, due to events in my past, I have no tolerance for insults or rudeness.

So I can't help but feel troubled that this is your mindset ...

Please don't make assumptions or impute my motives. Personally, I think KIL would be cleaner to use in general if it had those factory methods (though perhaps they should be variadic constructors). It is, however, a change to the KIL interface (a core component that is not part of the parser), which is not something to be done willy-nilly and thus why I brought it up.

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/282/files#r10545942>.