[Haskell-cafe] and from standard Prelude

2010-08-18 Thread Oleg Lobachev
Hello all, the and function, and :: [Bool] - Bool is defined in two different ways in the latest Prelude. I would expect it to be and = foldr () True However, there is a further recursive definition, and it is the one used! See

Re: [Haskell-cafe] and from standard Prelude

2010-08-18 Thread Oleg Lobachev
Hello, On Aug 18, 2010, at 13:44 , Duncan Coutts wrote: This is just an issue of specification vs implementation. The spec from the H98 report is and = foldr () True [snip] Note that 'equal' includes all partial and total lists, so you can rely on the above spec to reason about the

[Haskell-cafe] Cabal broken on Mac OS X?

2010-02-19 Thread Oleg Lobachev
Hello all, I suspect that it's me and not the cabal, but everything looks fine and still fails. Would someone mind to tell me, what am I doing wrong? $ cabal -V cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library $ ghc -V The Glorious Glasgow Haskell Compilation System,

Re: [Haskell-cafe] Re: Cabal broken on Mac OS X?

2010-02-19 Thread Oleg Lobachev
Hello, On Feb 19, 2010, at 12:35 , Christian Maeder wrote: I suspect that it's me and not the cabal, but everything looks fine and still fails. Would someone mind to tell me, what am I doing wrong? $ cabal -V cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library This