3d236823a6c1c571c4931433835c81e3e2568834
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 26, types: 11, coercions: 0}
4
5 Rec {
6 $wxs :: Int# -> ()
7 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
8 $wxs =
9   \ (ww :: Int#) ->
10     case ww of ds1 {
11       __DEFAULT -> $wxs (-# ds1 1#);
12       1# -> ()
13     }
14 end Rec }
15
16 foo [InlPrag=NOINLINE] :: Int -> ()
17 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U(U)>]
18 foo =
19   \ (n :: Int) ->
20     case n of _ [Occ=Dead] { I# y ->
21     case tagToEnum# @ Bool (<# 0# y) of _ [Occ=Dead] {
22       False -> ();
23       True -> $wxs y
24     }
25     }
26
27
28