blob: f3bccb54261bfd55acd83d05f6324eeb2d34cb4d (
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
|
==================== Tidy Core ====================
Rec {
xs :: GHC.Prim.Int# -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
xs =
\ (m :: GHC.Prim.Int#) ->
case GHC.Prim.<=# m 1 of _ {
GHC.Types.False -> xs (GHC.Prim.-# m 1);
GHC.Types.True -> GHC.Unit.()
}
end Rec }
T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType U(L)]
T3772.foo =
\ (n :: GHC.Types.Int) ->
case n of _ { GHC.Types.I# n# ->
case GHC.Prim.<=# n# 0 of _ {
GHC.Types.False -> xs n#;
GHC.Types.True -> GHC.Unit.()
}
}
|
