Re: ghc-paths

2008-12-08 Thread Simon Marlow
Jens Petersen wrote: Are there any plans to include ghc-paths in ghc itself? Not at present. It's more difficult to ship it with GHC than it is to build it post-installation, because it is essentially compiled code that depends on an install-time variable. Various hairbrained schemes were

Re: Weak pointers and STM

2008-12-08 Thread Simon Marlow
Lennart Augustsson wrote: Finalizers without guarantees, like what ghc implements, are totally useless. Since there is no guarantee that the finalizer will ever run attaching one is a no-op. It has bitten me several times. I wish ghc implemented finalizers according to the ffi spec. We do

Re: Weak pointers and STM

2008-12-08 Thread Simon Marlow
The way to use finalizers is in conjunction with an exception handler that provides an absolute guarantee that the resource will be reclaimed on exit. Note that Java doesn't guarantee to run finalizers on exit either:

Re: Type checker loops with type families, overlapping and undecidable instances

2008-12-08 Thread Martin Sulzmann
The interaction between solving class constraints and equalities with type families is currently rather ad hoc. FYI *September 2008* *Unified Type Checking for Type Classes and Type Families*, T. Schrijvers, M. Sulzmann. Presented at the ICFP 2008 poster session (pdf available on Tom's

Re[2]: Weak pointers and STM

2008-12-08 Thread Bulat Ziganshin
Hello Simon, Monday, December 8, 2008, 2:53:01 PM, you wrote: just a detached look: may be provide Haskell finalizers with the same (lack of) warranties? The way to use finalizers is in conjunction with an exception handler that provides an absolute guarantee that the resource will be

RE: Re[2]: ghci and ghc -threaded broken with pipes forking

2008-12-08 Thread Brian B
Hi Bulat, My contribution to the survey: I've used forkProcess to daemonize a ghc program inside the haskell fuse bindings: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HFuse http://code.haskell.org/hfuse/System/Fuse.hsc If removing the non-threaded RTS would break forkProcess

Three Recursively defined modules

2008-12-08 Thread Chris Kuklewicz
Hi, As hs-boot is ghc specific method I am asking on this glasgow-haskell-users mailing list first. My hprotoc program converts message definitions into Haskell modules, and mimicking the expected OOP-like namespaces has been successful so far. It is possible to define messages and keys

Re: Three Recursively defined modules

2008-12-08 Thread Isaac Dupree
Chris Kuklewicz wrote: Can anyone see how to use hs-boot files to compile the three modules below? I tried. I failed. I don't think it's possible if we restrict ourselves to adding {-#SOURCE#-} to the .hs files and adding .hs-boot files. In any case it's not possible in all cases. Which

Parallel forkOS does not work on ubuntu

2008-12-08 Thread Hoang Truong
Hello everybody, I am following A Tutorial on Parallel and Concurrent Programming in Haskell and I have a problem with making Haskell to use my multi-cores (Core 2 Quad CPU). The Haskel version I used is GHC 6.10.1, for Haskell 98. I compile my below program with command: ghc --make -threaded