Forwarded as I believe it is a hugs bug
----- Forwarded message from Ian Lynagh <[EMAIL PROTECTED]> -----
Subject: Strictness of library implementations
To: [EMAIL PROTECTED]
From: Ian Lynagh <[EMAIL PROTECTED]>
Date: Sun, 11 Nov 2001 19:37:43 +0000
Delivered-To: [EMAIL PROTECTED]
Errors-To: [EMAIL PROTECTED]
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
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
----- End forwarded message -----
_______________________________________________
Hugs-Bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-bugs