Proposal: Better power for Rational

Simon Peyton-Jones simonpj at
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
|   into
|    (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 mailing list