[Haskell-cafe] IPv6 issues for (code|community).haskell.org?

2011-03-09 Thread Erlend Hamberg
Hi, When I wanted to get the newest xmonad code from darcs today¹ it was really, really slow. Running “host” revealed that code.haskell.org is an alias for community.haskell.org and that it has an IPv6 address associated with it. Being on an IPv6 network, and having been burnt by similar

Re: [Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-09 Thread oleg
The Tagless final approach can do context-sensitive evaluation, using the well-known trick from the denotational semantics that explicating the context turns context-sensitive semantics to compositional. The trick isn't out of place given how much tagless-final approach is related to denotational

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-09 Thread Christian Maeder
Am 08.03.2011 13:50, schrieb Christian Maeder: Am 08.03.2011 13:35, schrieb Hauschild, Klaus (EXT): Hi Christian, Thank you for your help. Now the current version of Parse.hs (http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs) works well for the test file

Re: [Haskell-cafe] Overlaping Parsec rules

2011-03-09 Thread Christian Maeder
Am 09.03.2011 14:44, schrieb Christian Maeder: Am 08.03.2011 13:50, schrieb Christian Maeder: Am 08.03.2011 13:35, schrieb Hauschild, Klaus (EXT): Hi Christian, Thank you for your help. Now the current version of Parse.hs

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-09 Thread Mark Lentczner
code.haskell.org is the release repo code.galois.com is current development repo - Mark ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Parallel Haskell stories

2011-03-09 Thread Simon Peyton-Jones
Friends I'm giving a talk at a developer conference in London on Friday 18th, about parallel programming in Haskell. http://skillsmatter.com/event/scala/functionalpx-2011/ad-1382 I know that some of you have been using Haskell for parallel or concurrent programming quite a bit, so this

Re: [Haskell-cafe] ANNOUNCE: cinvoke 0.1 released

2011-03-09 Thread Remi Turk
On Tue, Mar 08, 2011 at 01:01:58PM +0100, Gábor Lehel wrote: On Sun, Mar 6, 2011 at 2:38 PM, Remi Turk rt...@science.uva.nl wrote: Where? Hackage: http://hackage.haskell.org/package/cinvoke Cheers, Remi [1] http://www.nongnu.org/cinvoke/ Is there any information on how this (and

Re: [Haskell-cafe] ANNOUNCE: cinvoke 0.1 released

2011-03-09 Thread Gábor Lehel
On Wed, Mar 9, 2011 at 5:26 PM, Remi Turk rt...@science.uva.nl wrote: On Tue, Mar 08, 2011 at 01:01:58PM +0100, Gábor Lehel wrote: On Sun, Mar 6, 2011 at 2:38 PM, Remi Turk rt...@science.uva.nl wrote: Where? Hackage: http://hackage.haskell.org/package/cinvoke Cheers, Remi [1]

Re: [Haskell-cafe] Parallel Haskell stories

2011-03-09 Thread Christopher Done
On 9 March 2011 17:18, Simon Peyton-Jones simo...@microsoft.com wrote: I can't say a lot about any one example, obviously, but what would be great would be - an idea of how Haskell helped (esp if you have a head to head comparison) - code snippets that illustrate how lovely it

Re: [Haskell-cafe] Haskell Platform 2011.2

2011-03-09 Thread Don Stewart
Also, due to reformatting code.haskell.org, the accounts were disabled for a while. On Wed, Mar 9, 2011 at 6:24 AM, Mark Lentczner mark.lentcz...@gmail.com wrote: code.haskell.org is the release repo code.galois.com is current development repo - Mark

Re: [Haskell-cafe] Parallel Haskell stories

2011-03-09 Thread aditya siram
A couple of years ago, Lambda Lounge [1] a local group of language enthusiasts had a shootout [2] where you were supposed to implement a simple vending machine [3] that took coins and dispensed candy. With *very* little experience using Haskell I was able to implement a vending machine server [4]

[Haskell-cafe] Custom monad using ST

2011-03-09 Thread Yves Parès
Hello, I am trying to make a monad that uses ST internally. But even when reducing this to the simplest case I'm still cramped by the 's' phantom type : {-# LANGUAGE Rank2Types #-} newtype MyST a = MyST (forall s. ST s a) -- ^ I cannot use deriving (Monad) through GeneralizedNewtypeDeriving

Re: [Haskell-cafe] Custom monad using ST

2011-03-09 Thread Jake McArthur
Try `return x = MyST (return x)`. It's (.) that throws it off. - Jake ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Custom monad using ST

2011-03-09 Thread Yves Parès
Thanks! It works this way. I often forget the dangers of point-free notation... 2011/3/9 Jake McArthur jake.mcart...@gmail.com Try `return x = MyST (return x)`. It's (.) that throws it off. - Jake ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Custom monad using ST

2011-03-09 Thread Henning Thielemann
On Wed, 9 Mar 2011, Yves Parès wrote: Hello, I am trying to make a monad that uses ST internally. But even when reducing this to the simplest case I'm still cramped by the 's' phantom type : {-# LANGUAGE Rank2Types #-} newtype MyST a = MyST (forall s. ST s a) -- ^ I cannot use deriving

Re: [Haskell-cafe] [Haskell] Linker flags for foreign export.

2011-03-09 Thread Jason Dusek
On Tue, Mar 8, 2011 at 08:23, Max Bolingbroke batterseapo...@hotmail.com wrote: On 8 March 2011 05:28, Jason Dusek jason.du...@gmail.com wrote:    gcc -g -Wall -O2 -fPIC -Wall -o import \      -I/usr/lib/ghc-6.12.1/include/ \      import.c exports.so In my experience, the easiest way to do

[Haskell-cafe] Haskell Platform web page is out of date

2011-03-09 Thread Paul Johnson
The Haskell Platform web page at http://hackage.haskell.org/platform// seems to need updating. (Incidentally, that double slash at the end doesn't look right). * The next release is promised in Jan 2011. * The Release Timetable schedules the next release for 5 March 2011. I just worry that

[Haskell-cafe] Finalizer registered with System.Mem.Weak.addFinalizer is called surprisingly early

2011-03-09 Thread balodja
Hello, I use addFinalizer from System.Mem.Weak for performing some actions on data just before that is reclaimed by GC. Registered in this way finalizer is called surprisingly early for me, much earlier the data is tend to be collected. I've attached source code of simple two-threaded program.

Re: [Haskell-cafe] Haskell Platform web page is out of date

2011-03-09 Thread Don Stewart
We're about 1 day away from the release. Hold tight!! -- Don (scramble scramble) On Wed, Mar 9, 2011 at 1:21 PM, Paul Johnson p...@cogito.org.uk wrote: The Haskell Platform web page at http://hackage.haskell.org/platform// seems to need updating.  (Incidentally, that double slash at the end

Re: [Haskell-cafe] Finalizer registered with System.Mem.Weak.addFinalizer is called surprisingly early

2011-03-09 Thread Antoine Latter
On Wed, Mar 9, 2011 at 3:54 PM, balodja balo...@zlug.asia wrote: Hello, I use addFinalizer from System.Mem.Weak for performing some actions on data just before that is reclaimed by GC. Registered in this way finalizer is called surprisingly early for me, much earlier the data is tend to be

Re: [Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-09 Thread Roel van Dijk
Both your replies where very helpful. I combined both approaches to get nearer to what I want. class Lit α where lit ∷ Integer → α class Add α where add ∷ α → α → α instance Lit Integer where lit = fromInteger instance Add Integer where add = (+) This time I require TypeSynonymInstances:

Re: [Haskell-cafe] Custom monad using ST

2011-03-09 Thread Yves Parès
Well, I want to hide the fact that I'm using ST, so if I can hide the existential type 's' it is better. BTW, does someone know why the ST default implementation (the one exposed by Control.Monad.ST) is strict, whereas those of State et Writer are lazy? 2011/3/9 Henning Thielemann

Re: [Haskell-cafe] [Haskell] Linker flags for foreign export.

2011-03-09 Thread Max Bolingbroke
Hi Jason,  Following your advice, I was able to get a working main,  linking the .o's (no attempt at an SO this time) with GHC. I haven't tried it, but how about this: 1. Use ghc to link a standard Haskell executable that requires your libraries. Run the link step with -v so you can see the

[Haskell-cafe] ANN: Updates in the monadic regions family

2011-03-09 Thread Bas van Dijk
Dear all, I released new versions of some of my packages. Here are the changelogs: http://hackage.haskell.org/package/regions-0.9 http://hackage.haskell.org/package/regions-mtl-0.3.1.5 http://hackage.haskell.org/package/regions-monadstf-0.3.1.5 * Switch from monad-peel to monad-control. *

Re: [Haskell-cafe] Custom monad using ST

2011-03-09 Thread Edward Kmett
On Wed, Mar 9, 2011 at 6:21 PM, Yves Parès limestr...@gmail.com wrote: Well, I want to hide the fact that I'm using ST, so if I can hide the existential type 's' it is better. In practice if you want to actually _use_ ST you'll find you'll need to let the world escape into your type.

[Haskell-cafe] Haskell Weekly News: Issue 172

2011-03-09 Thread Daniel Santa Cruz
Welcome to issue 172 of the HWN, a newsletter covering developments in the [1]Haskell community. This release covers the week of February 27 to March 05, 2011. Announcements Jasper Van der Jeugt [2]announced the release of version 3 of Hakyll. He informs us that this is a complete

Re: [Haskell-cafe] [Haskell] Linker flags for foreign export.

2011-03-09 Thread Jason Dusek
I've gleaned a little bit of useful info from looking at what GHC spits out with -v; I found that ordering the libraries in the way they do it makes one of my undefined symbols (`hs_free_stable_ptr') go away. However, my library ends up with a couple undefined __stginit_* symbols

Re: [Haskell-cafe] IPv6 issues for (code|community).haskell.org?

2011-03-09 Thread Simon Heath
Confirmed for me on IPv6 as well. -- Simon Heath    http://alopex.li/   Science, games, computers, life. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-09 Thread Carter Schonwald
Hey All, As of installing xcode 4 earlier today, i'm getting errors of the form ld: library not found for -lcrt1.10.5.o collect2: ld returned 1 exit status for any haskell code that invokes ld in its cabal install process. 1) is this related to some problem in xcode / what the haskell code

Re: [Haskell-cafe] possible bug for ghc 7 + xcode 4 on snow leopard?

2011-03-09 Thread Carter Schonwald
after experimenting by just naively moving the old Developer directory back to its original location preceding the installation of xcode 4, everything builds properly now. still, this is not a reasonable long term solution. Any ideas about how this might be fixed? On Thu, Mar 10, 2011 at 12:33

Re: [Haskell-cafe] Haskell mail server fail?

2011-03-09 Thread wren ng thornton
Like Kenneth Hoste, I haven't been receiving mails from haskell-cafe@ nor libraries@ for a few days to a week now. What is the status of the mailing lists? (Please CC me off-list, for obvious reasons) -- Live well, ~wren ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Finalizer registered with System.Mem.Weak.addFinalizer is called surprisingly early

2011-03-09 Thread balodja
Thank you for your answer. Does it work if you change: forM_ [1..100] $ \x - do send socket (show x) threadDelay (10*1000) to: forM_ [1..100] $ \x - do send socket (show x) touch socket threadDelay (10*1000) Yes, that works. I'm guessing what

[Haskell-cafe] Automated tests with cabal

2011-03-09 Thread Hauschild, Klaus (EXT)
Hi Haskellers, I read about the cabal features for running test code from Setup.hs with defaultMainWithHooks. I'm looking for more generic code that allows me to place any haskell in a subdirectory test or so and cabal test will run this test without any modification of my Setup.hs. Is there

Re: [Haskell-cafe] Haskell mail server fail?

2011-03-09 Thread David Virebayre
2011/3/10 wren ng thornton w...@freegeek.org Like Kenneth Hoste, I haven't been receiving mails from haskell-cafe@ nor libraries@ for a few days to a week now. What is the status of the mailing lists? I don't have the status, but I am still receiving emails from cafe and libraries. David.