Re: Gut Build System

2010-03-05 Thread Neil Mitchell
Hi, As Simon says, I've got some experience using Haskell for writing build scripts. I had a fork of the Yhc build script written in Haskell, for example. I think it's a very good idea in general. For GHC in particular, they currently have a build system that works, what's the benefit of changing

[nightly] 05-Mar-2010 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2010-03-05 Thread GHC Build Reports
Build description = STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Fri Mar 5 18:10:01 GMT 2010. checkin

[nightly] 05-Mar-2010 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2010-03-05 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Fri Mar 5 18:00:01 GMT 2010. checking out

[nightly] 05-Mar-2010 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2010-03-05 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Fri Mar 5 19:00:01 GMT 2010. ***

[nightly] 05-Mar-2010 build of STABLE on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2010-03-05 Thread GHC Build Reports
Build description = STABLE on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Fri Mar 5 19:10:01 GMT 201

patch applied (ghc-6.12/testsuite): Fix running hp2ps in a directory containing spaces

2010-03-05 Thread Ian Lynagh
Wed Mar 3 17:52:45 PST 2010 Ian Lynagh * Fix running hp2ps in a directory containing spaces M ./driver/testlib.py -1 +1 View patch online: http://darcs.haskell.org/ghc-6.12/testsuite/_darcs/patches/20100304015245-3fd76-ec2108baedc6c1cf53471416f26a47ae6a4daf2b.gz

patch applied (ghc-6.12/testsuite): Fix detection of whether we have profiling libs

2010-03-05 Thread Ian Lynagh
Wed Mar 3 15:50:23 PST 2010 Ian Lynagh * Fix detection of whether we have profiling libs It broke when the installation path contained a space M ./mk/test.mk -1 +2 View patch online: http://darcs.haskell.org/ghc-6.12/testsuite/_darcs/patches/20100303235023-3fd76-74c2ebec678439f2bff608f

patch applied (ghc-6.12/ghc): fix the Windows build some more

2010-03-05 Thread Ian Lynagh
Thu Mar 4 01:21:19 PST 2010 Simon Marlow * fix the Windows build some more M ./utils/ghc-pkg/Main.hs -1 +2 View patch online: http://darcs.haskell.org/ghc-6.12/ghc/_darcs/patches/20100304092119-12142-5c836a27e6dc698a575813983ca9dc00c2f5f9b7.gz ___

patch applied (ghc-6.12/ghc): fix Windows build

2010-03-05 Thread Ian Lynagh
Tue Mar 2 06:47:19 PST 2010 Simon Marlow * fix Windows build M ./utils/ghc-pkg/Main.hs -1 +4 View patch online: http://darcs.haskell.org/ghc-6.12/ghc/_darcs/patches/20100302144719-12142-d02c2b42994bde3c2313d1ae2799a544e4098410.gz ___ Cvs-ghc m

Re: Gut Build System

2010-03-05 Thread John D. Earle
As it concerns sources of inspiration is how proof assistants with dependent types implement their module system. Traditionally, a computer programming language consists of more than one sublanguage. A language of expressions and a module language for example. With dependent types it becomes pos

Re: Gut Build System

2010-03-05 Thread John D. Earle
The follow may seem a little like science fiction, but taken to its limit I do not find it difficult to envision a single massive data stream greater than a terabyte that consists of the entire software repository of say a corporation or government and feeding it to the compiler that would globa

Re: Gut Build System

2010-03-05 Thread John D. Earle
When the stream length (file size) is only a few kilobytes applying optimizations to speed the compilation process along isn't especially meaningful. With massive stream lengths there is economy of scale that will likely also translate to producing better machine code and other aspects of the p

Re: Gut Build System

2010-03-05 Thread John D. Earle
The timing for this is good in that new technologies are coming forward that may render the disk operating system paradigm altogether obsolete and not merely grossly inefficient. Moving to a new paradigm now may help position us ahead of the curve.___

Re: Gut Build System

2010-03-05 Thread John D. Earle
Achim Schneider wrote "As it stands, GHC can't be bootstrapped without a GHC ... ." Yes, this has been my point. If this sort of dependency is to be embraced there is no reason not to go all the way. We have already gotten to first and second base. Now it is time to go for the gusto. Achim Schn

Re: Gut Build System

2010-03-05 Thread John D. Earle
I have already anticipated the objection concerning having a means to boot strap the system. One solution is one I already hinted at. The sqlite project solved that problem. I provided a hyperlink to the project earlier. We could follow their lead. It is also possible to do something similar to

Re: Gut Build System

2010-03-05 Thread Matthias Kilian
On Fri, Mar 05, 2010 at 09:26:08PM +, Simon Marlow wrote: > >Switching GHC to a completely new build system written completely > >in Haskell would be the most stupid idea ever. (You know why) > > You're referring to bootstrapping, I presume? Yes. > I did think about mentioning that. Of cour

Re: Gut Build System

2010-03-05 Thread Simon Marlow
On 05/03/10 21:17, Matthias Kilian wrote: On Fri, Mar 05, 2010 at 12:17:55PM +, Simon Marlow wrote: I suggest that the way to start would be to design and build the infrastructure first, and then think about replacing GHC's build system. I have to admit, having rewritten GHC's build system

Re: Gut Build System

2010-03-05 Thread Matthias Kilian
On Fri, Mar 05, 2010 at 12:17:55PM +, Simon Marlow wrote: > I suggest that the way to start would be to design and build the > infrastructure first, and then think about replacing GHC's build system. > I have to admit, having rewritten GHC's build system less than a year > ago, I'm not part

Re: Gut Build System

2010-03-05 Thread John D. Earle
My ticket was just closed with a won't fix resolution. The comment was "I think the first step would be to create a build system tool, and then we can look at whether it makes sense to use it for GHC." On the face of it seems some what logical. It is certainly non-committal and it isn't nurturin

Re: Gut Build System

2010-03-05 Thread John D. Earle
Simon Marlow wrote "I suggest that the way to start would be to design and build the infrastructure first, and then think about replacing GHC's build system." Simon Marlow wrote "But if someone else were to do the work, and the result was maintainable and has at least the same functionality and

Re: Gut Build System

2010-03-05 Thread Thomas Schilling
You may want to consider something like this, as well. http://chadaustin.me/2010/03/your-version-control-and-build-systems-dont-scale-introducing-ibb/ On 4 March 2010 21:06, John D. Earle wrote: > Hello, > > I wish to discuss my feature request > http://hackage.haskell.org/trac/ghc/ticket/3912 en

Re: Gut Build System

2010-03-05 Thread Simon Marlow
On 04/03/2010 21:06, John D. Earle wrote: Hello, I wish to discuss my feature request http://hackage.haskell.org/trac/ghc/ticket/3912 entitled "Gut Build System". I suppose the title is to the point. I believe that considerable advantage can be achieved by positioning the GHC Haskell language so