<div dir="ltr">Oh, I see. Sorry. I totally misunderstood the proposal. I should have read more carefully.<div><br></div><div>I think undefined and error are useful functions to have, so why adding WARNING to them? For example, you can fold an infinite structure `xs` with `foldr f undefined xs` (for some proper `f`) without needing to define or look for an alternative to `Data.Foldable.foldr`.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mo., 23. Dez. 2019 um 17:33 Uhr schrieb Vilem Liepelt <<a href="mailto:vliepelt@futurefinance.com">vliepelt@futurefinance.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
> On 23 Dec 2019, at 18:10, Daniel Díaz Casanueva <<a href="mailto:dhelta.diaz@gmail.com" target="_blank">dhelta.diaz@gmail.com</a>> wrote:<br>
> <br>
> Some warnings are not included in -Wall (for instance -Wincomplete-uni-patterns). New warning flags can be added without breaking any code.<br>
<br>
Agreed, Daniel, but if we added a warning/deprecation pragma to the library (which is what I had asked about), then this would get triggered by -Wdeprecations which is part of -Wall. I'm not sure adding a flag specifically for usages of `error`/`undefined` makes much sense. E.g. what if I bind those names to genuine values?</blockquote></div>