diff options
| author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-18 10:35:33 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-08 05:12:15 -0400 |
| commit | 397c6ed5ca5329408db33a64e45102fff23c969a (patch) | |
| tree | b5b06348a6da5b51a35c76871f4fff9a99834222 /docs/users_guide/flags.py | |
| parent | 8af9eba88c84c21a8753ecb5135050d2ac9f0a2b (diff) | |
| download | haskell-397c6ed5ca5329408db33a64e45102fff23c969a.tar.gz | |
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 solve #17208 for
view patterns yet.
Diffstat (limited to 'docs/users_guide/flags.py')
0 files changed, 0 insertions, 0 deletions