Re: [Haskell-cafe] STAMP benchmark in Haskell?

2008-03-03 Thread Martin Sulzmann
Some Haskell-STM benchmarks can be found here: Dissecting Transactional Executions in Haskell Cristian Perfumo et al http://www.cs.rochester.edu/meetings/TRANSACT07/ Martin -Willem Maessen writes: On Mar 1, 2008, at 6:41 PM, Tom Davies wrote: I'm experimenting with STM (in CAL[1]

[Haskell-cafe] ICFP08 Final CFP

2008-03-03 Thread Matthew Fluet (ICFP Publicity Chair)
Final Call for Papers ICFP 2008: International Conference on Functional Programming Victoria, BC, Canada, 22-24 September 2008 http://www.icfpconference.org/icfp2008 Submission deadline: 2 April 2008 ICFP 2008 seeks

[Haskell-cafe] Failing to make `par`

2008-03-03 Thread Jefferson Heard
I've used Control.Parallel and Control.Parallel.Strategies extensively in the past, and I thought I knew what I was doing. I declared the following function: findSupernodes' :: S.Set Name - Int - Tree - Protein.Tree - S.Set Name findSupernodes' set size (Node i _ _ s il ir) (Protein.Node _ pl pr

[Haskell-cafe] Issues(Bugs?) with GHC Type Families

2008-03-03 Thread Hugo Pacheco
Hi all, I have recently tried to replicate some examples from in the articles about type families but found some possible bugs. In [2], the example class C a where type S a (k :: * - *) :: * instance C [a] where type S [a] k = (a,k a) does not compile under the claim that the type

Re: [Haskell-cafe] Issues(Bugs?) with GHC Type Families

2008-03-03 Thread Ryan Ingram
2008/3/3 Hugo Pacheco [EMAIL PROTECTED]: class C a where type S a (k :: * - *) :: * instance C [a] where type S [a] k = (a,k a) does not compile under the claim that the type variable k is not in scope. It's not entirely syntactical sugar; I believe that when a type family is a

[Haskell-cafe] Re: static constants -- ideas?

2008-03-03 Thread Don Stewart
jason.dusek: I have an awkward programming problem -- I need to take a dictionary, parse it, build a bunch of intermediate lists and then make maps and tries out of the list. A programming problem because it's taken me a fair amount of effort to pull together the parser and list

[Haskell-cafe] Annotating GHC assembler output?

2008-03-03 Thread Justin Bailey
I'm interested in seeing what kind of assembler my functions turn into. Is there a means of annotating assembler output, similar to the {#- CORE -#} pragma? Is there a trickier way of doing it? Justin ___ Haskell-Cafe mailing list

[Haskell-cafe] (flawed?) benchmark : sort

2008-03-03 Thread Krzysztof Skrzętnicki
Hi I was playing with various versions of sorting algorithms. I know it's very easy to create flawed benchmark and I don't claim those are good ones. However, it really seems strange to me, that sort - library function - is actually the worse measured function. I can hardly belive it, and I'd

Re: [Haskell-cafe] Annotating GHC assembler output?

2008-03-03 Thread Ben Lippmeier
Hi Justin. try: ghc -c file -ddump-to-file -ddump-asm You should get a .dump.asm file in the same place as file which still has symbols named after the source functions. Keep in mind though that the continuation passing style (CPS) conversion done in the back end of GHC causes the code not

Re: [Haskell-cafe] Annotating GHC assembler output?

2008-03-03 Thread Ben Lippmeier
And to answer your actual question.. No - notes in the core language get stripped out during conversion to STG. Ben. Justin Bailey wrote: I'm interested in seeing what kind of assembler my functions turn into. Is there a means of annotating assembler output, similar to the {#- CORE -#}

Re: [Haskell-cafe] Issues(Bugs?) with GHC Type Families

2008-03-03 Thread Manuel M T Chakravarty
Hugo Pacheco: I have recently tried to replicate some examples from in the articles about type families but found some possible bugs. In [2], the example class C a where type S a (k :: * - *) :: * instance C [a] where type S [a] k = (a,k a) does not compile under the claim that the

[Haskell-cafe] ID3 tagging

2008-03-03 Thread adekoba
I was wondering if there are any haskell packages for tagging ID3 frames in mp3 files. Or perhaps if there were any plans for developing them... ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ID3 tagging

2008-03-03 Thread Don Stewart
baseballfurlife: I was wondering if there are any haskell packages for tagging ID3 frames in mp3 files. Or perhaps if there were any plans for developing them... hpodder includes the ability to write id3 tags, iirc, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpodder if

Re: [Haskell-cafe] Doubting Haskell

2008-03-03 Thread Alan Carter
Many thanks for the explanations when I was first experimenting with Haskell. I managed to finish translating a C++ wxWidgets program into Haskell wxHaskell, and am certainly impressed. I've written up some reflections on my newbie experience together with both versions, which might be helpful to