If I ask a question, it's because I think I need to know the answer. It's
important that I am able to track progress on a change like this otherwise
time will be wasted going in the wrong direction. For example, you have
reverted the change I suggested you make regarding the sorts of variables
in FlattenTerms, and I don't know why yet. I would have to ask that
question when you are done and ready for code review, and then if I didn't
like the answer we would have to start the entire diff over on a different
path. I am just trying to establish the answer now so I know whether or not
I need to have you go back to the path you abandoned, or if there is some
obstacle here I genuinely did not anticipate.


On Tue, May 20, 2014 at 10:25 AM, Liyi Li <notifications@github.com> wrote:

> In
> src/javasources/KTool/src/org/kframework/compile/transformers/ResolveSyntaxPredicates.java:
>
> > @@ -38,7 +44,8 @@ public ASTNode visit(Sentence node, Void _)  {
> >          for (Variable var : vars) {
> >  //            if (!var.isUserTyped()) continue;
> >              if (var.isSyntactic()) continue;
> > -            if (MetaK.isKSort(var.getSort())) continue;
> > +            if ((var.getExpectedSort()==null && MetaK.isKSort(var.getSort()))
>
> I do not think I need to explain to you every detail, right. I mean I did
> not finish it yet, there is still problem when I move flattenTerms before
> ResolveSyntaxPredicates. Wait me to finish it.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/466/files#r12849824>
> .
>