equal
deleted
inserted
replaced
352 if not lcheckdef: |
352 if not lcheckdef: |
353 continue |
353 continue |
354 myrqlst = select.copy(solutions=lchecksolutions) |
354 myrqlst = select.copy(solutions=lchecksolutions) |
355 myunion.append(myrqlst) |
355 myunion.append(myrqlst) |
356 # in-place rewrite + annotation / simplification |
356 # in-place rewrite + annotation / simplification |
357 lcheckdef = [((var, 'X'), rqlexprs) for var, rqlexprs in lcheckdef] |
357 lcheckdef = [({var: 'X'}, rqlexprs) for var, rqlexprs in lcheckdef] |
358 rewrite(myrqlst, lcheckdef, lchecksolutions, self.args) |
358 rewrite(myrqlst, lcheckdef, lchecksolutions, self.args) |
359 add_noinvariant(noinvariant, restricted, myrqlst, nbtrees) |
359 add_noinvariant(noinvariant, restricted, myrqlst, nbtrees) |
360 if () in localchecks: |
360 if () in localchecks: |
361 select.set_possible_types(localchecks[()]) |
361 select.set_possible_types(localchecks[()]) |
362 add_types_restriction(self.schema, select) |
362 add_types_restriction(self.schema, select) |