[igloo@earth.li: Strictness of library implementations]
Sigbjorn Finne
sof@galconn.com
Wed, 14 Nov 2001 10:30:04 -0800
Thanks for reporting this; now fixed.
(Looks like a remnant from Haskell 1.3 days)
--sigbjorn
----- Original Message -----
From: "Ian Lynagh" <igloo@earth.li>
To: <hugs-bugs@haskell.org>
Sent: Monday, November 12, 2001 08:30
Subject: [igloo@earth.li: Strictness of library implementations]
>
> Forwarded as I believe it is a hugs bug
>
> ----- Forwarded message from Ian Lynagh <igloo@earth.li> -----
>
> Subject: Strictness of library implementations
> To: haskell@haskell.org
> From: Ian Lynagh <igloo@earth.li>
> Date: Sun, 11 Nov 2001 19:37:43 +0000
> Delivered-To: haskell@haskell.org
> Errors-To: haskell-admin@haskell.org
> X-Mailman-Version: 2.0.3
>
>
> The library report says
>
> The code found here is a specification, rather than an
> implementation. Implementations may choose more efficient versions
> of these functions. However, all properties of these specifications
> must be preserved, including strictness properties.
>
> Ratio then defines
> data (Integral a) => Ratio a = !a :% !a
> which GHC seems to implement as specified, but nhc and hugs seem to use
> data (Integral a) => Ratio a = a :% a
> Does this not have different strictness properties?
>
>
> Thanks
> Ian
>
>
> _______________________________________________
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
> ----- End forwarded message -----
>
>
> _______________________________________________
> Hugs-Bugs mailing list
> Hugs-Bugs@haskell.org
> http://www.haskell.org/mailman/listinfo/hugs-bugs