Revert "Generate Typeable info at definition sites"
[ghc.git] / testsuite / tests / simplCore / should_compile / T4930.stderr
index 61c2f5a..552c8a8 100644 (file)
@@ -1,36 +1,39 @@
 
 ==================== Tidy Core ====================
-Result size of Tidy Core = {terms: 20, types: 10, coercions: 0}
+Result size of Tidy Core = {terms: 35, types: 14, coercions: 0}
 
-lvl :: [GHC.Types.Char]
-[GblId]
-lvl = GHC.CString.unpackCString# "Too small"#
-
-T4930.foo1 :: GHC.Types.Int
-[GblId, Str=DmdType b]
-T4930.foo1 = GHC.Err.error @ GHC.Types.Int lvl
+Rec {
+-- RHS size: {terms: 23, types: 6, coercions: 0}
+T4930.$wfoo [InlPrag=[0], Occ=LoopBreaker] :: Int# -> Int#
+[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>]
+T4930.$wfoo =
+  \ (ww :: Int#) ->
+    case case tagToEnum# @ Bool (<# ww 5#) of _ [Occ=Dead] {
+           False -> I# (+# ww 2#);
+           True -> case T4930.$wfoo ww of ww1 { __DEFAULT -> I# ww1 }
+         }
+    of _ [Occ=Dead] { I# ipv ->
+    +# ww 5#
+    }
+end Rec }
 
-T4930.foo :: GHC.Types.Int -> GHC.Types.Int
+-- RHS size: {terms: 10, types: 4, coercions: 0}
+foo [InlPrag=INLINE[0]] :: Int -> Int
 [GblId,
  Arity=1,
- Str=DmdType U(L)m,
- Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
-         ConLike=True, WorkFree=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
-                 case n of _ { GHC.Types.I# x ->
-                 case GHC.Prim.<# x 5 of _ {
-                   GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
-                   GHC.Types.True -> T4930.foo1
-                 }
+ Caf=NoCafRefs,
+ Str=DmdType <S,1*U(U)>m,
+ Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True,
+         Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
+         Tmpl= \ (w [Occ=Once!] :: Int) ->
+                 case w of _ [Occ=Dead] { I# ww1 [Occ=Once] ->
+                 case T4930.$wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
                  }}]
-T4930.foo =
-  \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# x ->
-    case GHC.Prim.<# x 5 of _ {
-      GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
-      GHC.Types.True -> T4930.foo1
-    }
+foo =
+  \ (w :: Int) ->
+    case w of _ [Occ=Dead] { I# ww1 ->
+    case T4930.$wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
     }