Fix #11287.
[ghc.git] / testsuite / tests / th / T10828.stderr
1 data family D_0 a_1 :: * -> *
2 data instance D_0 GHC.Types.Int GHC.Types.Bool :: * where
3     DInt_2 :: D_0 GHC.Types.Int GHC.Types.Bool
4 data E_3 where MkE_4 :: forall a_5 . a_5 -> E_3
5 data Foo_6 a_7 b_8 where
6     MkFoo_9, MkFoo'_10 :: forall a_11 b_12 . a_11 -> Foo_6 a_11 b_12
7 newtype Bar_13 :: * -> GHC.Types.Bool -> *
8   = MkBar_14 :: forall a_15 b_16 . a_15 -> Bar_13 a_15 b_16
9 data T10828.T (a_0 :: *) where
10     T10828.MkT :: forall (a_1 :: *) . a_1 -> a_1 -> T10828.T a_1
11     T10828.MkC :: forall (a_2 :: *) (b_3 :: *) . Data.Type.Equality.~ a_2
12                                                                        GHC.Types.Int => {T10828.foo :: a_2,
13                                                                                          T10828.bar :: b_3} -> T10828.T GHC.Types.Int
14 data T'_0 a_1 :: * where
15     MkT'_2 :: forall a_3 . a_3 -> a_3 -> T'_0 a_3
16     MkC'_4 :: forall a_5 b_6 . a_5 ~ GHC.Types.Int => {foo_7 :: a_5,
17                                                        bar_8 :: b_6} -> T'_0 GHC.Types.Int
18 TYPE SIGNATURES
19 TYPE CONSTRUCTORS
20   type role Bar representational phantom
21   newtype Bar a (b :: Bool) where
22     MkBar :: a -> Bar a b
23     Kind: GHC.Types.Type -> Bool -> GHC.Types.Type
24   data family D a0 b
25   data E where
26     MkE :: a0 -> E
27     Kind: *
28   type role Foo representational phantom
29   data Foo a0 b0 where
30     MkFoo :: a0 -> Foo a0 b0
31     MkFoo' :: a0 -> Foo a0 b0
32     Kind: * -> * -> *
33   type role T nominal
34   data T a where
35     MkT :: a -> a -> T a
36     MkC :: a1 ~ Int => {foo :: a1, bar :: b} -> T Int
37     Kind: * -> GHC.Types.Type
38 COERCION AXIOMS
39   axiom T10828.NTCo:Bar :: Bar a b = a -- Defined at T10828.hs:9:4
40   axiom T10828.TFCo:R:DIntBool ::
41     D Int Bool = T10828.R:DIntBool -- Defined at T10828.hs:9:4
42 FAMILY INSTANCES
43   data instance D Int Bool
44 Dependent modules: []
45 Dependent packages: [array-<VERSION>, base-<VERSION>, binary-<VERSION>,
46                      bytestring-<VERSION>, containers-<VERSION>, deepseq-<VERSION>,
47                      ghc-boot-<VERSION>, ghc-prim-<VERSION>, integer-<IMPL>-<VERSION>,
48                      pretty-<VERSION>, template-haskell-<VERSION>]
49
50 ==================== Typechecker ====================
51 foo = ()
52 bar = ()
53 T10828.$tcT
54   = GHC.Types.TyCon 0## 0## T10828.$trModule
55       (GHC.Types.TrNameS "T"#)
56 T10828.$tc'MkT
57   = GHC.Types.TyCon
58       0## 0## T10828.$trModule
59       (GHC.Types.TrNameS "'MkT"#)
60 T10828.$tc'MkC
61   = GHC.Types.TyCon
62       0## 0## T10828.$trModule
63       (GHC.Types.TrNameS "'MkC"#)
64 T10828.$tc'DInt
65   = GHC.Types.TyCon
66       0## 0## T10828.$trModule
67       (GHC.Types.TrNameS "'DInt"#)
68 T10828.$tcBar
69   = GHC.Types.TyCon
70       0## 0## T10828.$trModule
71       (GHC.Types.TrNameS "Bar"#)
72 T10828.$tc'MkBar
73   = GHC.Types.TyCon
74       0## 0## T10828.$trModule
75       (GHC.Types.TrNameS "'MkBar"#)
76 T10828.$tcFoo
77   = GHC.Types.TyCon
78       0## 0## T10828.$trModule
79       (GHC.Types.TrNameS "Foo"#)
80 T10828.$tc'MkFoo
81   = GHC.Types.TyCon
82       0## 0## T10828.$trModule
83       (GHC.Types.TrNameS "'MkFoo"#)
84 T10828.$tc'MkFoo'
85   = GHC.Types.TyCon
86       0## 0## T10828.$trModule
87       (GHC.Types.TrNameS "'MkFoo'"#)
88 T10828.$tcE
89   = GHC.Types.TyCon 0## 0## T10828.$trModule
90       (GHC.Types.TrNameS "E"#)
91 T10828.$tc'MkE
92   = GHC.Types.TyCon
93       0## 0## T10828.$trModule
94       (GHC.Types.TrNameS "'MkE"#)
95 T10828.$tcD
96   = GHC.Types.TyCon 0## 0## T10828.$trModule
97       (GHC.Types.TrNameS "D"#)
98 T10828.$trModule
99   = GHC.Types.Module
100       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T10828"#)