Laws for Show and Read?

[Carter Schonwald]

@Sven Panne <svenpanne at gmail.com> you are correct, and its definitely true
that
1) we dont have informative literals for +/- infity OR the bits in the nan.
and those are truely informative in debugging, as IEEE float and show/read
intend!

so i support and would like to improve that state of affairs myself! (eg my
slow motion ghc float ieee improvement stuff, most recently removing x87
support to make rounding deterministic for a change on x86 32 platform!)

On Wed, Jun 5, 2019 at 5:15 PM Sven Panne <svenpanne at gmail.com> wrote:

> Am Mi., 5. Juni 2019 um 22:57 Uhr schrieb Bertram Felgenhauer via
> Libraries <libraries at haskell.org>:
>
>> [...] It's true that extra information in NaNs is lost, but they all
>> behave
>> the same anyway...
>>
>
> That's true for normal arithmetic with them, but wrong if you use e.g. an
> external library which encodes things into the sign bit/paylod of NaNs (see
> e.g. NaN tagging). In the latter case, "read . show" actively destroys
> necessary information.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190606/d81b373e/attachment.html>