Mark partial functions as such
Henning Thielemann
lemming at henning-thielemann.de
Fri Aug 31 15:53:54 UTC 2018
On Fri, 31 Aug 2018, Ryan Trinkle wrote:
> This is probably not really for the libraries list, but in the same vein
> as this discussion, I think it would be extremely helpful to have a way
> of banning functions that does *not* require changing the upstream
> library. I would be thrilled to have a machine-checked ban on use of
> the 'head', 'tail', etc.
So far I have HLint rules to ban them. Unfortunately, they do not work
transitively. People have already proposed a TotalHaskell pragma
analogously to SafeHaskell.
More information about the Libraries
mailing list