Sorry, that was way too sarcastic. I apologize. But there is a point here:
code becomes unreadable if we're not willing to take minuscule amounts of
effort to make it less so, and having to do something that's not been done
before is a hideously bad reason not to do something. As is "because it
would be a little bit more work". So I can't help but feel troubled that
this is your mindset ...
On Mar 12, 2014 4:32 PM, "Dwight Guth" <dwight.guth@runtimeverification.com>
wrote:

> Gosh, far be it from me to ask you to program things you need...
> On Mar 12, 2014 4:31 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))))));
>>
>> If KList and Ambiguity had "of" methods, we could certainly use them.
>> Currently they don't.
>>
>> --
>> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/282/files#r10542193>
>> .
>>
>