Re: [Haskell-cafe] ANN: psqueue-benchmarks - benchmarks of priority queue implementations

2013-03-28 Thread 山本和彦
Hi Niklas, > * PSQueue throws a stack space overflow if you try to put in 10 > * Ints A slightly different implementation is used in GHC: https://github.com/ghc/packages-base/blob/master/GHC/Event/PSQ.hs Could you test it? If this code also has the same problem, I need to fix it. -

Re: [Haskell-cafe] Haskell SBV Package with Z3

2013-03-28 Thread Levent Erkok
Hi Jun Jie: SBV uses some of the not-yet-officially-released features in Z3. The version you have, while it's the latest official Z3 release, will not work. To resolve, you need to install the "development" version of Z3 (something that is at least 4.3.2 or better). Here're instructions from the

Re: [Haskell-cafe] introducing Maybe at managing level

2013-03-28 Thread John Lato
In FP, I think this sort of problem is generally handled via algebraic data types rather than exceptions. In particular this directly addresses the issue of "exceptions don't necessarily shout themselves out", since the compiler warns you if you've missed a case. They sound mathy, but algebraic d

Re: [Haskell-cafe] warp and http-conduit on concurrent threads on windows

2013-03-28 Thread Lars Kuhtz
That resolved the issue. Thanks for the hint. Lars On 2013-03-28 18:17, Joey Adams wrote: Try upgrading to the latest network package.  There's a bug prior to version 2.4.1.0 where 'connect' blocks other threads from running, because the underlying FFI call was marked "unsafe". Somewhat unrela

[Haskell-cafe] Haskell SBV Package with Z3

2013-03-28 Thread J. J. W.
Dear all, I have a small question regarding the installation of the SBV package. I first installed the SBV 2.10 package with cabal with the following instructions: cabal install sbv Next I installed the Z3 theorem prover and adding the path to my system variables (Windows 7 x64). Next I tested w

[Haskell-cafe] ANN: psqueue-benchmarks - benchmarks of priority queue implementations

2013-03-28 Thread Niklas Hambüchen
(This is a slightly detailed email. If you are the maintainer of one of the packages benchmarked here, you might want to read it though.) Today I was looking for a Priority Queue that also allows a delete operation (some call this a "Priority Search Queue"). I found http://stackoverflow.com/ques

Re: [Haskell-cafe] Remove redundancy with Template Haskell

2013-03-28 Thread Mike Ledger
argh, always forget to reply to all It's possible, just somewhat painful because TH /requires/ you to build an AST -- you can't just return a string representing what you want to splice in. Here's one using haskell-src-meta: {-# LANGUAGE TemplateHaskell #-} import Language.Haskell.TH import Lang

Re: [Haskell-cafe] cabal install pandoc

2013-03-28 Thread Patrick Wheeler
So I printed off the requirements for pandoc on a empty ghc-7.6.2 install you can find it at: http://hpaste.org/84794 I do not see any odd package versions listed in what you posted so far. No promise I will be able to help afterwards but it might help to see the full log, and then again with ver

Re: [Haskell-cafe] Remove redundancy with Template Haskell

2013-03-28 Thread Corentin Dupont
Thanks Daniel, that's very simple! Realizing this in TH seems be impossible, is it right? On Wed, Mar 27, 2013 at 10:33 PM, Daniel Trstenjak < daniel.trsten...@gmail.com> wrote: > > Hi Corentin, > > On Wed, Mar 27, 2013 at 09:13:41PM +0100, Corentin Dupont wrote: > > I have a function that loo

Re: [Haskell-cafe] warp and http-conduit on concurrent threads on windows

2013-03-28 Thread Lars Kuhtz
Good point, forgot about that in the reduced example. However, adding it does not change the described behavior. On 2013-03-28 13:26, Felipe Almeida Lessa wrote: Quick tip: did you try using withSocketsDo[1]? [1] http://hackage.haskell.org/packages/archive/network/2.4.1.2/doc/html/Network.htm

Re: [Haskell-cafe] warp and http-conduit on concurrent threads on windows

2013-03-28 Thread Felipe Almeida Lessa
Quick tip: did you try using withSocketsDo[1]? [1] http://hackage.haskell.org/packages/archive/network/2.4.1.2/doc/html/Network.html#g:2 On Thu, Mar 28, 2013 at 5:00 PM, Lars Kuhtz wrote: > Hi, > > I'd like to know what is wrong with the following program on windows8 (GHC > 7.4.2, 32bit): > > {

Re: [Haskell-cafe] my knucleotide fast on 64 bit but extremely slow on 32 bit?

2013-03-28 Thread Don Stewart
Int64 is emulated on 32 bit. So it is not as efficient by a long shot. On Thursday, 28 March 2013, Branimir Maksimovic wrote: > I have posted previous knucleotide program, it is fast on 64 bit but > very slow on 32 bit. > I cannot install 32 bit ghc to test it so I can only guess is that > cause

[Haskell-cafe] my knucleotide fast on 64 bit but extremely slow on 32 bit?

2013-03-28 Thread Branimir Maksimovic
I have posted previous knucleotide program, it is fast on 64 bit butvery slow on 32 bit.I cannot install 32 bit ghc to test it so I can only guess is thatcause is use of Int64 for hash and HashMap array indexing.What bothers me is that it that much slower , and I guessthat array indexing of 64 b

[Haskell-cafe] warp and http-conduit on concurrent threads on windows

2013-03-28 Thread Lars Kuhtz
Hi, I'd like to know what is wrong with the following program on windows8 (GHC 7.4.2, 32bit): {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ScopedTypeVariables #-} module Main where import Control.Concurrent.Async import qualified Control.Exception as E import Network.HTTP.Conduit import N

[Haskell-cafe] nice pattern from simple converging series

2013-03-28 Thread Christopher Howard
I made a nice little pattern from just a few lines of Haskell (mostly code comments) using gloss. It is very kindergarten in terms of mathematical art, but the idea was to illustrate that in a pretty short amount of time, and a small amount code, you could easily translate simple math concepts into

Re: [Haskell-cafe] cabal install pandoc

2013-03-28 Thread Roger Mason
hello, On 03/28/2013 04:11 PM, Mark Fredrickson wrote: To side step the issue, Pandoc is available via the ArchHaskell repos (package name `haskell-pandoc`): https://wiki.archlinux.org/index.php/Haskell_package_guidelines -M Yes, I know. I wanted to avoid having a mixture of packages insta

Re: [Haskell-cafe] cabal install pandoc

2013-03-28 Thread Mark Fredrickson
To side step the issue, Pandoc is available via the ArchHaskell repos (package name `haskell-pandoc`): https://wiki.archlinux.org/index.php/Haskell_package_guidelines -M ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailm

Re: [Haskell-cafe] Parallel Data.Vector.generate?

2013-03-28 Thread Myles C. Maxfield
Thanks for this! I didn't know about Repa, and it sounds like it's exactly what the doctor ordered. I think I'll port me entire program to it! --Myles On Thursday, March 28, 2013, Dmitry Dzhus wrote: > 28.03.2013, 10:38, "Myles C. Maxfield" > >: > > Hello all. I'm using the Data.Vector.generate

[Haskell-cafe] cabal install pandoc

2013-03-28 Thread Roger Mason
Hello, I installed ghc (7.6.2) on an Arch Linux machine. I'm trying to install pandoc via cabal but it fails: ... Configuring text-0.11.2.3... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely to cause a compile failure. package deepseq-1

[Haskell-cafe] introducing Maybe at managing level

2013-03-28 Thread luc taesch
I was looking for some link introducing the way FP/ Haskell handles errors and Exceptions. This is for a non FP Guy, and ideally withought scaring them with Monads and category theory :-). for the background : the guy said : As I mentioned in another thread in banking (in particular) it is

Re: [Haskell-cafe] Parallel Data.Vector.generate?

2013-03-28 Thread Dmitry Dzhus
28.03.2013, 10:38, "Myles C. Maxfield" : > Hello all. I'm using the Data.Vector.generate function with a complicated > creation function to create a long vector. Is it possible to parallelize the > creation of each element? > Alternatively, if there was something like parMap for vectors, I suppos

Re: [Haskell-cafe] duplicate type signatures

2013-03-28 Thread Joachim Breitner
Hi, Am Donnerstag, den 28.03.2013, 07:40 +0100 schrieb Heinrich Hördegen: > Is there a deeper sens or is it just a little bit inconsistent? looks like the latter to me. The report states Moreover, it is invalid to give more than one type signature for one variable, even if the si