diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc228.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc228.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc228.hs b/testsuite/tests/typecheck/should_compile/tc228.hs index 7989674847..67703a2a91 100644 --- a/testsuite/tests/typecheck/should_compile/tc228.hs +++ b/testsuite/tests/typecheck/should_compile/tc228.hs @@ -6,7 +6,7 @@ -- Reason: we get an implication constraint (forall a. Typeable a => Typeable b), -- when generalising unExTypeable. We want to infer a context for the -- whole thing of (Typeable b). --- See Note [Inference and implication constraints] in TcSimplify +-- See Note [Inference and implication constraints] in GHC.Tc.Solver module Foo where |