diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T3717.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T3717.stderr | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T3717.stderr b/testsuite/tests/simplCore/should_compile/T3717.stderr new file mode 100644 index 0000000000..828f789bfd --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T3717.stderr @@ -0,0 +1,33 @@ + +==================== Tidy Core ==================== +Rec { +T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int# +[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L] +T3717.$wfoo = + \ (ww :: GHC.Prim.Int#) -> + case ww of ds { + __DEFAULT -> T3717.$wfoo (GHC.Prim.-# ds 1); + 0 -> 0 + } +end Rec } + +T3717.foo [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int +[GblId, + Arity=1, + Caf=NoCafRefs, + Str=DmdType U(L)m, + Unf=Unf{Src=Worker=T3717.$wfoo, TopLvl=True, Arity=1, Value=True, + ConLike=True, Cheap=True, Expandable=True, + Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False) + Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) -> + case w of _ { GHC.Types.I# ww [Occ=Once] -> + case T3717.$wfoo ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 } + }}] +T3717.foo = + \ (w :: GHC.Types.Int) -> + case w of _ { GHC.Types.I# ww -> + case T3717.$wfoo ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 } + } + + + |