<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Because I was silly and didn't look for it. That can and should be included, yes.<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Aug 31, 2018, at 10:53 AM, David Feuer <<a href="mailto:david.feuer@gmail.com" class="">david.feuer@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="auto" class=""><div class="">Why isn't the call to error in div what you mean?<br class=""><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Fri, Aug 31, 2018, 10:49 AM Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu" class="">rae@cs.brynmawr.edu</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In a response not cc'd to the list, a contributor (not sure if they want public identification) suggests:<br class="">
<br class="">
> I think we want something like "partial even given input you can successfully DeepSeq"<br class="">
<br class="">
That's the specification of the feature I'm after. I think all the commentary about infinite lists, etc., would lead also to good documentation additions. (For example, it would be fantastic if every function precisely documented its strictness, preferably with some standard notation, but this is not the problem I'm trying to solve here.)<br class="">
<br class="">
Also, it was suggested that the documentation be checked -- that is, we could imagine a {-# TOTAL ... #-} or {-# PARTIAL ... #-} pragma that GHC could check on compilation and Haddock could include in the documentation. This would also be great, but much more than I'm proposing here.<br class="">
<br class="">
Maybe here's a concrete example:<br class="">
<br class="">
> -- | /Contains a call to 'error'./ Extract the first element of a list, which must be non-empty.<br class="">
> head                    :: [a] -> a<br class="">
<br class="">
In the end, it's the call to error that I want noted. Of course, having a similar note on functions like div (where the problem isn't a call to error) and length (that will loop on infinite lists) is good, but not really what I'm proposing here.<br class="">
<br class="">
Thanks,<br class="">
Richard<br class="">
<br class="">
> On Aug 30, 2018, at 8:10 PM, Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu" target="_blank" rel="noreferrer" class="">rae@cs.brynmawr.edu</a>> wrote:<br class="">
> <br class="">
> Proposal: Mark partial functions in `base` as partial<br class="">
> <br class="">
> Motivation: I'm about to teach Haskell to a classful of beginners. In my experience, they will soon reach for functions like `head` and `tail`, because pattern-matching is foreign to them. I would love just to be able to say "Don't use partial functions", but many students will not easily be able to tell partial functions from total ones.<br class="">
> <br class="">
> I do expect this problem to work itself out rather quickly, and then students will be able to identify partial functions, but loudly marking partial functions as partial seems like a small service to everyone and a bigger one to newbies. I don't see any downsides.<br class="">
> <br class="">
> Thoughts?<br class="">
> <br class="">
> Thanks,<br class="">
> Richard<br class="">
> _______________________________________________<br class="">
> Libraries mailing list<br class="">
> <a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer" class="">Libraries@haskell.org</a><br class="">
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="">
<br class="">
_______________________________________________<br class="">
Libraries mailing list<br class="">
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer" class="">Libraries@haskell.org</a><br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="">
</blockquote></div></div></div>
</div></blockquote></div><br class=""></body></html>