Re: [Haskell-cafe] Question about the Monad instance for Iteratee (from the enumerator package)

2011-04-21 Thread oleg
Daniel Schuessler wrote: The thing I don't understand yet is the last line: Why is it OK to discard the leftover input from the (f x) Iteratee and yield just the leftover input from the first one (m0)? First of all, the question is about an older version of Iteratee. For example, the

Re: [Haskell-cafe] Hackage haddock not running?

2011-04-21 Thread Felipe Almeida Lessa
The last package that got haddock'ed is [1]. The first package that isn't haddock'ed is [2]. HTH, =) [1] http://hackage.haskell.org/package/acid-state-0.3 [2] http://hackage.haskell.org/package/text-json-qq-0.3.0 -- Felipe. ___ Haskell-Cafe mailing

Re: [Haskell-cafe] impoosible dependencies

2011-04-21 Thread KQ
On Wed, 20 Apr 2011 16:45:27 -0700, Carter Schonwald car...@cs.dartmouth.edu wrote: Kevin, what version of cabal install are you using? cabal-install version 0.8.2 using version 1.8.0.6 of the Cabal library I ask because prior to the 1.10.* version series, cabal would have a much harder

Re: [Haskell-cafe] Question about the Monad instance for Iteratee (from the enumerator package)

2011-04-21 Thread John A. De Goes
This is a much cleaner definition of Iteratee and I'm happy to see it. When are you going to move from your FTP site to Github, by the way? :) Regards, John A. De Goes Twitter: @jdegoes LinkedIn: http://linkedin.com/in/jdegoes On Apr 21, 2011, at 12:32 AM, o...@okmij.org wrote: Daniel

[Haskell-cafe] Indexed monads and MonoLocalBinds

2011-04-21 Thread Mikhail Vorozhtsov
Hi Cafe, Here is another example of why 'let' should be sometimes generalised. I've been recently playing with indexed monads (for JSON processing) and found out that the following code fails to typecheck: {-# LANGUAGE MonoLocalBinds #-} data M t t' a = M ipure :: a - M t t a ipure a = M

Re: [Haskell-cafe] impoosible dependencies

2011-04-21 Thread Rogan Creswick
On Thu, Apr 21, 2011 at 8:20 AM, KQ qu...@sparq.org wrote: On Wed, 20 Apr 2011 16:45:27 -0700, Carter Schonwald car...@cs.dartmouth.edu wrote: Kevin, what version of cabal install are you using? cabal-install version 0.8.2 using version 1.8.0.6 of the Cabal library snip Is it safe to

Re: [Haskell-cafe] impoosible dependencies

2011-04-21 Thread Erik Hesselink
On Thu, Apr 21, 2011 at 19:25, Rogan Creswick cresw...@gmail.com wrote: It is safe to do this.  You will probably need to specify the full version, since despite being included in the latest haskell platform, cabal-install-0.10.x is in the list of things that cabal won't install automatically.

Re: [Haskell-cafe] impoosible dependencies

2011-04-21 Thread Rogan Creswick
On Thu, Apr 21, 2011 at 11:37 AM, Erik Hesselink hessel...@gmail.com wrote: It doesn't seem to do this anymore for parsec. The preferred-versions now look like this: base 4 cabal-install 0.10 network 2.2.3 || = 2.2.4 Or am I looking at the wrong thing? Oh, interesting. I think you're

[Haskell-cafe] Why not Darcs?

2011-04-21 Thread Andrew Coppin
I'm sure this must be a VFAQ, but... There seems to be universal agreement that Darcs is a nice idea, but is unsuitable for real projects. Even GHC keeps talking about getting rid of Darcs. Can anybody tell me what the problems with Darcs actually are?

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Jason Dagit
On Thu, Apr 21, 2011 at 1:29 PM, Andrew Coppin andrewcop...@btinternet.comwrote: I'm sure this must be a VFAQ, but... There seems to be universal agreement that Darcs is a nice idea, but is unsuitable for real projects. Even GHC keeps talking about getting rid of Darcs. Can anybody tell me

Re: [Haskell-cafe] QuickCheck, (Ord a)= [a] - Property problem

2011-04-21 Thread Nick Smallbone
larry.liuxinyu liuxiny...@gmail.com writes: Somebody told me that: Eduard Sergeev • BTW, more recent QuickCheck (from Haskell Platform 2011.2.0.X - contains QuickCheck-2.4.0.1) seems to identifies the problem correctly: *** Failed! Falsifiable (after 3 tests and 2 shrinks): [0,1] False I

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread John Millikin
My chief complaint is that it's built on patch theory, which is ill-defined and doesn't seem particularly useful. The Bazaar/Git/Mercurial DAG model is much easier to understand and work with. Possibly as a consequence of its shaky foundation, Darcs is much slower than the competition -- this

[Haskell-cafe] ANN: HacPhi 2011

2011-04-21 Thread wagnerdm
Greetings, I am very pleased to officially announce HacPhi 2011, a Haskell hackathon/get-together to be held July 29-31 at the University of Pennsylvania in Philadelphia supported by contributions from Amgen, Jane Street, and Microsoft Research. The hackathon will officially kick off at

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Felipe Almeida Lessa
On Thu, Apr 21, 2011 at 7:16 PM, John Millikin jmilli...@gmail.com wrote: My chief complaint is that it's built on patch theory, which is ill-defined and doesn't seem particularly useful. The Bazaar/Git/Mercurial DAG model is much easier to understand and work with. For me its greatest asset

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Erik de Castro Lopo
Andrew Coppin wrote: I'm sure this must be a VFAQ, but... There seems to be universal agreement that Darcs is a nice idea, but is unsuitable for real projects. I not sure what constitues a real project, but I have found Darcs to be more than satisfactory for Ben Lippmeier's DDC compiler

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Erik de Castro Lopo
John Millikin wrote: My chief complaint is that it's built on patch theory, which is ill-defined and doesn't seem particularly useful. The Bazaar/Git/Mercurial DAG model is much easier to understand and work with. Possibly as a consequence of its shaky foundation, Darcs is much slower

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Jeff Wheeler
On Thu, Apr 21, 2011 at 3:29 PM, Andrew Coppin andrewcop...@btinternet.com wrote: I'm sure this must be a VFAQ, but... There seems to be universal agreement that Darcs is a nice idea, but is unsuitable for real projects. Even GHC keeps talking about getting rid of Darcs. Can anybody tell me

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread John Meacham
Um, the patch theory is what makes darcs just work. There is no need to understand it any more than you have to know VLSI design to understand how your computer works. The end result is that darcs repositories don't get corrupted and the order you integrate patches doesn't affect things meaning

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Maciej Marcin Piechotka
On Thu, 2011-04-21 at 16:16 -0700, John Meacham wrote: Um, the patch theory is what makes darcs just work. There is no need to understand it any more than you have to know VLSI design to understand how your computer works. The end result is that darcs repositories don't get corrupted and the

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Maciej Marcin Piechotka
On Thu, 2011-04-21 at 21:29 +0100, Andrew Coppin wrote: I'm sure this must be a VFAQ, but... There seems to be universal agreement that Darcs is a nice idea, but is unsuitable for real projects. Even GHC keeps talking about getting rid of Darcs. Can anybody tell me what the problems with

Re: [Haskell-cafe] QuickCheck, (Ord a)= [a] - Property problem

2011-04-21 Thread Maciej Marcin Piechotka
On Thu, 2011-04-21 at 23:56 +0200, Nick Smallbone wrote: larry.liuxinyu liuxiny...@gmail.com writes: Somebody told me that: Eduard Sergeev • BTW, more recent QuickCheck (from Haskell Platform 2011.2.0.X - contains QuickCheck-2.4.0.1) seems to identifies the problem correctly: ***

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Jake McArthur
On Thu, Apr 21, 2011 at 6:32 PM, Maciej Marcin Piechotka uzytkown...@gmail.com wrote: Assume following changes 1. Feature X - file x.hs 2. Feature Y - file y.hs and x.hs 3. Feature Z - file z.hs and x.hs 4. Fix to feature Y (changes x.hs) 5. Fix to feature X (changes x.hs) Now before

Re: [Haskell-cafe] Question about the Monad instance for Iteratee (from the enumerator package)

2011-04-21 Thread Jason Dagit
On Thu, Apr 21, 2011 at 8:36 AM, John A. De Goes j...@n-brain.net wrote: This is a much cleaner definition of Iteratee and I'm happy to see it. I'm confused by this comment. Isn't John Lato's implementation of Iteratee (on hackage) is based on the example implementation that Oleg pointed you

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Maciej Marcin Piechotka
On Thu, 2011-04-21 at 19:19 -0500, Jake McArthur wrote: On Thu, Apr 21, 2011 at 6:32 PM, Maciej Marcin Piechotka uzytkown...@gmail.com wrote: Assume following changes 1. Feature X - file x.hs 2. Feature Y - file y.hs and x.hs 3. Feature Z - file z.hs and x.hs 4. Fix to feature Y

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Jake McArthur
On Thu, Apr 21, 2011 at 7:31 PM, Maciej Marcin Piechotka uzytkown...@gmail.com wrote: Last time I checked it disallowed my as 5 depended on 4 which depended on 3 which depended on 2 which depended on 1 as all changed x.hs Merely changing the same file is not sufficient for that. In order for

[Haskell-cafe] How to use cabal's data-files feature and run in-place?

2011-04-21 Thread Richard Cobbe
I'm running Haskell Platform 2011.2.0.1 on a MacOS 10.6.7 machine (the machine is 64-bit, but I'm running the 32-bit platform). I'm writing an application for personal use, and I'd like to use Cabal to package it up and handle installation. This way, when I'm working on the program, I won't

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Simon Michael
+1 to what you said. On 4/21/11 4:16 PM, John Meacham wrote: Incidentally, I wrote a github like site based around darcs a few years ago at codehole.org. It is just used internally by me for certain projects. but if people were interested, I could resume work on it and make it public. John,

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread David Leimbach
Codehole doesn't sound like a good name. Don't lose stuff in codehole! Sent from my iPhone On Apr 21, 2011, at 7:33 PM, Simon Michael si...@joyful.com wrote: +1 to what you said. On 4/21/11 4:16 PM, John Meacham wrote: Incidentally, I wrote a github like site based around darcs a few

Re: [Haskell-cafe] Question about the Monad instance for Iteratee (from the enumerator package)

2011-04-21 Thread John Millikin
John Lato's iteratee package is based on IterateeMCPS.hs[1]. I used IterateeM.hs for enumerator, because when I benchmarked them the non-CPS version was something like 10% faster on most operations. The new IterateeM.hs solves some problems with the old encoding, but I haven't switched

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread John Millikin
On Thursday, April 21, 2011 4:16:07 PM UTC-7, John Meacham wrote: Um, the patch theory is what makes darcs just work. There is no need to understand it any more than you have to know VLSI design to understand how your computer works. The end result is that darcs repositories don't get

Re: [Haskell-cafe] QuickCheck, (Ord a)= [a] - Property problem

2011-04-21 Thread Ivan Lazar Miljenovic
On 22 April 2011 09:36, Maciej Marcin Piechotka uzytkown...@gmail.com wrote: On Thu, 2011-04-21 at 23:56 +0200, Nick Smallbone wrote: larry.liuxinyu liuxiny...@gmail.com writes: Somebody told me that: *** Failed! Falsifiable (after 3 tests and 2 shrinks): [0,1] False I don't think

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread Jason Dagit
On Thu, Apr 21, 2011 at 8:42 PM, John Millikin jmilli...@gmail.com wrote: On Thursday, April 21, 2011 4:16:07 PM UTC-7, John Meacham wrote: Um, the patch theory is what makes darcs just work. There is no need to understand it any more than you have to know VLSI design to understand how your

Re: [Haskell-cafe] How to use cabal's data-files feature and run in-place?

2011-04-21 Thread Antoine Latter
On Thu, Apr 21, 2011 at 8:46 PM, Richard Cobbe co...@ccs.neu.edu wrote: I'm running Haskell Platform 2011.2.0.1 on a MacOS 10.6.7 machine (the machine is 64-bit, but I'm running the 32-bit platform). I'm writing an application for personal use, and I'd like to use Cabal to package it up and

Re: [Haskell-cafe] Why not Darcs?

2011-04-21 Thread wren ng thornton
On 4/21/11 10:33 PM, Simon Michael wrote: +1 to what you said. On 4/21/11 4:16 PM, John Meacham wrote: Incidentally, I wrote a github like site based around darcs a few years ago at codehole.org. It is just used internally by me for certain projects. but if people were interested, I could