ds019.hs:8:
Warning: Pattern match(es) completely overlapped
in the definition of function `f'
-
-
-================================================================================
-Desugared:
-f{-r3G,x-} ::
- _forall_
- [t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-}]
- =>
- (t{-aBG-}, t{-aBJ-}, t{-aBM-})
- -> (t{-aBY-}, t{-aC1-})
- -> t{-aC9-}
- -> [t{-aC7-}]
-{-# L #-}
-f{-r3G,x-} =
- _/\_ t{-aBG-} t{-aBJ-} t{-aBM-} t{-aBY-} t{-aC1-} t{-aC9-} t{-aC7-} -> \ ds_dGA ::
- (t{-aBG-}, t{-aBJ-}, t{-aBM-})
- {-# L #-}
- ds_dGA i_r3h ::
- (t{-aBY-}, t{-aC1-})
- {-# L #-}
- i_r3h o_r3j ::
- t{-aC9-}
- {-# L #-}
- o_r3j ->
- case ds_dGA of { PrelTup.(,,){-63,p-}{i} a_r3d b_r3e c_r3f ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-aC7-};}