Re: [Haskell-cafe] Partial statical linking

2011-12-01 Thread Edward Z. Yang
libgmp and libffi are external libraries not associated with Haskell, so I don't think -static (which is for Haskell libraries) applies to them. You'll have the same problem with any other sort of library of this type, like libdl and friends ;-) Edward Excerpts from Jason Dusek's message of Sat

[Haskell-cafe] Munich December Haskell Meeting

2011-12-01 Thread Heinrich Hördegen
Dear all, on our last meeting, we decided to set up a doodle poll to determine the date of our December's get-together: http://www.doodle.com/x6x4sgnemc35myq3 If you want to join, vote! There are also new dates available for next year's meetings (with rotating week-days):

[Haskell-cafe] ANNOUNCE: data-timeout - 64-bit timeouts of nanosecond precision

2011-12-01 Thread Mikhail Vorozhtsov
Hi. I grew up tired of counting milliseconds, so I wrote a small library[1] that allows me to specify time units for timeouts and convert between them. The library also provides wrapped versions of 'timeout' and 'threadDelay' functions: threadDelay $ 1 # Minute + 30 # Second Nanosecond

[Haskell-cafe] List fusion of nested lists

2011-12-01 Thread Joachim Breitner
Dear Cafe, I’m trying to exploit list fusion as provided by GHC (build/foldr). One function that I want to get fusable is this, it splits a list of integeres into maximal monotonous subsequences: streaks :: [Integer] - [[Integer]] streaks [] = [] streaks (x:xs) = let (this,rest) = oneStreak

Re: [Haskell-cafe] List fusion of nested lists

2011-12-01 Thread Joachim Breitner
Hi, Am Donnerstag, den 01.12.2011, 11:28 +0100 schrieb Joachim Breitner: Now I’d like to implement streaks in terms of build and foldr such that it is subject to list fusion. one half of the task is quite doable: streaks' :: [Integer] - [[Integer]] streaks' xs = foldr streaksF

Re: [Haskell-cafe] List fusion of nested lists

2011-12-01 Thread Joachim Breitner
Hi again, Am Donnerstag, den 01.12.2011, 11:38 +0100 schrieb Joachim Breitner: Am Donnerstag, den 01.12.2011, 11:28 +0100 schrieb Joachim Breitner: Now I’d like to implement streaks in terms of build and foldr such that it is subject to list fusion. one half of the task is quite doable:

[Haskell-cafe] Ann: Netwire 3.0.0

2011-12-01 Thread Ertugrul Söylemez
Hello there, Netwire 3.0.0 is out: http://hackage.haskell.org/package/netwire Overview Netwire is a library for high performance functional reactive programming, which calls its signal functions 'wires'. It solves the classic problems of FRP through a number of simple concepts:

[Haskell-cafe] Program used for debugging

2011-12-01 Thread Yves Parès
Hey, What do you mostly use for debugging? Simple calls to Debug.Trace.trace? Hpc? Hood? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Program used for debugging

2011-12-01 Thread Ivan Lazar Miljenovic
On 2 December 2011 01:10, Yves Parès limestr...@gmail.com wrote: Hey, What do you mostly use for debugging? Simple calls to Debug.Trace.trace? Hpc? Hood? trace and ghci. -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com

Re: [Haskell-cafe] Poll: Do you want a mascot?

2011-12-01 Thread Paulo J. Matos
Yes On 23/11/11 19:11, heathmatlock wrote: Question: Do you want a mascot? Answers: Yes No -- This is an attempt to figure out if this idea is going anywhere. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Partial statical linking

2011-12-01 Thread Irene Knapp
Please note that when we build with in-tree GMP, we statically link it into libHSinteger-GMP.a. Also, again only with in-tree, we patch it first to use our allocator. Both of these things are to make life easier for users creating hybrid Haskell/C executables who need to use GMP from the C

Re: [Haskell-cafe] Program used for debugging

2011-12-01 Thread Andrew Butterfield
On 1 Dec 2011, at 14:10, Yves Parès wrote: Hey, What do you mostly use for debugging? Simple calls to Debug.Trace.trace? Hpc? Hood? Debug.Trace, with some short helpers so dbg x= x displays the value of x, provided x is in Show import Debug.Trace dbg msg x = dbgsh show msg x dbgsh

[Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread dokondr
Hi, When my program starts it needs to know a complete path to the directory from which it was invoked. In terms of standard shell (sh) I need the Haskell function that will do equivalent to: #!/bin/sh path=$(dirname $0) How to get this path in Haskell? getProgName :: IO String defined

Re: [Haskell-cafe] Poll: Do you want a mascot?

2011-12-01 Thread Clark Gaebel
Yes. On Thu, Dec 1, 2011 at 9:39 AM, Paulo J. Matos pa...@matos-sorge.comwrote: Yes On 23/11/11 19:11, heathmatlock wrote: Question: Do you want a mascot? Answers: Yes No -- This is an attempt to figure out if this idea is going anywhere.

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Simon Hengel
How to get this path in Haskell? Maybe FindBin or executable-path work. Cheers, Simon ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Hackage down!

2011-12-01 Thread Edgar Gomes Araujo
Hi everybody, Is hackage.haskell.org down? I'm trying to access it but no answer, no ping response (timeout) , nothing. Is somebody else facing the same problem? Cheers, Edgar Gomes ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Felipe Almeida Lessa
On Thu, Dec 1, 2011 at 2:12 PM, dokondr doko...@gmail.com wrote: Hi, When my program starts it needs to know a complete path to the directory from which it was invoked. In terms of standard shell (sh) I need the Haskell function that will do equivalent to: #!/bin/sh path=$(dirname $0)

Re: [Haskell-cafe] Hackage down!

2011-12-01 Thread Christoph Breitkopf
Yep, same here. - Chris ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Hackage down!

2011-12-01 Thread Malcolm Wallace
And, amusingly, http://downforeveryoneorjustme.com/ is also down, having exceeded its Google App Engine quota. [ But the similarly named .org site still works, and confirms that hackage is down. ] Regards, Malcolm ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Simon Hengel
How to get this path in Haskell? If I understand you correctly, you want takeDirectory `fmap` getProgName I think getProgName does not give you the full path, but only the program name. Cheers, Simon ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Felipe Almeida Lessa
On Thu, Dec 1, 2011 at 3:41 PM, Simon Hengel simon.hen...@wiktory.org wrote: How to get this path in Haskell? If I understand you correctly, you want   takeDirectory `fmap` getProgName I think getProgName does not give you the full path, but only the program name. Neither does $0, does

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Simon Hengel
On Thu, Dec 01, 2011 at 03:53:37PM -0200, Felipe Almeida Lessa wrote: On Thu, Dec 1, 2011 at 3:41 PM, Simon Hengel simon.hen...@wiktory.org wrote: How to get this path in Haskell? If I understand you correctly, you want   takeDirectory `fmap` getProgName I think getProgName does

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Simon Hengel
On Thu, Dec 01, 2011 at 07:02:09PM +0100, Simon Hengel wrote: On Thu, Dec 01, 2011 at 03:53:37PM -0200, Felipe Almeida Lessa wrote: On Thu, Dec 1, 2011 at 3:41 PM, Simon Hengel simon.hen...@wiktory.org wrote: How to get this path in Haskell? If I understand you correctly, you want

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread dokondr
System.Directory.getCurrentDirectory does not solve the problem. System.Directory.getCurrentDirectory returns the directory *from which* the program was called, also called working directory. The directory *from which* the program was called is not the same that the directory *where the program

Re: [Haskell-cafe] Hackage down!

2011-12-01 Thread Michael Litchard
Does anyone know of a hackage mirror? It now occurs to me I should have a local mirror, it's that essential. On Thu, Dec 1, 2011 at 9:24 AM, Malcolm Wallace malcolm.wall...@me.com wrote: And, amusingly,  http://downforeveryoneorjustme.com/ is also down, having exceeded its Google App Engine

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread dokondr
To be precise, $0 always contains the path to the program called. You are right, this path will change depending on location from which the program was called. So $0 is OK for my case, while current directory is unrelated. Try this: #!/bin/sh echo Arg 0: $0 echo All Parameters: [$@] Again,

Re: [Haskell-cafe] Hackage down!

2011-12-01 Thread Tom Murphy
Is the list the right place to ask about this? I was trying to access Hackage today too, and didn't know who to let know about the problem. amindfv / Tom On Thu, Dec 1, 2011 at 11:59 AM, Edgar Gomes Araujo talktoed...@gmail.comwrote: Hi everybody, Is hackage.haskell.org down? I'm trying to

Re: [Haskell-cafe] Hackage down!

2011-12-01 Thread Jeremy Shaw
Mirroring is a key feature of Hackage 2. But, Hackage 2 needs more love before it can be released. More lovers would make it go faster though! - jeremy On Thu, Dec 1, 2011 at 1:36 PM, Michael Litchard mich...@schmong.org wrote: Does anyone know of a hackage mirror? It now occurs to me I should

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Brandon Allbery
On Thu, Dec 1, 2011 at 14:26, dokondr doko...@gmail.com wrote: On the contrary, standard shell variable $0 - contains a full path to the program location in the directory structure, no matter from what directory the program was called If the shell found it by $PATH search, $0 will be simply

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Anton Nikishaev
dokondr doko...@gmail.com writes: Hi, When my program starts it needs to know a complete path to the directory from which it was invoked. In terms of standard shell (sh) I need the Haskell function that will do equivalent to: #!/bin/sh path=$(dirname $0) How to get this path in Haskell?

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Alexey Khudyakov
On 01.12.2011 23:47, dokondr wrote: To be precise, $0 always contains the path to the program called. You are right, this path will change depending on location from which the program was called. So $0 is OK for my case, while current directory is unrelated. Actually it contains whatever was

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread Anton Nikishaev
Anton Nikishaev anton@gmail.com writes: dokondr doko...@gmail.com writes: Hi, When my program starts it needs to know a complete path to the directory from which it was invoked. In terms of standard shell (sh) I need the Haskell function that will do equivalent to: #!/bin/sh

Re: [Haskell-cafe] List Fusion of concatMap

2011-12-01 Thread Joachim Breitner
Hi, Am Donnerstag, den 01.12.2011, 21:44 +0100 schrieb Joachim Breitner: Does ghc treat list comprehensions differently here? I could answer this by looking at compiler/deSugar/DsListComp.lhs in the GHC source: List comprehensions may be desugared in one of two ways:

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-01 Thread dokondr
Balazs, thanks! It's great that these packages exist! On Thu, Dec 1, 2011 at 11:17 PM, Balazs Komuves bkomu...@gmail.com wrote: Hello, I'm not subscribed to haskell cafe, but I browse the archives sometimes. As Simon Hengel wrote there, there are two packages on Hackage trying to solve

Re: [Haskell-cafe] List Fusion of concatMap

2011-12-01 Thread Joachim Breitner
Hi, Am Donnerstag, den 01.12.2011, 22:16 +0100 schrieb Joachim Breitner: This would motivate the following definition for a fusionable concatMap, going via list comprehensions and their translation to ideal list fusion consumers/producers: concatMap f xs == [ y | x - xs, y - f x ] ==

[Haskell-cafe] Using QuickCheck to test against a database

2011-12-01 Thread Oliver Charles
Hi! I've just spent my evening trying to use QuickCheck properties to test the database accessing functions in a project I'm working on at the moment. I've got some stuff that's working, and I wanted to see what the cafe thought about it, and if anyone had any suggestions or critiscm that can

Re: [Haskell-cafe] Using QuickCheck to test against a database

2011-12-01 Thread Ozgur Akgun
Hi! This looks cool indeed. On 2 December 2011 00:02, Oliver Charles haskell-c...@ocharles.org.ukwrote: [snip] You have to remember to apply all of the states of your arbitrary instances, which is a pain, and guaranteed to be missed. Why can't you define a helper function which runs the

Re: [Haskell-cafe] Using QuickCheck to test against a database

2011-12-01 Thread Benjamin Edwards
Secondly, the initDb action is sensitive to the order actions are sequenced. Do you mean with respect to other initDb actions? Why is this? I thought you were using QuickCheck in order not to assume things about the state of the DB and that the necessary state is prepared solely by running

[Haskell-cafe] could not create compact unwind

2011-12-01 Thread Richard O'Keefe
I just did cabal install cabal-install on a Mac running Mac OS 10.6.8 and got the eventual response [44 of 44] Compiling Main ( Main.hs, dist/build/cabal/cabal-tmp/Main.o ) Linking dist/build/cabal/cabal ... ld: warning: could not create compact unwind for .LFB3: non-standard

Re: [Haskell-cafe] could not create compact unwind

2011-12-01 Thread austin seipp
The 'could not create compact unwind' message is a known (and still outstanding) linking issue on OS X. It should be harmless - it refers to the fact that OS X 10.6 uses compact unwind info for exceptions instead of DWARF unwind information, when possible. The exact cause isn't (yet) known.

[Haskell-cafe] PLPV 2012: Call for participation

2011-12-01 Thread Nikhil Swamy
Call for Participation == PLPV 2012 The Sixth ACM SIGPLAN Workshop Programming Languages meets Program Verification 24th January, 2012 Philadelphia, USA (Affiliated with POPL 2012)