Fold ghc-prim.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / simplCore / should_compile / T4930.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 23, types: 11, coercions: 0}
4
5 lvl :: [GHC.Types.Char]
6 [GblId, Str=DmdType]
7 lvl = GHC.CString.unpackCString# "Too small"#
8
9 T4930.foo1 :: GHC.Types.Int
10 [GblId, Str=DmdType b]
11 T4930.foo1 = GHC.Err.error @ GHC.Types.Int lvl
12
13 T4930.foo :: GHC.Types.Int -> GHC.Types.Int
14 [GblId,
15  Arity=1,
16  Str=DmdType <S,1*U(U)>m,
17  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
18          ConLike=True, WorkFree=True, Expandable=True,
19          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
20          Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
21                  case n of _ [Occ=Dead] { GHC.Types.I# x ->
22                  case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5)
23                  of _ [Occ=Dead] {
24                    GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
25                    GHC.Types.True -> T4930.foo1
26                  }
27                  }}]
28 T4930.foo =
29   \ (n :: GHC.Types.Int) ->
30     case n of _ [Occ=Dead] { GHC.Types.I# x ->
31     case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5)
32     of _ [Occ=Dead] {
33       GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
34       GHC.Types.True -> T4930.foo1
35     }
36     }
37
38
39