diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/CyclicSubst.hs')
| -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. |