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 -----