blob: bb1637cb82ceae0dca81e1a13ca8a67c5cc76e26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
==================== Tidy Core ====================
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
T4930.foo :: GHC.Types.Int -> GHC.Types.Int
[GblId,
Arity=1,
Str=DmdType U(L)m,
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
ConLike=True, Cheap=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
}
}}]
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
}
}
|