Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9357.hs
1 {-# LANGUAGE RankNTypes, MagicHash, TypeFamilies, PolyKinds #-}
2
3 module T9357 where
4 import GHC.Exts
5
6 type family F (a :: k1) :: k2
7
8 type instance F Int# = Int
9 -- This one is actually OK (F is poly-kinded;
10 -- c.f. #11120 comment:19
11
12 type instance F (forall a. a->a) = Int
13 -- But this one is not (impredicative)