#4344: Better toRational for Float and Double
----------------------------------------+-----------------------------------
Reporter: daniel.is.fischer | Owner: daniel.is.fischer
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.3
Keywords: toRational, performance | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Runtime performance bug
----------------------------------------+-----------------------------------
Comment(by daniel.is.fischer):
Above is an archive containing new implementations for toRational and
fromRational from/to Double and Float and !QuickCheck tests and
benchmarks.
To build the modules, the integer-gmp package is required, the patch will
include the logarithm functions for integer-simple too.
The !QuickCheck programme accepts (optional) parameters
1. number of tests to perform for each property
2. size parameter for the generator
3. maximal number of tests to discard (irrelevant)
If you use !QuickCheck-2.3.*, don't set the number of test cases too high,
it eats memory.
The simple* benchmarks require only the core libs shipped with GHC, the
test size can be set with "-bd num" on the command line.[[BR]]
The criterion* benchmarks require criterion, you can set the test size
with "-bd num" as the first two command line args, all subsequent args are
passed to criterion's defaultMain.
All benchmarks measure Float -> Double resp. Double -> Float conversion,
I've forgotten to write tests for Rational -> Float/Double conversions for
Rational's whose denominator is not a power of 2. I intend to add that
soon.
Please test extensively on 64-bits to make sure I haven't made a glitch
there.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4344#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
