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

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: CVS build failure

2004-11-05 Thread Peter Simons
The problem turned out to a Gentoo bug. :-( It can be fixed by executing ACCEPT_KEYWORDS=~x86 emerge libxslt which upgrades to version 1.1.9-r1. With that, I can build GHC again. Sorry about the "misreport". Peter ___ Glasgow-haskell-users mail

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... /u

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: [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 Rat

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, confi

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 num

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/ *

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. .. ___ Glasgow-has

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 proces

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 de

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 179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150

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

2004-11-05 Thread MR K P SCHUPKE
>I would be very careful of adding non-rationals to the Rational type. Why is there no Irrational class. This would make more sense for Floats and Doubles than the fraction based Rational class. We could also add an implementation of infinite precision irrationals using a pair of Integers for expo

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 uncle