Closed istvanrath closed 11 years ago
Last time I saw this such errors were related to #286. However, after the last commit (284a5ec359d32610c25e77a1ea6ce4426ec6a86e) these issues seemingly went away. Stupid question: did you regenerate the grammar files in the last 9 days (or are you using an update site version)?
I just updated to the latest from master, and re-run mwes. The error is still present. To reproduce, try e.g. editing the
pattern teachesMoreClasses(T1:Teacher, T2:Teacher) {
N == count find classesOfTeacher(T1,_SC1);
M == count find classesOfTeacher(T2,_SC2);
check(N > M);
}
pattern and remove the Teacher type constraint from T1.
Thanks for the detailed test case. This issue was a remainder of #286. Fixed in master.
Seems to be gone. thanks!
I have seen it coming from
.checkUnusedVariables()
and.checkPatternParametersType()
, but the problem might be present in others too.