July 2006 - Glasgow-haskell-users

STM check operation
by Rodney D Price 14 Jul '06

14 Jul '06

I've been reading the STM papers on Simon PJ's website, but I find that the GHC I'm using (6.5) changes a few things from the paper's descriptions. For instance, "atomic" becomes "atomically" and "catch" becomes "catchSTM". I can't, however, find "throw", and the type signature of "check" has changed. The GHC documentation isn't much help. Is there a discussion, perhaps in a mailing list archive somewhere, that will shed some light on these changes? Thanks, -Rod

3 4

RE: [Haskell] crash unsafeperformio stm
by Simon Peyton-Jones 14 Jul '06

14 Jul '06

[Redirecting to GHC users] A crash is bad, and the HEAD reports an error in a civilised way. It is indeed illegal to use atomically inside an unsafePerformIO. I've also committed a fix to the documentation of atomically to mention this point. In general, the documentation of STM is very thin -- we would welcome someone to improve it. Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Johannes Goetz | Sent: 12 July 2006 04:50 | To: Haskell Mailing List | Subject: [Haskell] crash unsafeperformio stm | | hi folks, | | i'm using ghc6 (apt-get install ghc6) on debian31. as far is i | understand, the following program shouldn't crash. can somebody tell me | why it does? thanks a lot. johannes. | | module Main(main) where | | import Control.Concurrent.STM | import System.IO.Unsafe | | {-# NOINLINE a #-} | a :: TMVar Int | a = unsafePerformIO $ atomically $ newTMVar 123 | | main = do | atomically $ takeTMVar a >>= putTMVar a | | ghc --make -fno-cse Test.hs -o test | ./test | Segmentation fault | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

1 0

RULES pragmas
by Malcolm Wallace 14 Jul '06

14 Jul '06

I have a question about {-# RULES #-} pragmas. Here is a very simple attempt to use them: module Simplest where {-# RULES "simplestRule" forall x. id (id x) = x #-} myDefn = id (id 42) I want to verify whether ghc-6.4.1 does actually fire this rule, but have so far been unable to do so. According to the manual (section 7.10.5), the flag -ddump-rules should list "simplestRule" if it has been parsed correctly, and -ddump-simpl-stats should list the number of times it has fired. But it does not appear in either listing. Reasoning that I have the syntax wrong, I have tried numerous variations on the indentation, added type signatures, etc., all to no avail. So what am I doing wrong? And is there any way to ask the compiler to give a warning if the RULES pragma contains errors? Regards, Malcolm

4 5

RE: [Haskell] problem building syb-generics
by Simon Peyton-Jones 12 Jul '06

12 Jul '06

[Redirecting to ghc-users] Matthew Lexically-scoped type variables are undergoing a slight upheaval in GHC 6.6 that has not quite settled, and that is what you are running into. Pattern-bound lexically-scoped type variables are particularly problematic f (x::a) = ... The ones that are totally safe are f :: forall a. a->a f x = ... In this, 'a' is in scope in the whole of f's right-hand side. Maybe you can refactor the code a little to use this? I'm sorry about this. We need to get the rules for lexically scoped type variables nailed down (for Haskell Prime as well as GHC) but it keeps slipping down my priority list. It's important but unrewarding! Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Matthew Pocock | Sent: 04 July 2006 12:38 | To: haskell(a)haskell.org | Subject: [Haskell] problem building syb-generics | | Hi, | | I had some trouble getting syb-generics 2.9 to compile with ghc 6.5 (don't | ask - I should probably be waiting for a stable release). I fixed the first | problem by replacing a definition with in-line type info by splitting the | type out, although I am not sure that I have done it right. Can anybody shed | some light on this? | | Matthew | | | ---------the error-------- | Building syb-generics-2.9... | [1 of 7] Compiling Data.Context ( Data/Context.hs, | dist/build/Data/Context.o ) | | Data/Context.hs:48:9: | A pattern type signature cannot bind scoped type variables `l' | unless the pattern has a rigid type context | In the pattern: l :: l () | In the definition of `pairCtx': | pairCtx (l :: l ()) (r :: r ()) = undefined :: PairCtx l r () | | --------original code------ | pairCtx (l::l ()) (r::r ()) | = undefined::PairCtx l r () | | --------my code------------- | pairCtx :: l () -> r () -> PairCtx l r () | pairCtx l r | = undefined | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

2 2

Is this test summary good or bad?
by Joel Reymont 12 Jul '06

12 Jul '06

Folks, I'm running Mac OSX 10.4.7 on Intel. This is the result of running the ghc-regress suite of tests using a freshly updated ghc 6.5 that was bootstrapped using a binary distribution. I suspect the framework failures were cases where tests got hung and I had to Ctrl-C them to let testing continue. I'm not sure, though. OVERALL SUMMARY for test run started at Sun Jul 9 19:02:59 BST 2006 1090 total tests, which gave rise to 4985 test cases, of which 13 caused framework failures 1003 were skipped 3460 expected passes 22 expected failures 0 unexpected passes 448 unexpected failures Unexpected failures: 10queens(ghci) CPUTime001(ghci) Chan001(ghci) IOError002(ghci) MVar001(opt,ghci) QSem001(ghci) QSemN001(ghci) SampleVar001(ghci) TH_bracket1(normal) TH_bracket2(normal) TH_bracket3(normal) TH_class1(normal) TH_dupdecl(normal) TH_exn(normal) TH_fail(normal) TH_genEx(normal) TH_mkName(normal) TH_recover(normal) TH_reifyDecl1(normal) TH_reifyType1(normal) TH_reifyType2(normal) TH_repE1(normal) TH_repE2(normal) TH_repE3(normal) TH_repGuard(normal) TH_repGuardOutput(normal) TH_repPatSig(normal) TH_repPrim(normal) TH_repPrimOutput(normal) TH_spliceDecl1(normal) TH_spliceDecl2(normal) TH_spliceDecl3(normal) TH_spliceDecl4(normal) TH_spliceE1(normal) TH_spliceE3(normal) TH_spliceE4(normal) TH_spliceE5(normal) TH_spliceE5_prof(normal) TH_spliceExpr1(normal) TH_spliceInst(normal) TH_tuple1(normal) TH_where(normal) addr001(ghci) andre_monad(ghci) andy_cherry(ghci) arith001(ghci) arith002(ghci) arith003(ghci) arith004(ghci) arith005(ghci,threaded1) arr001(ghci) arr002(ghci) arr003(ghci) arr004(ghci) arr005(ghci) arr006(ghci) arr007(ghci,threaded2) arr008(normal,ghci) arr009(profasm,ghci) arr010(ghci) arr011(ghci) arr012(ghci) arr013(ghci) arr014(ghci) arr015(ghci) arr016(ghci,threaded2) arr017(ghci) arrowlet1(normal) arrowrun001(ghci) arrowrun002(ghci,threaded2) arrowrun003(ghci) arrowrun004(profasm,ghci) barton-mangler-bug(ghci) bits(ghci) cabal01(normal) cc012(profasm) cg001(ghci) cg002(prof,ghci) cg003(ghci) cg004(ghci) cg005(ghci) cg006(ghci) cg007(ghci) cg008(ghci) cg009(ghci) cg010(ghci) cg011(ghci) cg012(ghci) cg013(ghci) cg014(ghci) cg015(prof,ghci) cg016(ghci) cg017(optasm) char001(ghci) char002(ghci) cholewo-eval(ghci) church(ghci) conc001(ghci) conc002(ghci) conc003(ghci) conc006(ghci) conc007(ghci) conc008(ghci) conc027(ghci) conc049(ghci) conc051(ghci) concprog001(ghci) currentDirectory001(ghci) cvh_unboxing(ghci) datatype(ghci) diffArray001(prof,profasm,ghci) directory001(ghci) doesDirectoryExist001(ghci) drvfail001(normal) drvfail002(normal) drvrun001(ghci) drvrun002(ghci) drvrun003(ghci) drvrun004(ghci) drvrun005(ghci) drvrun006(ghci) drvrun007(profasm,ghci) drvrun008(ghci) drvrun009(ghci) drvrun010(ghci) drvrun011(ghci) drvrun012(ghci) drvrun013(ghci) drvrun014(ghci) drvrun015(ghci) drvrun016(ghci) drvrun017(ghci) drvrun018(ghci) drvrun019(ghci) dsrun001(ghci) dsrun002(ghci) dsrun003(ghci) dsrun004(prof,ghci) dsrun005(prof,ghci) dsrun006(ghci) dsrun007(ghci,threaded2) dsrun008(ghci,threaded2) dsrun009(prof,ghci) dsrun010(ghci) dsrun011(ghci) dsrun012(ghci) dsrun013(ghci) dynamic001(ghci) dynamic002(ghci) echo001(ghci) enum01(ghci) enum02(ghci) enum03(ghci) exceptions001(ghci,threaded2) exceptions002(ghci) exitWith001(ghci) ext1(optasm,ghci) fast2haskell(ghci) ffi-deriv1(opt) fileexist01(normal,ghci) finalization001(ghci) forkprocess01(ghci,threaded2) freeNames(ghci) fun_insts(ghci) galois_raytrace(ghci) genUpTo(ghci) geq(ghci) getArgs001(ghci) getC(ghci) getEnv001(prof,ghci) getPermissions001(prof) ghci001(ghci,ghci) ghci002(ghci) ghci003(ghci) ghci004(ghci) ghci005(ghci) ghci006(ghci) ghci007(ghci) ghci008(ghci) ghci009(ghci) ghci011(ghci) ghci012(ghci) ghci013(ghci) ghci014(ghci) ghci015(ghci) ghciprog004(normal) gmapQ-assoc(ghci) gread(ghci) gshow(ghci) gzip(ghci) hClose001(optasm,ghci) hFileSize001(ghci) hTell001(ghci) hTell002(ghci) hash001(ghci) ioref001(ghci) jl_defaults(ghci) joao-circular(ghci) jq_readsPrec(ghci) jtod_circint(ghci) jules_xref(optasm,ghci) jules_xref2(optasm,ghci) labels(ghci) launchbury(ghci) lennart_range(ghci) lex(ghci) lexNum(ghci) life_space_leak(ghci) list001(profasm,ghci) maessen_hashtab (normal,opt,optasm,prof,profasm,ghci,threaded1,threaded2) memo001(ghci) memo002(ghci) mod100(normal) mod118(normal) mod30(normal) mod53(normal) mod55(normal) mod56(normal) nested-datatypes(ghci) net001(ghci,threaded2) net002(ghci) newtype(ghci) north_array(ghci) num001(ghci) num002(ghci) num003(ghci) num004(ghci) num005(ghci) num006(prof,ghci) num007(ghci) num008(optasm,ghci) packedstring001(ghci) paradise(ghci) performGC001(ghci) process001(ghci) process002(ghci) prog001(ghci) prog002(ghci) prog003(ghci) prog005(ghci) prog006(ghci) queryfdoption01(profasm) rand001(ghci) ratio001(ghci) read001(ghci) read015(opt) readLitChar(ghci) record_upd(ghci) regex001(ghci) reify(ghci) rittri(ghci) rn.prog006(normal) rn017(normal) rn022(prof) rn026(normal) rn028(opt) rn031(normal) rn035(profasm) rnfail043(normal) rw(normal) sanders_array(ghci) seward-space-leak(ghci) show001(ghci) signals001(optasm,ghci) signals002(ghci) simpl005(profasm) simpl009(prof) simpl011(normal,opt,optasm,prof,profasm) simpl014(profasm) stableptr001(ghci) stableptr003(optasm,ghci) stableptr004(profasm,ghci) stableptr005(prof,ghci) strict_anns(ghci) strings(ghci) system001(ghci) tc002(normal) tc056(normal,opt,optasm,prof,profasm) tc076(opt,optasm) tc092(normal,opt,optasm) tc097(normal,opt,optasm) tc102(normal,opt,optasm,prof,profasm) tc104(prof) tc106(prof) tc109(opt) tc134(normal,opt,optasm,prof,profasm) tc135(normal) tc136(normal,opt,optasm,prof,profasm) tc137(opt) tc141(normal,opt,optasm,prof,profasm) tc150(normal) tcfail002(normal) tcfail004(normal) tcfail005(normal) tcfail010(normal) tcfail013(normal) tcfail014(normal) tcfail018(normal) tcfail040(normal) tcfail043(normal) tcfail046(normal) tcfail061(normal) tcfail068(normal) tcfail071(normal) tcfail072(normal) tcrun001(ghci) tcrun002(opt,ghci) tcrun003(ghci) tcrun004(ghci,threaded2) tcrun005(ghci) tcrun006(ghci,threaded1) tcrun007(ghci) tcrun008(ghci) tcrun009(ghci) tcrun010(ghci) tcrun011(ghci) tcrun012(ghci) tcrun013(ghci) tcrun014(ghci) tcrun015(ghci,threaded2) tcrun016(ghci) tcrun017(ghci) tcrun018(ghci) tcrun019(ghci) tcrun020(ghci) tcrun021(ghci) tcrun022(ghci) tcrun023(ghci) tcrun024(ghci) tcrun025(ghci) tcrun027(ghci) tcrun028(normal,ghci) tcrun029(ghci) tcrun030(ghci) tcrun031(ghci) tcrun032(ghci) tcrun033(ghci) tcrun034(ghci) tcrun035(normal,opt,optasm,prof,profasm,ghci,threaded1,threaded2) tcrun036(ghci) tcrun037(ghci) testeq2(ghci) text001(ghci) thurston-modular-arith(ghci) time002(ghci,threaded1) time003(ghci,threaded1) time004(ghci) trace001(ghci) tree(ghci) tup001(ghci) twin(ghci) typecheck.testeq1(ghci) unicode001(ghci,ghci) unicode002(ghci) uri001(ghci) utf8_002(normal) utf8_003(normal) utf8_004(normal) utf8_005(normal) weak001(ghci) where(ghci) xmlish(ghci) -- http://wagerlabs.com/

3 11

HTML->Wiki pages conversion for old GHC commentaries
by Bulat Ziganshin 12 Jul '06

12 Jul '06

Hello , Let's compare http://haskell.org/haskellwiki/Test and http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/rts-libs/multi-thread.html Wiki supports part of HTML tags and as you can see results are not so bad (i just inserted the entire HTML file contents as the wiki source). May be we can just go this way in order to incorporate old GHC commentaries into haskellwiki instead of performing real html->wiki page conversion? -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

MacOS X / PowerPC
by Simon Marlow 11 Jul '06

11 Jul '06

Hi Folks, As you may know, support on MacOS X/PowerPC hardware has been lacking a bit recently: there are outstanding showstoppers with 6.4.2. Our Mac hero Wolfgang Thaller has been busy, and hasn't had time to look into the problems or package 6.4.2 for MacOS X (at least I assume he's busy, that's the last I heard, but he didn't respond to my latest ping). So the mantle of powerpc-apple-darwin maintainer is probably up for grabs. 6.4.3 is held up because of this (but not just because of this). Can anyone help out? Relevant bugs: http://hackage.haskell.org/trac/ghc/ticket/751 http://hackage.haskell.org/trac/ghc/ticket/766 and Wolfgang, if you're listening, we miss you :-) Cheers, Simon

8 17

Testing GHC 6.5 on Mac Intel
by Joel Reymont 10 Jul '06

10 Jul '06

Folks, My tests hang periodically but when I run the binaries by hand everything works. Has anyone seen this? I'm on Mac Intel and building the latest GHC 6.5 from darcs. Thanks, Joel P.S. I would be cool to have a ghc-dev list that did not include committed patches. -- http://wagerlabs.com/

1 0

Fwd: GHC for Solaris
by Christian Maeder 10 Jul '06

10 Jul '06

Greetings from Canada, I installed Christian Maeder's binary package for the Glasgow Haskell Compiler (ghc-6.4.1-sparc-sun-solaris2.tar.gz) which I downloaded from http://www.haskell.org/ghc/docs/6.4.1/html/users_guide/release-6-4-1.html When I compiled a simple program, I got an error. ghc -o hello hello.hs In file included from /usr/local/lib/ghc-6.4.1/include/RtsAPI.h:16, from /usr/local/lib/ghc-6.4.1/include/RtsExternal.h:14, from /usr/local/lib/ghc-6.4.1/include/Stg.h:161, from /tmp/ghc25804.hc:3: /usr/local/lib/ghc-6.4.1/include/HsFFI.h:32:20: stdint.h: No such file or directory A bunch of config files in /usr/local/lib/ghc-6.4.1/include defined HAVE_STDINT_H which does not work on Solaris. I replaced the offending definition with the following. /* #undef HAVE_STDINT_H */ Recompiled without error and the program runs. All seems well. Thanks. -- Claude Marinier, Information Technology Defence Research & Development Canada (Ottawa) claude.marinier(a)drdc-rddc.gc.ca http://www.ottawa.drdc-rddc.gc.ca Telephone: (613) 998-4901

1 0

Why is there no splitBy in the list module?
by Marc Weber 10 Jul '06

10 Jul '06

There is already lines. Why not generalise it to take an additional parameter '\n' and call it split or splitBy? There are some cases where you want to split a list not on '\n'. Marc

2 1