<div><div dir="auto"><div dir="auto">I imagine that STAN (<a href="https://github.com/kowainik/stan">https://github.com/kowainik/stan</a>) should be able to detect dangerous uses of fromIntegral even without visible type applications. </div></div><div dir="auto"><br></div><div dir="auto">But perhaps GHC could simply issue a warning in such cases?</div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">ma 10.8.2020 klo 11.45 David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> kirjoitti:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">I wonder if this is something HLint could help with. I imagine many bugs could be avoided if every use of fromIntegral used visible type application to indicate explicitly what type was being converted to what type.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 10, 2020, 4:34 AM Sven Panne <<a href="mailto:svenpanne@gmail.com" target="_blank">svenpanne@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr">Am Mo., 10. Aug. 2020 um 09:15 Uhr schrieb Bardur Arantsson <<a href="mailto:spam@scientician.net" rel="noreferrer" target="_blank">spam@scientician.net</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 08/08/2020 15.44, Vanessa McHale wrote:<br>
> -1 from me, massive work to overhaul the ecosystem.<br><br>
Why would a massive overhaul be necessary for deprecation? If that's the<br>
case then there's a deeper more serious underlying issue around<br>
deprecation, IMO.<br></blockquote><div><br></div><div>Two things come to my mind here:</div><div><br></div><div>   * You'll probably break quite a few projects which use -Werror. I know that there are different opinions regarding -Werror in general, but in any case there *will* be breakage.</div><div><br></div><div>   * If you consider books and tutorials a part of the ecosystem (which I definitely do), there is even more "breakage": From the top of my head I would say that quite a few of them use fromIntegral, so deprecation will cause confusion.</div><div><br></div><div>All these things are definitely fixable, but neither quickly nor without a negligible cost. Deprecations should not be done lightly.</div><div><br></div><div>Regarding the deprecation itself: I fail to see why fromIntegral is worse than (+), (-), (*), ..., and nobody is proposing to remove these. The real problem is using fixed-sized numbers where they shouldn't be used, so a -1 from me.</div><div><br></div><div>Cheers,</div><div>   S.</div><div> </div></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Sakumatti Luukkonen</div>