<div dir="auto">I think we’d also wanna add compiler suport for ints and words and signal on over/underflow using cpu machinery .  Most other approachs have pretty fun changes in memory rep </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Mar 2, 2021 at 11:10 AM Sylvain Henry <<a href="mailto:sylvain@haskus.fr">sylvain@haskus.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 01/03/2021 17:45, Johannes Waldmann wrote:<br>
> Dear Cafe -<br>
><br>
><br>
> let's fight Int.<br>
<br>
I'm in too.<br>
<br>
One first step would be to use `Word#` instead of `Int#` in ghc primops <br>
where it makes sense. This could be done as it should be transparent to <br>
most users.<br>
<br>
The natural next step would be to modify functions and classes in `base` <br>
to use appropriate types too. I don't think it's going to happen as it <br>
would require modifying the Haskell report and breaking almost every <br>
existing code/books/etc.<br>
<br>
So an alternative path would be to extract every wired-in things from <br>
`base` and to put them into a `ghc-base` package that `base`, <br>
`foundation` and other alternative preludes would depend on. This way we <br>
could write codes that don't depend on `base` and the legacy stuff it <br>
contains at all (even transitively).<br>
<br>
Could you open a ticket on GHC's bug tracker about this?<br>
<br>
Cheers,<br>
Sylvain<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div>