diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-19 10:28:01 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-07 18:36:49 -0400 |
| commit | 255418da5d264fb2758bc70925adb2094f34adc3 (patch) | |
| tree | 39e3d7f84571e750f2a087c1bc2ab87198e9b147 /testsuite/tests/polykinds | |
| parent | 3d2991f8b4c1b686323b2c9452ce845a60b8d94c (diff) | |
| download | haskell-255418da5d264fb2758bc70925adb2094f34adc3.tar.gz | |
Modules: type-checker (#13009)
Update Haddock submodule
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/CuskFam.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/TyVarTvKinds.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/CuskFam.hs b/testsuite/tests/polykinds/CuskFam.hs index c339dbcac0..da31a6acda 100644 --- a/testsuite/tests/polykinds/CuskFam.hs +++ b/testsuite/tests/polykinds/CuskFam.hs @@ -13,4 +13,4 @@ type family X :: F a -- The type variable ‘a1’ is ambiguous -- • In the type family declaration for ‘X’ -- - -- See Note [Unifying implicit CUSK variables] in TcHsType + -- See Note [Unifying implicit CUSK variables] in GHC.Tc.Gen.HsType diff --git a/testsuite/tests/polykinds/TyVarTvKinds.hs b/testsuite/tests/polykinds/TyVarTvKinds.hs index a3a0de3da4..cdfe115655 100644 --- a/testsuite/tests/polykinds/TyVarTvKinds.hs +++ b/testsuite/tests/polykinds/TyVarTvKinds.hs @@ -4,4 +4,4 @@ module TyVarTvKinds where data T (a :: k1) x = MkT (S a ()) data S (b :: k2) y = MkS (T b ()) - -- tests TcTyClsDecls.no_sig_tv + -- tests GHC.Tc.TyCl.no_sig_tv |