Haskell 98 Report

Simon Peyton-Jones simonpj@microsoft.com
Wed, 30 May 2001 09:46:53 -0700


| Sorry to get this comment in so late, but it is a small=20
| change. In the List module, the type signature for deleteBy=20
| is not as general as it could be, given the definition.  It=20
| could be generalized to the following (no change to the definition):
|=20
|   deleteBy :: (a -> b -> Bool) -> a -> [b] -> [b]
|=20
| I've found it usefully used at this more general type.

Indeed, and=20

   deleteFirstsBy :: (a -> b -> Bool) -> [b] -> [a] -> [b]

I can't see any reason not to do this.  Furthermore, the Report omits
to export deleteFirstsBy, though GHC and Hugs both remember to do so.

Simon