<div dir="ltr">On Thu, Dec 29, 2016 at 4:47 PM, Bardur Arantsson <span dir="ltr"><<a href="mailto:spam@scientician.net" target="_blank">spam@scientician.net</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2016-12-29 21:12, Andreas Abel wrote:<br>
><br>
> I am in favor of deprecating "read" and pointing to a total version in a<br>
> library.  Otherwise, I'd leave the Prelude unchanged.<br></span></blockquote><div><br></div><div>This is also my preference. If we *have* to change the Prelude, I’d prefer moving Read out entirely.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">But that throws a wrench in the works of people who want to be "-Wall"<br>
clean... unless you mean "deprecated" in the sense of being *documented*<br>
as deprecated rather than actually marked as such (causing deprecation<br>
warnings during compilation).<br>
</blockquote></div><div class="gmail_extra"><br></div>I don't think making life easy for -Wall clean people should be a goal. The whole point of warnings is that they indicate things that might not be a problem. Otherwise, they’d be errors. This is especially true for warnings that only show up if you use -Wall instead of -W.<br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Dave Menendez <<a href="mailto:dave@zednenem.com" target="_blank">dave@zednenem.com</a>><br><<a href="http://www.eyrie.org/~zednenem/" target="_blank">http://www.eyrie.org/~zednenem/</a>></div>
</div></div>