-Desugared:
-Test.f :: for all d, e. <Eq d> -> d -> d -> d -> [e]
-Test.f =
- /\ t86 t91 -> \ dict.87 ->
- let dict.83 = dict.87 in
- let
- f.78 =
- \ x.61 y.62 z.63 ->
- let
- fail.92 =
- (error [t91])
- "\"ds021.hs\", line 8: pattern-matching failure [function binding]\n"S
- in
- case ((== t86) dict.83 x.61 y.62) of {
- True -> Nil! t91
- False ->
- case ((/= t86) dict.87 x.61 z.63) of {
- True -> Nil! t91
- False -> Nil! t91
- }
- }
- in f.78
+ds021.hs:8:
+ Warning: Possibly incomplete patterns
+ in the definition of function `f'
+
+================================================================================
+Desugared:
+f{-r3i,x-} ::
+ _forall_
+ [rlg{-aG9-} t{-aGm-}]
+ =>
+ {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+ -> rlg{-aG9-}
+ -> rlg{-aG9-}
+ -> rlg{-aG9-}
+ -> [t{-aGm-}]
+{-# L #-}
+f{-r3i,x-} =
+ _/\_ rlg{-aG9-} t{-aGm-} -> \ d.Eq_aGr ::
+ {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+ {-# L #-}
+ d.Eq_aGr ->
+ let {
+ ==_aIv ::
+ rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
+ {-# L #-}
+ ==_aIv =
+ PrelBase.=={-8Y,p-}
+ _@_ rlg{-aG9-} d.Eq_aGr } in
+ let {
+ d.Eq_aGt ::
+ {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+ {-# L #-}
+ d.Eq_aGt =
+ d.Eq_aGr } in
+ let {
+ /=_aIu ::
+ rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
+ {-# L #-}
+ /=_aIu =
+ PrelBase./={-ray,p-}
+ _@_ rlg{-aG9-} d.Eq_aGt
+ } in
+ \ x_r3d ::
+ rlg{-aG9-}
+ {-# L #-}
+ x_r3d y_r3f ::
+ rlg{-aG9-}
+ {-# L #-}
+ y_r3f z_r3h ::
+ rlg{-aG9-}
+ {-# L #-}
+ z_r3h ->
+ let {
+ fail_dJa ::
+ [t{-aGm-}]
+ {-# L #-}
+ fail_dJa =
+ GHCerr.patError{-8r,p-}
+ _@_ [t{-aGm-}] _string_ "ds021.hs:5|function `f'"
+ } in
+ case
+ ==_aIv
+ x_r3d y_r3f
+ of {
+ PrelBase.True{-5E,p-}{i} ->
+ PrelBase.[]{-5i,p-}{i}
+ _@_ t{-aGm-};
+ PrelBase.False{-58,p-}{i} ->
+ case
+ /=_aIu
+ x_r3d z_r3h
+ of {
+ PrelBase.True{-5E,p-}{i} ->
+ PrelBase.[]{-5i,p-}{i}
+ _@_ t{-aGm-};
+ PrelBase.False{-58,p-}{i} ->
+ PrelBase.[]{-5i,p-}{i}
+ _@_ t{-aGm-};
+ };
+ }