14db2b7f81300f2bd63792a060fe69d8a32dc6e9
[ghc.git] / testsuite / tests / th / T8953.stderr
1 type family T8953.Poly (a_0 :: k_1) :: *
2 type instance T8953.Poly (x_2 :: GHC.Types.Bool) = GHC.Types.Int
3 type instance T8953.Poly (x_3 :: GHC.Base.Maybe k_4) = GHC.Types.Double
4 type family T8953.Silly :: k_0 -> *
5 type instance T8953.Silly = Data.Proxy.Proxy :: * -> *
6 type instance T8953.Silly = Data.Proxy.Proxy :: (* -> *) -> *
7 T8953.a :: Data.Proxy.Proxy (Data.Proxy.Proxy :: * -> *)
8 T8953.b :: Data.Proxy.Proxy (Data.Proxy.Proxy :: (* -> *) -> *)
9 type T8953.StarProxy (a_0 :: *) = Data.Proxy.Proxy a_0
10 class T8953.PC (a_0 :: k_1)
11 instance T8953.PC (a_2 :: *)
12 instance T8953.PC (Data.Proxy.Proxy :: (k_3 -> *) -> *)
13 type family T8953.F (a_0 :: *) :: k_1
14 type instance T8953.F GHC.Types.Char = T8953.G (T8953.T1 :: * ->
15                                                             (* -> *) -> *)
16                                                GHC.Types.Bool :: (* -> *) -> *
17 type family T8953.G (a_0 :: k_1) :: k_1
18 type instance T8953.G (T8953.T1 :: k_2 ->
19                                    k1_3 -> *) = T8953.T2 :: k_2 -> k1_3 -> *