• Sebastian Graf's avatar
    PmCheck: Identify some semantically equivalent expressions · 397c6ed5
    Sebastian Graf authored
    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 solve #17208 for
    view patterns yet.
    397c6ed5
Code owners : Ben Gamari
Types.hs 20 KB