2 Warning: Possibly incomplete patterns
3 in the definition of function `mappairs''
6 ================================================================================
9 mappairs'{-r3C,x-} :: _forall_
12 (tal0 -> tal6 -> tala) -> [tal0] -> [tal6] -> [tala]
15 _/\_ tal0 tal6 tala ->
17 mappairs'_akt :: (tal0 -> tal6 -> tala)
23 \ f_r3r :: tal0 -> tal6 -> tala
25 f_r3r ds_dsz :: [tal0]
27 ds_dsz ys_r3s :: [tal6]
34 GHCerr.patError{-8r,w-}
35 _@_ [tala] _string_ "ds005.hs:13|function `mappairs''" } in
36 let { fail_du4 :: [tala]
44 PrelBase.[]{-5i,w-}{i} -> fail_dsE;
45 PrelBase.:{-55,w-}{i} x_r3y xs_r3z ->
47 PrelBase.[]{-5i,w-}{i} -> fail_dsE;
48 PrelBase.:{-55,w-}{i} y_r3A ys_r3B ->
50 f_r3x :: tal0 -> tal6 -> tala
58 f_r3x x_r3y y_r3A } in
63 mappairs'_akt f_r3x xs_r3z ys_r3B
64 } in PrelBase.:{-55,w-}{i} _@_ tala ds_dtc ds_dtg;
69 PrelBase.:{-55,w-}{i} ds_dtN ds_dtO -> fail_dtG;
70 PrelBase.[]{-5i,w-}{i} ->
77 f_r3u :: tal0 -> tal6 -> tala
81 } in PrelBase.[]{-5i,w-}{i} _@_ tala;
85 PrelBase.:{-55,w-}{i} ds_dub ds_duc -> fail_du4;
86 PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tala;
89 mappairs{-r3D,x-} :: _forall_
92 (talU -> tam0 -> tam4) -> [talU] -> [tam0] -> [tam4]
95 _/\_ talU tam0 tam4 ->
97 mappairs_alj :: (talU -> tam0 -> tam4)
103 \ f_r3e :: talU -> tam0 -> tam4
105 f_r3e ds_duF :: [talU]
107 ds_duF ys_r3f :: [tam0]
111 PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tam4;
112 PrelBase.:{-55,w-}{i} x_r3i xs_r3j ->
114 PrelBase.[]{-5i,w-}{i} ->
116 f_r3h :: talU -> tam0 -> tam4
120 } in PrelBase.[]{-5i,w-}{i} _@_ tam4;
121 PrelBase.:{-55,w-}{i} y_r3o ys_r3p ->
133 f_r3l :: talU -> tam0 -> tam4
141 f_r3l x_r3m y_r3o } in
146 mappairs_alj f_r3l xs_r3n ys_r3p
147 } in PrelBase.:{-55,w-}{i} _@_ tam4 ds_dvs ds_dvw;