diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T3772.stdout')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T3772.stdout | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T3772.stdout b/testsuite/tests/simplCore/should_compile/T3772.stdout new file mode 100644 index 0000000000..f3bccb5426 --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T3772.stdout @@ -0,0 +1,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.() + } + } + + + |