TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / th / TH_Roles2.stderr
1 TYPE SIGNATURES
2 TYPE CONSTRUCTORS
3   type role T representational
4   data T (a :: k)
5 COERCION AXIOMS
6 Dependent modules: []
7 Dependent packages: [array-0.5.1.2, base-4.10.0.0, deepseq-1.4.3.0,
8                      ghc-boot-th-8.1, ghc-prim-0.5.0.0, integer-gmp-1.0.0.1,
9                      pretty-1.1.3.3, template-haskell-2.12.0.0]
10
11 ==================== Typechecker ====================
12 TH_Roles2.$tcT
13   = GHC.Types.TyCon
14       11651627537942629178##
15       11503899791410937231##
16       TH_Roles2.$trModule
17       (GHC.Types.TrNameS "T"#)
18       1
19       $krep_a3U5
20 $krep_a3U6 [InlPrag=[~]] = GHC.Types.KindRepVar 0
21 $krep_a3U5 [InlPrag=[~]]
22   = GHC.Types.KindRepFun $krep_a3U6 $krep_a3U7
23 $krep_a3U7 [InlPrag=[~]]
24   = GHC.Types.KindRepTYPE GHC.Types.LiftedRep
25 TH_Roles2.$trModule
26   = GHC.Types.Module
27       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "TH_Roles2"#)
28