[Haskell-cafe] doc/html - wiki - xml

2005-11-15 Thread Bulat Ziganshin
Hello Haskellers, i'm now write documention about Template Haskell in MS Word. when it will be written, i will be glad to publish it in Wiki, so anyone can correct it. and when all be done, it will be great to automatically convert this wiki text to DocBook XML for inserting in GHC documentation

Re: [Haskell-cafe] Two questions: lazy evaluation and Church-Rosser

2005-11-15 Thread Ezra Cooper
Gregory, Church-Rosser is proved in any good text on lambda calculus, such as Barendregt [1]. Some rather detailed notes on that book are at [2]. Lazy evaluation is often formalized as call-by-need. Try [3]. Ezra [1] Barendregt. The Lambda Calculus

Re: [Haskell-cafe] doc/html - wiki - xml

2005-11-15 Thread Scott Weeks
Frankly, the best way to go about writing your doc would be to do it in LaTeX/literate haskell. That way you could compile it to html/pdf/whatever. On 15/11/2005, at 2:40 AM, Bulat Ziganshin wrote: Hello Haskellers, i'm now write documention about Template Haskell in MS Word. when it will

Re: [Haskell-cafe] Download binary file

2005-11-15 Thread Kurt Hutchinson
Using buffers to read and write from a Handle is pretty easy. You can use 'allocaBytes' (from Foreign.Marshal.Alloc) to allocate the buffer size you want, and a Ptr to that gets passed to the IO computation that you give to allocaBytes as an argument. You can see a simplistic example of network IO

RE: [Haskell-cafe] Re: Bring down the house (was Re: GHC cannot compilemy code)

2005-11-15 Thread Simon Peyton-Jones
Turns out this is to do with the way that type synonyms are represented. Somewhere there is type a :*: b = HCons a b If you simply use HCons instead of :*: the problem goes away. (Use `HCons` if you want it infix.) This is a bug; using HCons instead is a workaround, but it might reduce

Re: [Haskell-cafe] doc/html - wiki - xml

2005-11-15 Thread Wolfgang Jeltsch
Am Dienstag, 15. November 2005 12:44 schrieb Scott Weeks: Frankly, the best way to go about writing your doc would be to do it in LaTeX/literate haskell. That way you could compile it to html/pdf/whatever. Oh no! Converting LaTeX to HTML is terrible, in my opinion. One reason for this is

[Haskell-cafe] waitForProcess: sytem call interrupted

2005-11-15 Thread Joel Reymont
Folks, My program frequently quites (I think) after this message: waitForProcess: sytem call interrupted I think it has to do with my killing the thread that calls connectTo, after a certain timeout. Is there a way to catch this exception so that the program does not crash? My code looks

[Haskell-cafe] GHC ignores RTS options

2005-11-15 Thread Dusan Kolar
Hello, I wonder whether anybody could advise me how to pass correctly RTS options to ghc? I've tried ghc +RTS -K4M --RTS -O program.hs -o aO.out ghc +RTS -K4M -RTS -O program.hs -o aO.out ghc -O program.hs -o aO.out +RTS -K4M ghc -O program.hs +RTS -K4M --RTS -o aO.out and many others,