Add kind equalities to GHC.
[ghc.git] / testsuite / tests / simplCore / should_compile / spec-inline.stderr
index 17d3dbb..09ae2f3 100644 (file)
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-Result size of Tidy Core = {terms: 172, types: 64, coercions: 0}
+Result size of Tidy Core = {terms: 172, types: 65, coercions: 0}
 
 -- RHS size: {terms: 2, types: 0, coercions: 0}
 Roman.$trModule2 :: TrName
@@ -29,11 +29,12 @@ Roman.$trModule :: Module
          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
 Roman.$trModule = Module Roman.$trModule2 Roman.$trModule1
 
--- RHS size: {terms: 2, types: 1, coercions: 0}
+-- RHS size: {terms: 2, types: 2, coercions: 0}
 Roman.foo3 :: Int
 [GblId, Str=DmdType b]
 Roman.foo3 =
-  patError @ Int "spec-inline.hs:(19,5)-(29,25)|function go"#
+  patError
+    @ 'Lifted @ Int "spec-inline.hs:(19,5)-(29,25)|function go"#
 
 Rec {
 -- RHS size: {terms: 55, types: 9, coercions: 0}