Allow CSE'ing of work-wrapped bindings (#14186)
[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.2.0, base-4.10.0.0, deepseq-1.4.3.0,
8                      ghc-boot-th-8.3, ghc-prim-0.5.1.0, integer-gmp-1.0.1.0,
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
20 $krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
21 $krep [InlPrag=NOUSERINLINE[~]]
22   = GHC.Types.KindRepFun $krep GHC.Types.krep$*
23 TH_Roles2.$trModule
24   = GHC.Types.Module
25       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "TH_Roles2"#)
26