Simplifier trace wibbles for cardinality analysis
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 27, types: 10, 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.<=# m 1 of _ {
11       GHC.Types.False -> xs (GHC.Prim.-# m 1);
12       GHC.Types.True -> GHC.Tuple.()
13     }
14 end Rec }
15
16 T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
17 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U(U)>]
18 T3772.foo =
19   \ (n :: GHC.Types.Int) ->
20     case n of _ { GHC.Types.I# n# ->
21     case GHC.Prim.<=# n# 0 of _ {
22       GHC.Types.False -> xs n#;
23       GHC.Types.True -> GHC.Tuple.()
24     }
25     }
26
27
28