Re: [Haskell] Re: QuickCheck revival and Cabal

2006-04-14 Thread Stefan Karrmann
Koen Claessen (Wed, Apr 12, 2006 at 11:06:50AM +0200): > >>There is currently an old QuickCheck version in the standard hierarchy > >>in Test.QuickCheck. As the new QuickCheck is incompatible with the old > >>one, I do not want to override that place. Rather, I would like to > >>create my own littl

Re: [Haskell] Platform-dependent behaviour with functions on NaN

2006-04-14 Thread Robby Findler
I don't know if it would help, but PLT Scheme has been thru this and Matthew Flatt has a nice test suite that you can see here: http://svn.plt-scheme.org/plt/trunk/collects/tests/mzscheme/number.ss To help read the code, when you see something like: (test a b c ...) that is the same thing a

[Haskell] ANNOUNCE: An index-aware linear algebra library in Haskell

2006-04-14 Thread Frederik Eaton
An index-aware linear algebra library in Haskell I've been exploring the implementation of a library for linear algebra, i.e. manipulating vectors and matrices and so forth, which has as a fundamental design goal the exposure of index types and ranges to the type system so that operand conformabil

Re: [Haskell] Platform-dependent behaviour with functions on NaN

2006-04-14 Thread Lennart Augustsson
Yeah, I think it boils down to different representations of NaN on different platform. I guess I forgot to test for NaN when I wrote (the C code for) decodeFloat. It should generate some consistent result. On the other hand, if you have code that possible divides by 0 and don't check for it, wel

Re: [Haskell] ANNOUNCE: HAppS 0.8

2006-04-14 Thread Graham Klyne
This looks very interesting! I must try and find time to look at at. MACID sounds like a really powerful idea... #g -- Einar Karttunen wrote: > Hello, > > HAppS - Haskell Application Server version 0.8 has been released and > contains a complete rewrite of the ACID and HTTP functionalities. >

Re: [Haskell] Re: Platform-dependent behaviour with functions on NaN

2006-04-14 Thread David Roundy
On Thu, Apr 13, 2006 at 04:24:45PM +0100, Simon Marlow wrote: > >- get an implementation of this in GHC which computes the same results > >for all platforms? > > I would certainly hope so, if we can find the source of the discrepancy > and devise a fix. I'd just point out that C compilers don't