-Desugared:
-Tests.f :: for all a, d, e. [a] -> d -> [e] -> [e]
-Tests.f =
- /\ a o86 t97 -> \ x.119 y.120 z.121 ->
- let
- ds.122 =
- (++ a) x.119 ((++ a) x.119 ((++ a) x.119 ((++ a) x.119 x.119))) in
- let
- fail.123 =
- (error [t97])
- "\"ds016.hs\", line 17: pattern-matching failed in case\n"S
- in
- case ds.122 of {
- Nil -> Nil! t97
- (:) a.124 ds.125 ->
- let
- fail.128 =
- let bs.126 = ds.125 in
- let a.127 = a.124 in (error [t97]) "4"S
- in
- case ds.125 of {
- Nil -> (error [t97]) "2"S
- (:) b.129 ds.130 ->
- case ds.130 of {
- (:) c.131 ds.132 ->
- case ds.132 of {
- Nil ->
- let a.133 = a.124 in
- let
- ds.134 =
- MkTuple4!
- o86
- [t97]
- o86
- [t97]
- y.120
- z.121
- y.120
- z.121
- in z.121
- _ -> fail.128
- }
- _ -> fail.128
- }
- }
- }
+
+================================================================================
+Desugared:
+Rec {
+d.MonadPlus_aXs ::
+ {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,p-}}
+{-# L #-}
+d.MonadPlus_aXs =
+ PrelBase.$d22{-rp7,p-}
+++_aYK ::
+ _forall_
+ [rjy{-aWo-}]
+ =>
+ [rjy{-aWo-}] -> [rjy{-aWo-}] -> [rjy{-aWo-}]
+{-# L #-}
+++_aYK =
+ PrelBase.++{-roG,p-}
+ _@_ PrelBase.[]{-3j,p-} d.MonadPlus_aXs
+f{-r3t,x-} ::
+ _forall_
+ [rjy{-aWN-} t{-aWT-} t{-aXo-}]
+ =>
+ [rjy{-aWN-}] -> t{-aXo-} -> [t{-aWT-}] -> [t{-aWT-}]
+{-# L #-}
+f{-r3t,x-} =
+ _/\_ rjy{-aWN-} t{-aWT-} t{-aXo-} ->
+ let {
+ ++_aYM ::
+ _forall_
+ [rjy{-aWw-}]
+ =>
+ [rjy{-aWw-}] -> [rjy{-aWw-}] -> [rjy{-aWw-}]
+ {-# L #-}
+ ++_aYM =
+ ++_aYK } in
+ let {
+ ++_aYL ::
+ _forall_
+ [rjy{-aWD-}]
+ =>
+ [rjy{-aWD-}] -> [rjy{-aWD-}] -> [rjy{-aWD-}]
+ {-# L #-}
+ ++_aYL =
+ ++_aYK } in
+ let {
+ ++_aYJ ::
+ _forall_
+ [rjy{-aWK-}]
+ =>
+ [rjy{-aWK-}] -> [rjy{-aWK-}] -> [rjy{-aWK-}]
+ {-# L #-}
+ ++_aYJ =
+ ++_aYK
+ } in
+ \ x_r3d ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ x_r3d y_r3f ::
+ t{-aXo-}
+ {-# L #-}
+ y_r3f z_r3h ::
+ [t{-aWT-}]
+ {-# L #-}
+ z_r3h ->
+ let { ds_d13I ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ ds_d13I =
+ let { ds_d131 ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ ds_d131 =
+ let { ds_d13e ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ ds_d13e =
+ let {
+ ds_d13r ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ ds_d13r =
+ ++_aYJ
+ _@_ rjy{-aWN-} x_r3d x_r3d
+ } in
+ ++_aYL
+ _@_ rjy{-aWN-} x_r3d ds_d13r
+ } in
+ ++_aYM
+ _@_ rjy{-aWN-} x_r3d ds_d13e
+ } in
+ ++_aYK
+ _@_ rjy{-aWN-} x_r3d ds_d131
+ } in
+ case ds_d13I of {
+ PrelBase.[]{-5i,p-}{i} ->
+ PrelBase.[]{-5i,p-}{i}
+ _@_ t{-aWT-};
+ PrelBase.:{-55,p-}{i} a_r3k ds_d140 ->
+ let { fail_d14E ::
+ [t{-aWT-}]
+ {-# L #-}
+ fail_d14E =
+ let {
+ bs_r3s ::
+ [rjy{-aWN-}]
+ {-# L #-}
+ bs_r3s =
+ ds_d140 } in
+ let {
+ a_r3r ::
+ rjy{-aWN-}
+ {-# L #-}
+ a_r3r =
+ a_r3k } in
+ let { ds_d14d ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_d14d =
+ let {
+ ds_d14q ::
+ PrelBase.Char{-38,p-}
+ {-# L #-}
+ ds_d14q =
+ PrelBase.C#{-54,p-}{i}
+ {'4'} } in
+ let {
+ ds_d14u ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_d14u =
+ PrelBase.[]{-5i,p-}{i}
+ {_@_ PrelBase.Char{-38,p-}}
+ } in
+ PrelBase.:{-55,p-}{i}
+ {_@_ PrelBase.Char{-38,p-} ds_d14q ds_d14u}
+ } in
+ IOBase.error{-87,p-}
+ _@_ [t{-aWT-}] ds_d14d
+ } in
+ case ds_d140 of {
+ PrelBase.[]{-5i,p-}{i} ->
+ let { ds_d14S ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_d14S =
+ let {
+ ds_d153 ::
+ PrelBase.Char{-38,p-}
+ {-# L #-}
+ ds_d153 =
+ PrelBase.C#{-54,p-}{i}
+ {'2'} } in
+ let {
+ ds_d157 ::
+ [PrelBase.Char{-38,p-}]
+ {-# L #-}
+ ds_d157 =
+ PrelBase.[]{-5i,p-}{i}
+ {_@_ PrelBase.Char{-38,p-}}
+ } in
+ PrelBase.:{-55,p-}{i}
+ {_@_ PrelBase.Char{-38,p-} ds_d153 ds_d157}
+ } in
+ IOBase.error{-87,p-}
+ _@_ [t{-aWT-}] ds_d14S;
+ PrelBase.:{-55,p-}{i} b_r3n ds_d15m ->
+ case ds_d15m of {
+ PrelBase.[]{-5i,p-}{i} ->
+ fail_d14E;
+ PrelBase.:{-55,p-}{i} c_r3o ds_d15z ->
+ case ds_d15z of {
+ PrelBase.:{-55,p-}{i} ds_d15H ds_d15G ->
+ fail_d14E;
+ PrelBase.[]{-5i,p-}{i} ->
+ let {
+ a_r3m ::
+ rjy{-aWN-}
+ {-# L #-}
+ a_r3m =
+ a_r3k } in
+ let {
+ ds_d15Q ::
+ (t{-aXo-}, [t{-aWT-}], t{-aXo-}, [t{-aWT-}])
+ {-# L #-}
+ ds_d15Q =
+ PrelTup.(,,,){-64,p-}{i}
+ {_@_ t{-aXo-}
+ _@_ [t{-aWT-}]
+ _@_ t{-aXo-}
+ _@_ [t{-aWT-}]
+ y_r3f
+ z_r3h
+ y_r3f
+ z_r3h}
+ } in
+ z_r3h;
+ };
+ };
+ };
+ }
+end Rec }