HTML-Wiki pages conversion for old GHC commentaries

2006-07-12 Thread Bulat Ziganshin
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

Re: HTML-Wiki pages conversion for old GHC commentaries

2006-07-12 Thread Simon Marlow
Bulat Ziganshin wrote: 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

Re: Is this test summary good or bad?

2006-07-12 Thread Simon Marlow
Joel Reymont wrote: On Jul 11, 2006, at 11:00 AM, Simon Marlow wrote: Which ones hang? Could you take one of the hanging tests, compile it with -debug, run with +RTS -Ds, and send us the output? What ends up happening is this: 28683 p2 S 0:00.11 ../../timeout/timeout 300 cd

Re: RULES pragmas

2006-07-12 Thread Malcolm Wallace
[EMAIL PROTECTED] (Donald Bruce Stewart) wrote: 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? In this case, it's because it's missing -fglasgow-exts, I think. Ah, thank you. The missing (and undocumented)

Re: RULES pragmas

2006-07-12 Thread Malcolm Wallace
Malcolm Wallace [EMAIL PROTECTED] wrote: Ah, thank you. The missing (and undocumented) option. Actually, now I came to submit a patch to the manual, I discover that it /is/ documented, but at the beginning of section 7. (But on the index page on the web, the link to section 7 is two whole

Re: RULES pragmas

2006-07-12 Thread Simon Marlow
Malcolm Wallace wrote: Malcolm Wallace [EMAIL PROTECTED] wrote: Ah, thank you. The missing (and undocumented) option. Actually, now I came to submit a patch to the manual, I discover that it /is/ documented, but at the beginning of section 7. (But on the index page on the web, the link

RE: [Haskell] problem building syb-generics

2006-07-12 Thread Simon Peyton-Jones
OK I think you are now falling across one of the compromises we made when adding impredictative polymorphism to GHC (described in the paper Boxy types on my home page). Put briefly, eta reduction can change the typing properties of a program. Undesirable, but we could not see how to avoid it.

STM check operation

2006-07-12 Thread Rodney D Price
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.

Re: STM check operation

2006-07-12 Thread S Koray Can
Rodney D Price wrote: 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