summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T5776.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T5776.hs')
-rw-r--r--testsuite/tests/simplCore/should_compile/T5776.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T5776.hs b/testsuite/tests/simplCore/should_compile/T5776.hs
index 17a3e25852..5fab2b4ceb 100644
--- a/testsuite/tests/simplCore/should_compile/T5776.hs
+++ b/testsuite/tests/simplCore/should_compile/T5776.hs
@@ -13,7 +13,7 @@ module T5776 where
-- = GHC.Types.True
--
-- Note the *two* forall'd dEq parameters. This is important.
--- See Note [Simplifying RULE lhs constraints] in TcSimplify
+-- See Note [Simplifying RULE lhs constraints] in GHC.Tc.Solver
{-# RULES "foo" forall x y z.
f (g x y) (g y z) = True