Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Magicloud Magiclouds
On Thu, Dec 16, 2010 at 3:56 PM, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: On Thu, Dec 16, 2010 at 3:48 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 16 December 2010 18:30, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: On Thu, Dec 16, 2010 at

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Ivan Lazar Miljenovic
On 16 December 2010 19:06, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Oh, clean job around ~/.ghc and ~/.cabal has been done. No luck. Sounds like a dodgy GHC install then; I believe lispy on #haskell has reported similar problems. -- Ivan Lazar Miljenovic

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Magicloud Magiclouds
On Thu, Dec 16, 2010 at 4:07 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 16 December 2010 19:06, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Oh, clean job around ~/.ghc and ~/.cabal has been done. No luck. Sounds like a dodgy GHC install then; I believe lispy

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-16 Thread Simon Marlow
On 16/12/2010 00:37, John D. Ramsdell wrote: On Wed, Dec 15, 2010 at 7:59 AM, Simon Marlowmarlo...@gmail.com wrote: The -M flag causes the GC algorithm to switch from copying (fast but hungry) to compaction (slow but frugal) as the limit approaches. Ah, so that's what it's doing. My

[Haskell-cafe] typesetting with lhs2tex

2010-12-16 Thread Permjacov Evgeniy
I write docs for my iteratee-like library and I have problem with lhs2tex. When I execute lhs2tex and then latex, I get a document with long typesignatures and expressions expanded beyound page margins. I attached a sourcefile I have problem with. Can someone give me an advise how to force long

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-16 Thread Simon Marlow
On 07/12/2010 21:30, Mitar wrote: Hi! On Wed, Dec 1, 2010 at 10:50 AM, Simon Marlowmarlo...@gmail.com wrote: Yes, but semantics are different. I want to tolerate some exception because they are saying I should do this and this (for example user interrupt, or timeout) but I do not want others,

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-16 Thread Ketil Malde
Simon Marlow marlo...@gmail.com writes: ulimit is a good way to catch an infinite loop. But it's not a good way to tell GHC how much memory you want to use - if GHC knows the memory limit, then it can make much more intelligent decisions about how to manage memory. I'm interpreting this

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Johannes Waldmann
Magicloud Magiclouds magicloud.magiclouds at gmail.com writes: Really hoping cabal has some kind of way to ignore these version thing. +1, sort of. Really, when moving to ghc-7 I found the most annyoing thing is upper version bounds in cabal files. This makes cabal-install all too eager to

Re: [Haskell-cafe] ghc/dph

2010-12-16 Thread Johannes Waldmann
What ghc version should I use and where do I get it? I found a ghc-6.13.20100108 snapshot somewhere on my hard disk and this seems to contain a working dph-par. At least I get some noticeable speedups in some of the benchmarks (didn't try them all, for lack of time). Perhaps the dph team

Re: [Haskell-cafe] typesetting with lhs2tex

2010-12-16 Thread Tom Nielsen
I think you have to do it yourself. lhs2TeX isn't that clever - it doesn't really know haskell syntax, it just applies some very simple transformation rules. e.g. change runE :: Monad m = Enumerator e s m - m r - (e - m r) - (s - Enumerator e s m - m r) - m r to runE :: Monad m =  Enumerator e

Re: [Haskell-cafe] Strong version of 'local' for reader monad

2010-12-16 Thread Tom Schrijvers
On Mon, Dec 13, 2010 at 9:30 PM, Brent Yorgey byor...@seas.upenn.eduwrote: Hi all, Today I wanted this function strongLocal :: (MonadReader r1 m1, MonadReader r2 m2) = (r2 - r1) - m1 a - m2 a Of course, after staring at this type for ten seconds I realized that it cannot

Re: [Haskell-cafe] Iteratee-like

2010-12-16 Thread John Lato
On Thu, Dec 16, 2010 at 12:23 AM, Permjacov Evgeniy permea...@gmail.comwrote: On 12/15/2010 05:48 PM, John Lato wrote: From: Permjacov Evgeniy permea...@gmail.com current links https://github.com/permeakra/Rank2Iteratee https://github.com/permeakra/PassiveIteratee The main difference

[Haskell-cafe] syb-with-class problem.

2010-12-16 Thread Magicloud Magiclouds
Hi, I am trying to make happstack work in my box, which is using ghc 7. While compiling HStringTemplate, which I did a little modification to make it work, I found that it does not work with template-haskell-2.5.0.0. I changed it to use template-haskell-2.4.0.1. This step worked fine. Then I

Re: [Haskell-cafe] $ do?

2010-12-16 Thread Christian Maeder
Am 15.12.2010 08:36, schrieb Roman Cheplyaka: * Jonathan Geddes geddes.jonat...@gmail.com [2010-12-14 19:59:14-0700] Quick question: Why do I need the $ in the following bits of code? main = withSocketsDo $ do --do something with sockets foo = fromMaybe 0 $ do --do something in the

Re: [Haskell-cafe] cannot install regex-posix using cabal ?

2010-12-16 Thread Daniel Fischer
On Thursday 16 December 2010 07:20:18, z_axis wrote: canot it be fixed ? Can you try it with a higher verbosity level, -v3, to get more information where and why it fails? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] syb-with-class problem.

2010-12-16 Thread Antoine Latter
Hi there, The only version of template haskell which will work is the version that the compiler was built against. So if you're working with ghc-7, it is 2.5 or nothing. Why doesn't HStringTemplate work with 2.5.0.0? What error were you getting? Antoine On Thu, Dec 16, 2010 at 6:23 AM,

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Brent Yorgey
On Thu, Dec 16, 2010 at 10:08:23AM +, Johannes Waldmann wrote: But: I'm always puzzled by build-dependencies like A = 3.4.5. With the major.minor.release scheme, a change in release means no API change (just bugfix), in minor means compatible extension of API, and only major changes can

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Daniel Fischer
On Thursday 16 December 2010 11:08:23, Johannes Waldmann wrote: But: I'm always puzzled by build-dependencies like A = 3.4.5. With the major.minor.release scheme, a change in release means no API change (just bugfix), in minor means compatible extension of API, and only major changes can

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Johannes Waldmann
Daniel Fischer daniel.is.fischer at googlemail.com writes: Maybe a flag ignore upper bounds and try with the latest for cabal +1 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Duncan Coutts
On 16 December 2010 13:38, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: The problem is that without upper bounds, things will break a lot when packages undergo API changes, but probably more often things will also work with the new API. So with upper bounds, you prevent breakage at

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Ketil Malde
Daniel Fischer daniel.is.fisc...@googlemail.com writes: Or: it breaks with a bug introduced in 3.4.6 which hasn't yet been fixed. This is an important point, I think: API breakages are not always intentional. Except for base, I generally don't specify upper bounds (well, maybe this is laziness

[Haskell-cafe] tplot and splot - analyst's swiss army knifes for visualizing log files

2010-12-16 Thread Eugene Kirpichov
Hi cafe, I've published a large presentation about two Haskell-based tools of mine - tplot and splot. Their motto is visualize system behavior from logs with a shell one-liner. Based on my experience, they usually seem to live up to this motto.

Re: [Haskell-cafe] Cabal message problem.

2010-12-16 Thread Daniel Fischer
On Thursday 16 December 2010 15:40:37, Duncan Coutts wrote: On 16 December 2010 13:38, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: The problem is that without upper bounds, things will break a lot when packages undergo API changes, but probably more often things will also work

Re: [Haskell-cafe] Behaviour of System.Directory.getModificationTime

2010-12-16 Thread Arnaud Bailly
actually, IRL the code works as expected. Might it be possible that the speed of test execution is greater than the granularity of the system's modification timestamp? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Infinite lists in real world programs

2010-12-16 Thread Yves Parès
Okay, I started to experiment things, and I came to some remarks: First, I cannot use bare lists, because of the way their Applicative instance is declared. I have to use the newtype ZipList (in Control.Applicative). So I have roughly this : import Control.Applicative newtype AgentSig a =

Re: [Haskell-cafe] [Haskell] Functor = Applicative = Monad

2010-12-16 Thread John Smith
On 15/12/2010 14:31, Lennart Augustsson wrote: Yes, I think there should be a MonadFail distinct from MonadPlus. Some types, like IO, are not in MonadPlus, but have a special implementation of the fail method. Personally, I think fail should just be removed, but that would break existing

Re: [Haskell-cafe] Infinite lists in real world programs

2010-12-16 Thread Brent Yorgey
On Thu, Dec 16, 2010 at 06:52:58PM +0100, Yves Parès wrote: Okay, I started to experiment things, and I came to some remarks: First, I cannot use bare lists, because of the way their Applicative instance is declared. I have to use the newtype ZipList (in Control.Applicative). So I have

[Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Dmitry V'yal
Greetings, while developing my neural net simulator I stumbled upon a problem. I have a data type NeuralNet and use Show and Read instances for saving and loading configurations. As time passed, I changed the data type, so the program can no longer load files saved in previous versions. I

[Haskell-cafe] Monadic Design Patterns for the Web C9 Video Series -- Part 2 is live!

2010-12-16 Thread Greg Meredith
Dear Haskellians, Just in time for the Holidays! Best wishes, --greg -- Forwarded message -- From: Charles Torre cto...@microsoft.com Date: Tue, Dec 14, 2010 at 11:31 AM Subject: Part 2 is live! To: Meredith Gregory lgreg.mered...@gmail.com Hi Greg! Part 2 is now live on

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Daniel Peebles
I haven't tested this idea, but it occurred to me that this might be a good place for data families: data Z = Z newtype S n = S n -- Some nastiness to avoid having to see into the future? type family Pred n :: * type instance Pred (S n) = n type instance Pred Z = Z class MyDataClass ver where

Re: [Haskell-cafe] Infinite lists in real world programs

2010-12-16 Thread Patai Gergely
So in the result of (a = f), the first element is taken from the first element of applying f to the first element of a; the second element is the second element in the result of applying f to the second element of a; and so on. Off the top of my head I am not sure what this corresponds to in

Re: [Haskell-cafe] TLS package server interface do not seem to allow for asyncrhonious communication

2010-12-16 Thread Mads Lindstrøm
Hi Antoine, Rereading my earlier post, I can see I did not explain myself properly. What I do now with sockets is: 1. Bind a socket to a port 2. Call Network.accept, then take the resultant Handle, and call forkIO _twice_ with the handle. Making one thread that listens for incoming messages

Re: [Haskell-cafe] [Haskell] Functor = Applicative = Monad

2010-12-16 Thread Antoine Latter
On Thu, Dec 16, 2010 at 12:03 PM, John Smith volderm...@hotmail.com wrote: On 15/12/2010 14:31, Lennart Augustsson wrote: Yes, I think there should be a MonadFail distinct from MonadPlus. Some types, like IO, are not in MonadPlus, but have a special implementation of the fail method.

[Haskell-cafe] cpphs is missing from new Haskell.org server

2010-12-16 Thread Dimitry Golubovsky
Hi, One more thing is missing after migration. The link found on the cpphs package page at Hackage, http://haskell.org/cpphs/ points to non-existing page. Thanks. -- Dimitry Golubovsky Anywhere on the Web ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Antoine Latter
On Thu, Dec 16, 2010 at 12:56 PM, Daniel Peebles pumpkin...@gmail.com wrote: I haven't tested this idea, but it occurred to me that this might be a good place for data families: data Z = Z newtype S n = S n -- Some nastiness to avoid having to see into the future? type family Pred n :: *

Re: [Haskell-cafe] TLS package server interface do not seem to allow for asyncrhonious communication

2010-12-16 Thread Antoine Latter
On Thu, Dec 16, 2010 at 2:38 PM, Mads Lindstrøm mads.lindstr...@gmail.com wrote: Hi Antoine, Rereading my earlier post, I can see I did not explain myself properly. What I do now with sockets is: 1. Bind a socket to a port 2. Call Network.accept, then take the resultant Handle, and call

Re: [Haskell-cafe] TLS package server interface do not seem to allow for asyncrhonious communication

2010-12-16 Thread Mads Lindstrøm
Hi Antoine On Thu, Dec 16, 2010 at 2:38 PM, Mads Lindstrøm Maybe a better interface would be along the lines of: -- | Do not use the handle when you are done! openTLSConnection: Handle - { information? Maybe not needed} - IO TLSConnection And then some thread-safe operations on the

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Jeremy Shaw
Hello, You should use happstack-data for this (you do not need the other happstack components to use happstack-data)*. It was created to solve this exact problem. happstack-data builds on type of the 'binary' library and adds versioned data types and automatic version migration. You

Re: [Haskell-cafe] Behaviour of System.Directory.getModificationTime

2010-12-16 Thread Thomas Schilling
Yes, modification times are reported in seconds, so you'll have to wait on average 0.5s for a file change to be visible via the modification date. Due to buffers and filesystem optimisations it might even take longer. On 16 December 2010 16:50, Arnaud Bailly arnaud.oq...@gmail.com wrote:

Re: [Haskell-cafe] Behaviour of System.Directory.getModificationTime

2010-12-16 Thread Krzysztof Skrzętnicki
If this is not a toy program I would really suggest using something that is builtin in the OS of choice. On Linux there is inotify ( http://en.wikipedia.org/wiki/Inotify), but I'm pretty sure that other OSes have similar interfaces. The modification time method seems really fragile and I probably

Re: [Haskell-cafe] GHC 7.0.1 developer challenges

2010-12-16 Thread John D. Ramsdell
On Thu, Dec 16, 2010 at 4:45 AM, Ketil Malde ke...@malde.org wrote: In absence of any explicit limits, I think a sensible default is to set maximum total memory use to something like 80%-90% of physical RAM. This would be a poor choice on Linux systems. As I've argued previously in this

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Daniel Peebles
Have you considered moving these packages that are unrelated to web development into a separate namespace? I know that I never considered looking under the happstack namespace simply because I never do webapps. On Thu, Dec 16, 2010 at 5:09 PM, Jeremy Shaw jer...@n-heptane.com wrote: Hello,

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-16 Thread Mitar
Hi! On Thu, Dec 16, 2010 at 10:30 AM, Simon Marlow marlo...@gmail.com wrote: I've thought about whether we could support resumption in the past. It's extremely difficult to implement - imagine if the thread was in the middle of an I/O operation - should the entire I/O operation be restarted

Re: [Haskell-cafe] syb-with-class problem.

2010-12-16 Thread Magicloud Magiclouds
On Thu, Dec 16, 2010 at 9:15 PM, Antoine Latter aslat...@gmail.com wrote: Hi there, The only version of template haskell which will work is the version that the compiler was built against. So if you're working with ghc-7, it is 2.5 or nothing. Why doesn't HStringTemplate work with 2.5.0.0?

Re: [Haskell-cafe] syb-with-class problem.

2010-12-16 Thread Sterling Clover
Sorry. I've had the patch sitting around but have been too busy/otherwise occupied to push it. This gave me the necessary kick in the posterior. HStringTemplate 0.6.6 is now on Hackage, and should work properly with ghc 7, I think. Cheers, Sterl. On Dec 16, 2010, at 6:21 PM, Magicloud

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Sterling Clover
On Dec 16, 2010, at 5:48 PM, Daniel Peebles wrote: Have you considered moving these packages that are unrelated to web development into a separate namespace? I know that I never considered looking under the happstack namespace simply because I never do webapps. On Thu, Dec 16, 2010 at

[Haskell-cafe] Haskell, Step by Step, Tutorial, Developing a Whole Application

2010-12-16 Thread __kaveh__
Is there a (or more; the more, the better) tutorial for Haskell, developing a whole application (of any kind: web, windows, console)? I mean something like NerdDinner or MVC Music Store for ASP.NET MVC; Or those whole applications in in Action books. Thanks Edit 1: Thanks to all for your

Re: [Haskell-cafe] [Haskell] Functor = Applicative = Monad

2010-12-16 Thread Lennart Augustsson
IO On Thu, Dec 16, 2010 at 6:03 PM, John Smith volderm...@hotmail.com wrote: On 15/12/2010 14:31, Lennart Augustsson wrote: Yes, I think there should be a MonadFail distinct from MonadPlus. Some types, like IO, are not in MonadPlus, but have a special implementation of the fail method.

Re: [Haskell-cafe] [Haskell] Functor = Applicative = Monad

2010-12-16 Thread Iavor Diatchki
Hello, I think that we should make both changes (make Applicative a super-class of Monad, and remove the fail method from Monad). Code will break but we can fix it. By the way, just for reference, the proposal to have a separate failure class and using it in the do notation, is how things used

Re: [Haskell-cafe] Printing of asynchronous exceptions to stderr

2010-12-16 Thread Richard O'Keefe
On 17/12/2010, at 12:03 PM, Mitar wrote: Yes, this is the same problem as when designing an operating system: what should happen to a system call if it is interrupted. And I agree with elegance of simply returning EINTR errno. This makes system calls much easier to implement and for user it

Re: [Haskell-cafe] Haskell, Step by Step, Tutorial, Developing a Whole Application

2010-12-16 Thread Albert Y. C. Lai
On 10-12-16 06:49 PM, __kaveh__ wrote: Is there a (or more; the more, the better) tutorial for Haskell, developing a whole application (of any kind: web, windows, console)? There is one developing a whole Scheme interpreter: http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

[Haskell-cafe] OT: Monad co-tutorial: the Compilation Monad

2010-12-16 Thread Gregg Reynolds
This is a little off-topic, since it isn't specifically about Haskell, but since Haskell is the home of the monad tutorial it isn't completely irrelevant. The monad tutorial genre is well-known; it's often written somebody who has just learned the concept trying to explain it, often in highly

Re: [Haskell-cafe] syb-with-class problem.

2010-12-16 Thread Magicloud Magiclouds
Yes, that works. Thank you for the hard work. On Fri, Dec 17, 2010 at 7:37 AM, Sterling Clover s.clo...@gmail.com wrote: Sorry. I've had the patch sitting around but have been too busy/otherwise occupied to push it. This gave me the necessary kick in the posterior. HStringTemplate 0.6.6 is

[Haskell-cafe] Layout styles and EclipseFP evolution.

2010-12-16 Thread Scott Michel
Disclaimer: I'm not looking to start a favorite IDE flame war, or resurrect Emacs vs. VIM vs. Yi vs. insert your favorite IDE here discussions. I've been helping JP with EclipseFP, with the objective of evolving EclipseFP into a relatively high productivity IDE for Haskell. EclipseFP has the

[Haskell-cafe] What is NoPush module?

2010-12-16 Thread Magicloud Magiclouds
Hi, When I compiling happstack with ghc 7, I got an error: src/Happstack/Server/Internal/Handler.hs:29:8: Could not find module `NoPush': Use -v to see a list of the files searched for. I looked around, there is no clue for the module NoPush, except it has a function call withNoPush.

Re: [Haskell-cafe] What is NoPush module?

2010-12-16 Thread Jeremy Shaw
oops. I got distracted when recording a patch and accidently recorded some extra stuff that was not ready yet. I pushed another patch which rolls back the premature changes. Sorry about that :( - jeremy On Dec 16, 2010, at 8:02 PM, Magicloud Magiclouds wrote: Hi, When I compiling

Re: [Haskell-cafe] handling multiple versions of a data structure

2010-12-16 Thread Jeremy Shaw
On Dec 16, 2010, at 4:48 PM, Daniel Peebles wrote: Have you considered moving these packages that are unrelated to web development into a separate namespace? I know that I never considered looking under the happstack namespace simply because I never do webapps. Yes. I have been wanting

Re: [Haskell-cafe] What is NoPush module?

2010-12-16 Thread Magicloud Magiclouds
Seems working. Thank you. On Fri, Dec 17, 2010 at 11:36 AM, Jeremy Shaw jer...@n-heptane.com wrote: oops. I got distracted when recording a patch and accidently recorded some extra stuff that was not ready yet. I pushed another patch which rolls back the premature changes. Sorry about that

[Haskell-cafe] bus error trying to use Network

2010-12-16 Thread Marcelo Sousa
Hi, I'm getting a bus error with Network library on my Mac OS X 10.6.5. I have ghc 6.12.3, network 2.3. As an example: main = withSocketsDo $ do sock - listenOn $ PortNumber 4244 (handle,host,port) - accept sock hPutStr handle Hi! sClose sock

Re: [Haskell-cafe] Haskell, Step by Step, Tutorial, Developing a Whole Application

2010-12-16 Thread Mathijs Kwik
I too would like such a tutorial. There is a lot of good material explaining certain concepts, and complete examples doing some real-world task. I've read RWH and LYAH and browsed quite some sources from packages from hackage. I understand what I read and I'm able to re-use that knowledge. But I

Re: [Haskell-cafe] OT: Monad co-tutorial: the Compilation Monad

2010-12-16 Thread Max Bolingbroke
On 17 December 2010 00:59, Gregg Reynolds d...@mobileink.com wrote: My real goal is to think about better language for software build systems, since what we have now is pretty weak, in my view. I can't speak for your monad based approach, but you may be interested in Neil Mitchell's Haskell