389379bad20e96717110167a25c1fbe9ff5ca459
[ghc.git] / testsuite / tests / roles / should_compile / Roles4.stderr
1 TYPE SIGNATURES
2   meth1 :: forall a. C1 a => a -> a
3   meth3 :: forall a. C3 a => a -> Syn1 a
4 TYPE CONSTRUCTORS
5   class C1 a where
6     meth1 :: a -> a
7     {-# MINIMAL meth1 #-}
8   class C3 a where
9     meth3 :: a -> Syn1 a
10     {-# MINIMAL meth3 #-}
11   type Syn1 a = [a]
12 COERCION AXIOMS
13   axiom Roles4.N:C1 :: C1 a = a -> a -- Defined at Roles4.hs:6:1
14   axiom Roles4.N:C3 ::
15     C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1
16 Dependent modules: []
17 Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
18                      integer-gmp-1.0.0.1]
19
20 ==================== Typechecker ====================
21 Roles4.$tcC3
22   = GHC.Types.TyCon
23       7508642517340826358##
24       16938219270597865136##
25       Roles4.$trModule
26       (GHC.Types.TrNameS "C3"#)
27       0
28       $krep
29 $krep [InlPrag=[~]]
30   = GHC.Types.KindRepFun
31       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
32       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
33 Roles4.$tc'C:C3
34   = GHC.Types.TyCon
35       3133378316178104365##
36       15809386433947157376##
37       Roles4.$trModule
38       (GHC.Types.TrNameS "'C:C3"#)
39       1
40       $krep
41 $krep [InlPrag=[~]]
42   = GHC.Types.KindRepFun
43       (GHC.Types.KindRepFun
44          (GHC.Types.KindRepVar 0)
45          (GHC.Types.KindRepTyConApp
46             GHC.Types.$tc[] ((:) (GHC.Types.KindRepVar 0) [])))
47       (GHC.Types.KindRepTyConApp
48          Roles4.$tcC3 ((:) (GHC.Types.KindRepVar 0) []))
49 Roles4.$tcC1
50   = GHC.Types.TyCon
51       13392243382482428602##
52       1780037961948725012##
53       Roles4.$trModule
54       (GHC.Types.TrNameS "C1"#)
55       0
56       $krep
57 $krep [InlPrag=[~]]
58   = GHC.Types.KindRepFun
59       (GHC.Types.KindRepTYPE GHC.Types.LiftedRep)
60       (GHC.Types.KindRepTyConApp GHC.Types.$tcConstraint [])
61 Roles4.$tc'C:C1
62   = GHC.Types.TyCon
63       3870707671502302648##
64       10631907186261837450##
65       Roles4.$trModule
66       (GHC.Types.TrNameS "'C:C1"#)
67       1
68       $krep
69 $krep [InlPrag=[~]]
70   = GHC.Types.KindRepFun
71       (GHC.Types.KindRepFun
72          (GHC.Types.KindRepVar 0) (GHC.Types.KindRepVar 0))
73       (GHC.Types.KindRepTyConApp
74          Roles4.$tcC1 ((:) (GHC.Types.KindRepVar 0) []))
75 Roles4.$trModule
76   = GHC.Types.Module
77       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#)
78