af9bc168c784c21f488751b4b3cd215677b1e5af
[ghc.git] / testsuite / tests / roles / should_compile / Roles3.stderr
1 TYPE SIGNATURES
2   meth1 :: forall a. C1 a => a -> a
3   meth2 :: forall a b. (C2 a b, a ~ b) => a -> b
4   meth3 :: forall a b. C3 a b => a -> F3 b -> F3 b
5   meth4 :: forall a b. C4 a b => a -> F4 b -> F4 b
6 TYPE CONSTRUCTORS
7   class C1 a where
8     meth1 :: a -> a
9     {-# MINIMAL meth1 #-}
10   class C2 a b where
11     meth2 :: a ~ b => a -> b
12     {-# MINIMAL meth2 #-}
13   class C3 a b where
14     type family F3 b :: * open
15     meth3 :: a -> F3 b -> F3 b
16     {-# MINIMAL meth3 #-}
17   class C4 a b where
18     meth4 :: a -> F4 b -> F4 b
19     {-# MINIMAL meth4 #-}
20   type family F4 a :: * open
21   type Syn1 a = F4 a
22   type Syn2 a = [a]
23 COERCION AXIOMS
24   axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1
25   axiom Roles3.N:C2 ::
26     C2 a b = a ~ b => a -> b -- Defined at Roles3.hs:9:1
27   axiom Roles3.N:C3 ::
28     C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1
29   axiom Roles3.N:C4 ::
30     C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18:1
31 Dependent modules: []
32 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
33                      integer-gmp-1.0.0.1]
34
35 ==================== Typechecker ====================
36 Roles3.$tcC4
37   = GHC.Types.TyCon
38       6800596812149592130##
39       15513203864133461281##
40       Roles3.$trModule
41       (GHC.Types.TrNameS "C4"#)
42       0
43       $krep
44 $krep [InlPrag=[~]]
45   = GHC.Types.KindRepFun
46       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
47       (GHC.Types.KindRepFun
48          (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
49          (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []))
50 Roles3.$tcC3
51   = GHC.Types.TyCon
52       5076086601454991970##
53       10299714674904836194##
54       Roles3.$trModule
55       (GHC.Types.TrNameS "C3"#)
56       0
57       $krep
58 $krep [InlPrag=[~]]
59   = GHC.Types.KindRepFun
60       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
61       (GHC.Types.KindRepFun
62          (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
63          (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []))
64 Roles3.$tcC2
65   = GHC.Types.TyCon
66       7902873224172523979##
67       11840994447152209031##
68       Roles3.$trModule
69       (GHC.Types.TrNameS "C2"#)
70       0
71       $krep
72 $krep [InlPrag=[~]]
73   = GHC.Types.KindRepFun
74       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
75       (GHC.Types.KindRepFun
76          (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
77          (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint []))
78 Roles3.$tc'C:C2
79   = GHC.Types.TyCon
80       11218882737915989529##
81       9454910899374397367##
82       Roles3.$trModule
83       (GHC.Types.TrNameS "'C:C2"#)
84       2
85       $krep
86 $krep [InlPrag=[~]]
87   = GHC.Types.KindRepFun
88       (GHC.Types.KindRepFun
89          (GHC.Types.KindRepTyConApp
90             Data.Type.Equality.$tc~
91             ((:)
92                (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
93                ((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) []))))
94          (GHC.Types.KindRepFun
95             (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 1)))
96       (GHC.Types.KindRepTyConApp
97          Roles3.$tcC2
98          ((:) (GHC.Types.KindRepVar 0) ((:) (GHC.Types.KindRepVar 1) [])))
99 Roles3.$tcC1
100   = GHC.Types.TyCon
101       11013585501375994163##
102       16371608655219610659##
103       Roles3.$trModule
104       (GHC.Types.TrNameS "C1"#)
105       0
106       $krep
107 $krep [InlPrag=[~]]
108   = GHC.Types.KindRepFun
109       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
110       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
111 Roles3.$tc'C:C1
112   = GHC.Types.TyCon
113       4508088879886988796##
114       13962145553903222779##
115       Roles3.$trModule
116       (GHC.Types.TrNameS "'C:C1"#)
117       1
118       $krep
119 $krep [InlPrag=[~]]
120   = GHC.Types.KindRepFun
121       (GHC.Types.KindRepFun
122          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
123       (GHC.Types.KindRepTyConApp
124          Roles3.$tcC1 ((:) (GHC.Types.KindRepVar 0) []))
125 Roles3.$trModule
126   = GHC.Types.Module
127       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles3"#)
128