[igloo@earth.li: Strictness of library implementations]

[Ian Lynagh]

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)      =3D> Ratio a =3D !a :% !a
which GHC seems to implement as specified, but nhc and hugs seem to use
    data (Integral a) =3D> Ratio a =3D 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 -----