testsuite/tests/simplCore/should_compile/T15631.stdout


1
2
3
4
5
6
7

      case GHC.List.$wlenAcc @a (Foo.f2 @a) 0# of v { __DEFAULT ->
      case GHC.List.$wlenAcc @a xs 0# of ww1 { __DEFAULT ->
      case GHC.List.reverse1 @a xs (GHC.Types.[] @a) of {
        [] -> case Foo.f1 @a of { GHC.Types.I# v1 -> GHC.Prim.+# ww1 v1 };
          case GHC.List.$wlenAcc
                 case Foo.$wf @a xs of ww [Occ=Once1] { __DEFAULT ->
      case Foo.$wf @a xs of ww { __DEFAULT -> GHC.Types.I# ww }