Okay, that rationale for making a separate change makes sense to me. Can
you make an issue?

Is it actually necessary for Term.getSort though? All concrete syntax is
associated with a production, and therefore with a sort.
On Apr 24, 2014 12:36 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/kil/Production.java:
>
> > @@ -87,9 +87,16 @@ public Lexical getLexical() {
> >      }
> >
> >      public boolean isConstant() {
> > +        // TODO(Radu): properly determine if a production is a constant or not, just like below
>
> I agree, but I don't think this is the right pull request to remove it.
> It might break other things because it is used in many places.
> And before that, I think we should discuss about doing the same thing to
> Term.getSort
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/397/files#r11960650>
> .
>