diff options
| author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-27 16:42:42 +0000 |
|---|---|---|
| committer | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-29 15:59:01 +0000 |
| commit | 2795adc5ea911fcf76c56f21917b8d5f14004b4e (patch) | |
| tree | 2f4cc5088cca9b432c9f2790b772189924d98726 /testsuite | |
| parent | ce64b397777408731c6dd3f5c55ea8415f9f565b (diff) | |
| download | haskell-wip/pmcheck-move.tar.gz | |
Move pattern match checker modules to GHC.HsToCore.PmCheckwip/pmcheck-move
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/CyclicSubst.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs index 3f37b66b54..9fe0effe2c 100644 --- a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs +++ b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs @@ -1,5 +1,5 @@ -- | The following match demonstrates why we need to detect cyclic solutions --- when extending 'PmOracle.tm_pos'. +-- when extending 'GHC.HsToCore.PmCheck.Oracle.tm_pos'. -- -- TLDR; solving @x :-> y@ where @x@ is the representative of @y@'s equivalence -- class can easily lead to a cycle in the substitution. |