Proposal: Better power for Rational
simonpj at microsoft.com
Tue Sep 28 17:32:57 EDT 2010
| I'm referring to tickets #2271 and #1434.
| I implemented round, truncate, floor, ceiling with Int result in terms
| of double2Int and friends and added RULES for decomposing, e.g.
| round :: Double -> Int16
| (fromIntegral :: Int -> Int16) . (round :: Double -> Int)
| However my code is adapted to NumericPrelude's type classes and must be
| adapted to those of Haskell98's Prelude. This should not be too hard.
| I'll try to create a patch, however I may need some assistance compiling
| base libraries.
Terrific. Maybe work with Daniel Fischer? He's doing closely related stuff as you know.
Thanks very much. GHC's numerics need the love.
More information about the Libraries