This is already noted as a typo in the typos draft:
http://research.microsoft.com/~simonpj/haskell/haskell98-bugs.html
Simon
| -----Original Message-----
| From: Manuel M. T. Chakravarty [mailto:[EMAIL PROTECTED]]
| Sent: 03 February 2001 12:35
| To: [EMAIL PROTECTED]
| Subject: realToFrac vs. fromRealFrac
|
|
| I am not sure whether the following issue has already been
| mentioned earlier.
|
| Chapter 6 ``Predefined Types and Classes'' of The Report
| says at its very end,
|
| Also available are the following coercion functions:
|
| fromIntegral :: (Integral a, Num b) => a -> b
| fromRealFrac :: (RealFrac a, Fractional b) => a -> b
|
| (`fromRealFrac' is also defined in Figure 7.)
|
| However, in Appendix A ``Standard Prelude'', we have
|
| realToFrac :: (Real a, Fractional b) => a -> b
| realToFrac = fromRational . toRational
|
| instead of a definition for `fromRealFrac'.
|
| Both GHC and Hugs go by Appendix A. What was the original
| intention?
|
| Cheers,
| Manuel
|
| _______________________________________________
| Haskell mailing list
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/haskell
|
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
