Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Dylan Thurston
On Thu, Nov 04, 2004 at 08:32:52PM +0100, Sven Panne wrote: It's an old thread, but nothing has really happened yet, so I'd like to restate and expand the question: What should the behaviour of toRational, fromRational, and decodeFloat for NaN and +/-Infinity be? Even if the report is unclear

Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Ketil Malde
With GHCi, I get: Prelude Ratio toRational (1.0/0) :: Ratio Integer

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Robert Dockins
My guess is because irrationals can't be represented on a discrete computer (unless you consider a computaion, the limit of which is the irrational number in question). A single irrational might not just be arbitrarily long, but it may have an _infinite_ length representation! What you have

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Henning Thielemann
On Fri, 5 Nov 2004, Robert Dockins wrote: What IEEE has done is shoehorned in some values that aren't really numbers into their representation (NaN certainly; one could make a convincing argument that +Inf and -Inf aren't numbers). I wonder why Infinity has a sign in IEEE floating

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread MR K P SCHUPKE
My guess is because irrationals can't be represented on a discrete computer Well, call it arbitrary precision floating point then. Having built in Integer support, it does seem odd only having Float/Double/Rational... Keean. .. ___

Re: getUserEntryForName weirdness

2004-11-05 Thread Volker Stolz
In gmane.comp.lang.haskell.glasgow.user, you wrote: Is anyone else seeing this on his system? getUserEntryForName [] = print . userName wasabi Fixed in CVS -- I was only able to test this on SunOS where your example would segfault. -- http://www-i2.informatik.rwth-aachen.de/stolz/ *** PGP

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Duncan Coutts
On Fri, 2004-11-05 at 13:57, Henning Thielemann wrote: On Fri, 5 Nov 2004, Robert Dockins wrote: What IEEE has done is shoehorned in some values that aren't really numbers into their representation (NaN certainly; one could make a convincing argument that +Inf and -Inf aren't numbers).

CVS build failure (was: Building the add-ons in libraries/...)

2004-11-05 Thread Peter Simons
Sven Panne writes: /html/chunk.xsl happy.xml warning: failed to load external entity /html/chunk.xsl It looks like configure hasn't found a DocBook XSL directory on your machine. Could you provide us with a little bit more information, please (log of the configure run, config.log,

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Robert Dockins
[...] Thus (a-b) is not the same as -(b-a) for IEEE floats! Nor is x*0 equal to 0 for every x; nor does x == y imply f(x) == f(y) for every x, y, f; nor is addition or multiplication associative. There aren't many identities that do hold of floating point numbers. Yes, but they DO hold for

Re: CVS build failure (was: Building the add-ons in libraries/...)

2004-11-05 Thread Peter Simons
And some more information on the issue. When I run the configure script, I see this error message on the screen (which probably won't make it into the config.log output): | checking for xmllint... /usr/bin/xmllint | checking for DocBook DTD... ok | checking for xsltproc... /usr/bin/xsltproc |

Re: CVS build failure

2004-11-05 Thread Sven Panne
Peter Simons wrote: And some more information on the issue. When I run the configure script, I see this error message on the screen (which probably won't make it into the config.log output): | checking for xmllint... /usr/bin/xmllint | checking for DocBook DTD... ok | checking for xsltproc...

proposal for ghc-pkg to use a directory of .conf files

2004-11-05 Thread Duncan Coutts
Hi, It has been common in recent years since the widespread use of package management systems to break up configuration / settings files that are used by several packages into a directory of individual files rather than modifying a global file. The advantage of doing this is that it makes things

Re: [Haskell-cafe] Re: Double - CDouble, realToFrac doesn't work

2004-11-05 Thread Dylan Thurston
On Fri, Nov 05, 2004 at 02:53:01PM +, MR K P SCHUPKE wrote: My guess is because irrationals can't be represented on a discrete computer Well, call it arbitrary precision floating point then. Having built in Integer support, it does seem odd only having Float/Double/Rational... There are