5 Jan
2017
5 Jan
'17
10:01 p.m.
Rather than deprecating a function, it would be nice to have some sort of {-# PARTIAL #-} pragma to warn the user that 'read' is a partial function (and similarly for 'head', 'tail' and its friends), much like how GHC already warns about partial case-blocks. That being said, it's probably best to delay this until there is a way to explicitly turn of the warnings individually at the call site for those who want warning-free code.