On Sun, Sep 11, 2016 at 1:25 PM, Matthew Pickering <matthewtpickering@gmail.com> wrote:

The type of `deleteBy` in `Data.List` could easily be generalised in a
useful way.

```
deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a]
```

to

```
deleteBy :: (a -> b -> Bool) -> a -> [b] -> [b]
```

There is this closed ticket but no reasons for not generalising.

https://ghc.haskell.org/trac/ghc/ticket/3399

Discussion Period: 1 week.

Matt
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

+1, seems straightforward. My only concern: does anyone have real life examples of code where this generalization would lead to type inference problems? I can't think of anything offhand.

Michael

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries