Re: Bootstrapping with HC files

2005-12-12 Thread Duncan Coutts
On Tue, 2005-12-13 at 09:47 +1100, Donald Bruce Stewart wrote: > Most distros are using binary bootstrapping. I think OpenBSD is the only > one building from .hc src. That's because none of the rest of us had heard that it'd been fixed! I'm glad to hear it, we might switch. Gentoo users ought to

Re: Bootstrapping with HC files

2005-12-12 Thread Donald Bruce Stewart
duncan.coutts: > On Mon, 2005-12-12 at 18:20 +, Andrew Walrond wrote: > > I run a source based linux distro called Heretix, and I want to make a ghc > > package which will install with or without an existing ghc. At the moment, > > we > > supply a binary-ghc package, whch is a prerequisite o

Re: Bootstrapping with HC files

2005-12-12 Thread Donald Bruce Stewart
andrew: > I run a source based linux distro called Heretix, and I want to make a ghc > package which will install with or without an existing ghc. At the moment, we > supply a binary-ghc package, whch is a prerequisite of the from-source ghc > package. > > It seems to me that I can prepare HC t

Re: Project options for GHC

2005-12-12 Thread Claus Reinke
fwiw: I have not yet used .ghci files - even though I try to use "ghc --make" instead of full-blown makefiles, I tend to write mini-makefiles that set up paths, options, etc, before calling "ghc --make" to do the real work (well sometimes, there's some non-Haskell work to be done first). And if yo

Re: recommended build system

2005-12-12 Thread Frederik Eaton
That made it work, thanks. Frederik On Mon, Dec 12, 2005 at 07:01:42PM -, Simon Marlow wrote: > On 12 December 2005 18:49, Frederik Eaton wrote: > > > $ ghc -pgml gcc -pgmP "gcc -E -undef -traditional" -pgmc gcc --make > > Matrix.hs -o matrix Chasing modules from: Matrix.hs > > [1 of 2] Comp

Re: instance inference

2005-12-12 Thread Ross Paterson
On Mon, Dec 12, 2005 at 03:38:18PM -, Simon Peyton-Jones wrote: > Interesting example. Yes, GHC builds recursive dictionaries these days. > There's a bit of discussion in our SYB paper in ICFP'05. > http://research.microsoft.com/%7Esimonpj/papers/hmap/ And Martin > Sulzmann has a whole

Project options for GHC

2005-12-12 Thread Iavor Diatchki
Hello, I have been using the .ghci file with GHCi to set global options for my project and I find it very useful. The kind of options I put there are: where to put .hi/.o files, what warnings to produce, where to look for code. etc. It works great. I was thinking that it would be very convenient

Re: Bootstrapping with HC files

2005-12-12 Thread Duncan Coutts
On Mon, 2005-12-12 at 18:20 +, Andrew Walrond wrote: > I run a source based linux distro called Heretix, and I want to make a ghc > package which will install with or without an existing ghc. At the moment, we > supply a binary-ghc package, whch is a prerequisite of the from-source ghc > pac

RE: recommended build system

2005-12-12 Thread Simon Marlow
On 12 December 2005 18:49, Frederik Eaton wrote: > $ ghc -pgml gcc -pgmP "gcc -E -undef -traditional" -pgmc gcc --make > Matrix.hs -o matrix Chasing modules from: Matrix.hs > [1 of 2] Compiling Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) > ghc-6.5.20051208: could not execute: gcc-3.4.3 > > M

Re: recommended build system

2005-12-12 Thread Frederik Eaton
$ ghc -pgml gcc -pgmP "gcc -E -undef -traditional" -pgmc gcc --make Matrix.hs -o matrix Chasing modules from: Matrix.hs [1 of 2] Compiling Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) ghc-6.5.20051208: could not execute: gcc-3.4.3 Maybe a more informative error message would be a useful featu

Bootstrapping with HC files

2005-12-12 Thread Andrew Walrond
I run a source based linux distro called Heretix, and I want to make a ghc package which will install with or without an existing ghc. At the moment, we supply a binary-ghc package, whch is a prerequisite of the from-source ghc package. It seems to me that I can prepare HC tarballs for my targe

RE: instance inference

2005-12-12 Thread Simon Peyton-Jones
Interesting example. Yes, GHC builds recursive dictionaries these days. There's a bit of discussion in our SYB paper in ICFP'05. http://research.microsoft.com/%7Esimonpj/papers/hmap/ And Martin Sulzmann has a whole paper about this point. http://www.comp.nus.edu.sg/~sulzmann/ ("Co-induction..."

RE: recommended build system

2005-12-12 Thread Simon Marlow
On 10 December 2005 05:08, Frederik Eaton wrote: > $ ghc -pgmc gcc --make Matrix.hs -o matrix > Chasing modules from: Matrix.hs > [1 of 2] Compiling Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) > ghc-6.5.20051208: could not execute: gcc-3.4.3 > > Hard-coding things is ... not ... nice ... Yo

instance inference

2005-12-12 Thread Ross Paterson
I'm puzzled that the following is accepted. Is some sort of greatest fixed point computation used for instances? {-# OPTIONS_GHC -fglasgow-exts #-} module M where class C a b where c :: a -> b -> Bool instance C b b => C (Maybe a) b where c x y = c y y f :: Maybe a -> Bool f x = c x x ___