[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