Skip to content

PmCheck: Identify some semantically equivalent expressions

Sebastian Graf requested to merge wip/pmcheck-coremap into master

By introducing a CoreMap Id to the term oracle, we can represent syntactically equivalent expressions by the same Id. Combine that with CoreOpt.simpleCoreExpr and it might even catch non-trivial semantic equalities.

Unfortunately due to scoping issues, this will not resolve #17208 for view patterns yet.

Merge request reports