Head broken again

2007-07-02 Thread Roman Leshchinskiy
Hi all, today, I tried to sync the ghc-ndp branch with head. Again, I'll describe the problems I've encountered in the hope that it will be helpful. First, I tried darcs pull http://darcs.haskell.org/ghc ./darcs-all pull make distclean This failed with Registering filepath-1.0...

Re: More External Core questions

2007-07-02 Thread Neil Mitchell
Hi Aaron, So, yeah, perhaps External Core should be essentially a textual representation of a .hi file. Textual is something I doubt has much benefit. Yhc.Core has no textual syntax, and we've never wanted one. How about .hcr being just .hi but with complete bodies for all functions? If you d

Re: More External Core questions

2007-07-02 Thread Aaron Tomb
I think I'm convinced. Trying to make the format stay consistent has been the major thing that has slowed me down. The current syntax doesn't include all of the information contained in the iface data types, and inferring the missing bits is rather tricky. I had thought that inference of th

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

2007-07-02 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/ghc/nightly/HEAD-cam-02-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Mon Jul 2 19:30:00 BST 2007. checkin

Re: More External Core questions

2007-07-02 Thread Neil Mitchell
Hi From my viewpoint as a current user of GHC Core: Things would actually be significantly easier if I dropped backward compatibility and essentially just did a Read/Show approach. Backward compatibility got broken a while ago, since GHC Core currently doesn't seen to work. Given that you h

Re: More External Core questions

2007-07-02 Thread Aaron Tomb
On Jul 2, 2007, at 2:28 AM, Simon Peyton-Jones wrote: =| 2) I have the following source file: | |%module main:GADTTest | %data main:GADTTest.Term x = |{K :: %forall x a (cozuwild::(x:=:a -> a)) . | main:GADTTest.Term x}; | | which is translated into (roughly): |IfaceData {

patch applied (ghc): Have the users guide just refer to the wiki page on how to report a bug

2007-07-02 Thread Ian Lynagh
Mon Jul 2 07:09:36 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Have the users guide just refer to the wiki page on how to report a bug M ./docs/users_guide/intro.xml -89 +6 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailma

patch applied (/haskell/ghc): Bug reporting page is now on the wiki

2007-07-02 Thread Ian Lynagh
Mon Jul 2 09:35:13 EDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Bug reporting page is now on the wiki M ./ghc-std.html -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Try harder to avoid making a variable with RULES into a loop-breaker

2007-07-02 Thread Simon Peyton Jones
Mon Jul 2 06:24:31 PDT 2007 [EMAIL PROTECTED] * Try harder to avoid making a variable with RULES into a loop-breaker See Note [Recursive rules] in OccurAnal M ./compiler/simplCore/OccurAnal.lhs -6 +27 M ./compiler/simplCore/Simplify.lhs +2 _

patch applied (ghc): Remove the large ghci banner, and the flags to choose which banner to show

2007-07-02 Thread Ian Lynagh
Mon Jul 2 04:01:55 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Remove the large ghci banner, and the flags to choose which banner to show Fans of the banner can add putStrLn " ___ ___ _" putStrLn " / _ \\ /\\ /\\/ __(_)" putStrLn " / /_\\// /_/ / / | | GHC Inter

patch applied (ghc): Print the right usage message

2007-07-02 Thread Ian Lynagh
Mon Jul 2 03:26:51 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Print the right usage message The logic for printing the ghc and ghci usage messages was inverted. However, the ghci case will never actually happen with the current code, as we print a usage message when cli_mode == ShowUsage a

patch applied (ghc): -fasm doesn't really take an argument

2007-07-02 Thread Ian Lynagh
Mon Jul 2 03:26:29 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * -fasm doesn't really take an argument M ./compiler/main/DynFlags.hs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): clean installPackage too

2007-07-02 Thread Simon Marlow
Thu Jun 21 04:30:23 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * clean installPackage too M ./libraries/Makefile +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

RE: More External Core questions

2007-07-02 Thread Simon Peyton-Jones
| 1) What's the right way to encode the coercion manipulation functions | such as left, right, and sym as IfaceTypes? They are just Types, so they'll convert straightforwardly to IfaceTypes. That must be happening *already* because coercions appear in interface files. | 2) I have the following

patch applied (ghc): FIX #1471: print strings using Haskell quoting syntax

2007-07-02 Thread Simon Marlow
Mon Jul 2 02:22:57 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * FIX #1471: print strings using Haskell quoting syntax M ./compiler/cmm/PprCmm.hs -3 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Daily report for head

2007-07-02 Thread BuildBot Collator
Build results: x86-64 Linux head:fail (failed stage1) x86 Windows head: fail (failed stage1) x86 Windows head fast:fail (failed stage2) fail (failed stage2) fail (failed stage1) fail (failed stage1) fail (failed stage1) fail (failed stage1) mnemosyne x86-64 Gentoo h