diff options
Diffstat (limited to 'testsuite/tests/indexed-types')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T2238.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T2238.hs b/testsuite/tests/indexed-types/should_compile/T2238.hs index f2407ac623..70b444985b 100644 --- a/testsuite/tests/indexed-types/should_compile/T2238.hs +++ b/testsuite/tests/indexed-types/should_compile/T2238.hs @@ -8,7 +8,7 @@ -- #2238 -- Notice that class CTF has just one value field, but -- it also has an equality predicate. --- See Note [Class newtypes and equality predicates] in BuildTyCl +-- See Note [Class newtypes and equality predicates] in GHC.Tc.TyCl.Build module Foo where diff --git a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs index 62798fad39..431097454f 100644 --- a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs +++ b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs @@ -27,7 +27,7 @@ f x = in (g1 '3', g2 undefined) -{- This example comes from Note [Extra TcS Untouchables] in TcSimplify. It demonstrates +{- This example comes from Note [Extra TcS Untouchables] in GHC.Tc.Solver. It demonstrates why when floating equalities out of an implication constraint we must record the free variables of the equalities as untouchables. With GHC 7.4.1 this program gives a Core Lint error because of an existential escaping. |