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