Add __encodeDouble and __encodeFloat
authorDuncan Coutts <duncan@well-typed.com>
Thu, 11 Jun 2009 15:49:51 +0000 (15:49 +0000)
committerDuncan Coutts <duncan@well-typed.com>
Thu, 11 Jun 2009 15:49:51 +0000 (15:49 +0000)
commitea7e89314b6675e135c6d3f77924896d31b93ce9
tree796dd734597f52da9b8bcfff188f2e871c98cdca
parent84aff6702d27a2b28058305b05784b15e05aa685
Add __encodeDouble and __encodeFloat
Moved here from the rts.
libraries/integer-gmp/cbits/float.c [new file with mode: 0644]
libraries/integer-gmp/integer.cabal