Produce KindReps for common kinds in GHC.Types
[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       GHC.Types.krep$*Arr*
29 Roles4.$tc'C:C3
30   = GHC.Types.TyCon
31       3133378316178104365##
32       15809386433947157376##
33       Roles4.$trModule
34       (GHC.Types.TrNameS "'C:C3"#)
35       1
36       $krep
37 Roles4.$tcC1
38   = GHC.Types.TyCon
39       13392243382482428602##
40       1780037961948725012##
41       Roles4.$trModule
42       (GHC.Types.TrNameS "C1"#)
43       0
44       GHC.Types.krep$*Arr*
45 Roles4.$tc'C:C1
46   = GHC.Types.TyCon
47       3870707671502302648##
48       10631907186261837450##
49       Roles4.$trModule
50       (GHC.Types.TrNameS "'C:C1"#)
51       1
52       $krep
53 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
54 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
55 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
56 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
57 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
58 $krep [InlPrag=[~]]
59   = GHC.Types.KindRepTyConApp GHC.Types.$tc[] ((:) $krep [])
60 $krep [InlPrag=[~]]
61   = GHC.Types.KindRepTyConApp Roles4.$tcC3 ((:) $krep [])
62 $krep [InlPrag=[~]]
63   = GHC.Types.KindRepTyConApp Roles4.$tcC1 ((:) $krep [])
64 Roles4.$trModule
65   = GHC.Types.Module
66       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#)
67