Okay. Well sorry if I misunderstood your thought process. But in the
future, please show more ownership of the code base. If a change is good,
easy to make, and makes the code cleaner, never second guess making it out
of a concern for code evolving or modifying a different part of the code
base. Just make it and get the owner of the code to review it.

Also, a quick note. I understand it's not good communication practices, and
rude, and I will try to avoid doing it, but in the future you should also
be aware that if I make comments like this I generally don't mean them at
all personally, they just represent confusion as to how a thought process
makes sense to someone. If the misunderstanding can be cleared up, I will
promptly forget the whole thing happened.
On Mar 12, 2014 5:52 PM, "mdmkolbe" <notifications@github.com> wrote:

> 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>
> .
>