Allow CSE'ing of work-wrapped bindings (#14186)
[ghc.git] / testsuite / tests / th / TH_Roles2.stderr
index 8d52da4..9e910cc 100644 (file)
@@ -4,8 +4,8 @@ TYPE CONSTRUCTORS
   data T (a :: k)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [array-0.5.1.2, base-4.10.0.0, deepseq-1.4.3.0,
-                     ghc-boot-th-8.1, ghc-prim-0.5.0.0, integer-gmp-1.0.0.1,
+Dependent packages: [array-0.5.2.0, base-4.10.0.0, deepseq-1.4.3.0,
+                     ghc-boot-th-8.3, ghc-prim-0.5.1.0, integer-gmp-1.0.1.0,
                      pretty-1.1.3.3, template-haskell-2.12.0.0]
 
 ==================== Typechecker ====================
@@ -17,8 +17,8 @@ TH_Roles2.$tcT
       (GHC.Types.TrNameS "T"#)
       1
       $krep
-$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
-$krep [InlPrag=[~]]
+$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0
+$krep [InlPrag=NOUSERINLINE[~]]
   = GHC.Types.KindRepFun $krep GHC.Types.krep$*
 TH_Roles2.$trModule
   = GHC.Types.Module