Merge branch 'master' into atomics
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout-ghc-7.0
1
2 ==================== Tidy Core ====================
3 Rec {
4 xs :: GHC.Prim.Int# -> ()
5 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
6 xs =
7   \ (m :: GHC.Prim.Int#) ->
8     case GHC.Prim.<=# m 1 of _ {
9       GHC.Bool.False -> xs (GHC.Prim.-# m 1);
10       GHC.Bool.True -> GHC.Unit.()
11     }
12 end Rec }
13
14 T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
15 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType U(L)]
16 T3772.foo =
17   \ (n :: GHC.Types.Int) ->
18     case n of _ { GHC.Types.I# n# ->
19     case GHC.Prim.<=# n# 0 of _ {
20       GHC.Bool.False -> xs n#; GHC.Bool.True -> GHC.Unit.()
21     }
22     }
23
24
25