#601: Replace GMP
---------------------------------+------------------------------------------
Reporter: simonmar | Owner:
Type: task | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: None
Severity: normal | Resolution: None
Keywords: | Difficulty: Difficult (1 week)
Testcase: N/A | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by igloo):
'''Current status'''
The `Integer` type is now provided by a separate `integer` package, which
provides an API that hides the implementation details. By default this is
`integer-gmp`. To change it, set `INTEGER_LIBRARY=integer-foo` in
`mk/build.mk`.
There is an alternative implementation [http://darcs.haskell.org/libraries
/integer-simple/ integer-simple], although as we don't regularly test
builds with it you may need to make a few tweaks to get it to work.
`integer-simple` is intended to be easily understood, entirely Haskell
code that is ''fast enough''. For serious number crunching one of the
highly tuned big integer libraries will be needed, but hopefully `integer-
simple` will suffice for normal use. In order to test this, we need to do
some testing, e.g. nofib runs.
It would also be interesting to separate out the `J#/S#` wrapper from the
GMP `Integer`, and to compare all 4 combinations: `GMP`, `GMP+J#/S#`,
`simple`, `simple+S#/J#`.
If `integer-simple` is indeed fast enough, then I think that it solves all
of the problems with `integer-gmp`. We would also have packages like `gmp`
for those who want to use the fast C implementations.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/601#comment:15>
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
