PmCheck: Identify some semantically equivalent expressions
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.