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 /testsuite/tests/pmcheck/should_compile/T17208.hs | |
| 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 'testsuite/tests/pmcheck/should_compile/T17208.hs')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T17208.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T17208.hs b/testsuite/tests/pmcheck/should_compile/T17208.hs index e7b4efd2de..17516938c1 100644 --- a/testsuite/tests/pmcheck/should_compile/T17208.hs +++ b/testsuite/tests/pmcheck/should_compile/T17208.hs @@ -11,4 +11,3 @@ safeLast xs safeLast2 :: [a] -> Maybe a safeLast2 (reverse -> []) = Nothing safeLast2 (reverse -> (x:_)) = Just x - |