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

Reply via email to