<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div><br></div><div><br>El 3 abr 2019, a las 02:59, Sven Panne <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> escribió:<br><br></div><blockquote type="cite"><div><div dir="ltr"><div dir="ltr"><div dir="ltr">A strong -1 from me for the exact same reasons given 2 years ago: <a href="https://mail.haskell.org/pipermail/libraries/2017-March/027883.html">https://mail.haskell.org/pipermail/libraries/2017-March/027883.html</a> Nothing has changed since then, we don't even have a warning flag yet (see #11796). Just 2 remarks:</div><div dir="ltr"><br></div><div> * "Doesn't break existing code" is an invalid argument: Removing e.g. type checking won't break existing code, either, but this is probably not a worthy goal. And the proposal goes a step towards removing type checking in a very subtle way.</div><div><br></div></div></div></div></blockquote><div><br></div><div>Another strong -1 from me for exactly this reason. I've seen too many bugs where a datatype was changed and suddenly e.g. "length" was being called with a ([x], y) instead of a [x], and we're without warning returning 1 every time.</div><div><br></div><div>I'd also very much appreciate work on the compiler flag for warning on an instance!</div><div><br></div><div>Tom</div></body></html>