-ds005.hs:13:
- Warning: Possibly incomplete patterns
- in the definition of function `mappairs''
-
-
-================================================================================
-Desugared:
-Rec {
-mappairs'{-r3O,x-} ::
- _forall_
- [t{-anl-} t{-anv-} t{-anx-}]
- =>
- (t{-anl-} -> t{-anv-} -> t{-anx-})
- -> [t{-anl-}]
- -> [t{-anv-}]
- -> [t{-anx-}]
-{-# L #-}
-mappairs'{-r3O,x-} =
- _/\_ t{-anl-} t{-anv-} t{-anx-} ->
- _letrec_ {
- mappairs'_anf ::
- (t{-anl-} -> t{-anv-} -> t{-anx-})
- -> [t{-anl-}]
- -> [t{-anv-}]
- -> [t{-anx-}]
- {-# L #-}
- mappairs'_anf =
- \ f_r3x ::
- t{-anl-} -> t{-anv-} -> t{-anx-}
- {-# L #-}
- f_r3x ds_duS ::
- [t{-anl-}]
- {-# L #-}
- ds_duS ys_r3A ::
- [t{-anv-}]
- {-# L #-}
- ys_r3A ->
- let {
- fail_duT ::
- [t{-anx-}]
- {-# L #-}
- fail_duT =
- GHCerr.patError{-8r,p-}
- _@_ [t{-anx-}] _string_ "ds005.hs:13|function `mappairs''" } in
- let { fail_dwj ::
- [t{-anx-}]
- {-# L #-}
- fail_dwj =
- let {
- fail_dvV ::
- [t{-anx-}]
- {-# L #-}
- fail_dvV =
- case ds_duS of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_duT;
- PrelBase.:{-55,p-}{i} x_r3J xs_r3K ->
- case ys_r3A of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_duT;
- PrelBase.:{-55,p-}{i} y_r3M ys_r3N ->
- let {
- f_r3H ::
- t{-anl-} -> t{-anv-} -> t{-anx-}
- {-# L #-}
- f_r3H =
- f_r3x } in
- let {
- ds_dvr ::
- t{-anx-}
- {-# L #-}
- ds_dvr =
- f_r3H
- x_r3J y_r3M } in
- let {
- ds_dvv ::
- [t{-anx-}]
- {-# L #-}
- ds_dvv =
- mappairs'_anf
- f_r3H xs_r3K ys_r3N
- } in
- PrelBase.:{-55,p-}{i}
- _@_ t{-anx-} ds_dvr ds_dvv;
- };
- }
- } in
- case ys_r3A of {
- PrelBase.:{-55,p-}{i} ds_dw3 ds_dw2 ->
- fail_dvV;
- PrelBase.[]{-5i,p-}{i} ->
- let {
- x_r3E ::
- [t{-anl-}]
- {-# L #-}
- x_r3E =
- ds_duS } in
- let {
- f_r3C ::
- t{-anl-} -> t{-anv-} -> t{-anx-}
- {-# L #-}
- f_r3C =
- f_r3x
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-anx-};
- }
- } in
- case ds_duS of {
- PrelBase.:{-55,p-}{i} ds_dwr ds_dwq ->
- fail_dwj;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-anx-};
- };
- } in
- mappairs'_anf
-end Rec }
-Rec {
-mappairs{-r3P,x-} ::
- _forall_
- [t{-aoc-} t{-aoh-} t{-aoj-}]
- =>
- (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
- -> [t{-aoc-}]
- -> [t{-aoh-}]
- -> [t{-aoj-}]
-{-# L #-}
-mappairs{-r3P,x-} =
- _/\_ t{-aoc-} t{-aoh-} t{-aoj-} ->
- _letrec_ {
- mappairs_anX ::
- (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
- -> [t{-aoc-}]
- -> [t{-aoh-}]
- -> [t{-aoj-}]
- {-# L #-}
- mappairs_anX =
- \ f_r3e ::
- t{-aoc-} -> t{-aoh-} -> t{-aoj-}
- {-# L #-}
- f_r3e ds_dx4 ::
- [t{-aoc-}]
- {-# L #-}
- ds_dx4 ys_r3h ::
- [t{-aoh-}]
- {-# L #-}
- ys_r3h ->
- case ds_dx4 of {
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aoj-};
- PrelBase.:{-55,p-}{i} x_r3l xs_r3m ->
- case ys_r3h of {
- PrelBase.[]{-5i,p-}{i} ->
- let {
- f_r3j ::
- t{-aoc-} -> t{-aoh-} -> t{-aoj-}
- {-# L #-}
- f_r3j =
- f_r3e
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aoj-};
- PrelBase.:{-55,p-}{i} y_r3u ys_r3v ->
- let {
- xs_r3s ::
- [t{-aoc-}]
- {-# L #-}
- xs_r3s =
- xs_r3m } in
- let {
- x_r3r ::
- t{-aoc-}
- {-# L #-}
- x_r3r =
- x_r3l } in
- let {
- f_r3p ::
- t{-aoc-} -> t{-aoh-} -> t{-aoj-}
- {-# L #-}
- f_r3p =
- f_r3e } in
- let {
- ds_dxR ::
- t{-aoj-}
- {-# L #-}
- ds_dxR =
- f_r3p
- x_r3r y_r3u } in
- let {
- ds_dxV ::
- [t{-aoj-}]
- {-# L #-}
- ds_dxV =
- mappairs_anX
- f_r3p xs_r3s ys_r3v
- } in
- PrelBase.:{-55,p-}{i}
- _@_ t{-aoj-} ds_dxR ds_dxV;
- };
- };
- } in
- mappairs_anX
-end Rec }