RE: GHC 7.6 failes to build

2012-12-07 Thread Simon Peyton-Jones
|   For vector and random the same questions apply, but since we simply
| have lagging git repos for them we can create a ghc-7.6 branch.  Did you
| deliberately not do that, Ian?
| 
|  I expect Ian didn't branch DPH because it's not his job to test it
| with the GHC RC and ship it as part of the GHC source tarball. I can do
| the release part, but if Ian branches DPH as well then it is effectively
| zero-overhead to his existing workflow, and we won't hit this breakage
| again (I think?).
| 
| Right, I didn't branch them as we don't use them in the stable branch.
| But I can make the branches for future stable branches if that's useful,
| no problem.

I'm not quite getting this.  For all three (random, vector, DPH), are they used 
at all in the 7.6 branch?  

* If not, that's fine, but we must advertise that 7.6 doesn't work with DPH.
  I think that's ok... 7.8 will come soon with DPH stuff.

* If so, we should surely test them in the 7.6 branch, and that means 
  tagging them, doesn't it?

Do we build 'vector' solely because of DPH?  I think so.  Is the same true of 
'random'?

Simon

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 756, Success

2012-12-07 Thread Builder
pgj-freebsd-amd64-stable (amd64 FreeBSD STABLE), build 756

Build succeeded
Details: 
http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/756.html

git clone| Success
create mk/build.mk   | Success
get subrepos | Success
repo versions| Success
touching clean-check files   | Success
setting version date | Success
booting  | Success
configuring  | Success
creating check-remove-before | Success
compiling| Success
creating check-remove-after  | Success
compiling testremove | Success
simulating clean | Success
checking clean   | Success
making bindist   | Success
publishing bindist   | Success
testing bindist  | Success
testing  | Success
testsuite summary| Success

Build succeeded
Details: 
http://darcs.haskell.org/ghcBuilder/builders/pgj-freebsd-amd64-stable/756.html

File not deleted:compiler/ghc.cabal.old
File not deleted:inplace
File not deleted:libraries/base/include/EventConfig.h
Deleted before file: libraries/time/include/HsTimeConfig.h
File not deleted:mk/config.mk.old
File not deleted:mk/project.mk.old
File not deleted:rts/libs.depend
File not deleted:rts/package.conf.inplace
File not deleted:rts/package.conf.inplace.raw

OVERALL SUMMARY for test run started at Fri Dec  7 07:51:50 UTC 2012
3402 total tests, which gave rise to
   14436 test cases, of which
  10 caused framework failures
   11363 were skipped

2961 expected passes
  48 had missing libraries
  35 expected failures
   0 unexpected passes
  29 unexpected failures

Unexpected failures:
   ../../libraries/directory/tests  getPermissions001 [bad exit code] 
(normal)
   ../../libraries/process/testsprocess007 [bad stdout] (normal)
   ../../libraries/unix/tests/libposix  posix005 [bad stdout] (normal)
   driver   dynHelloWorld [bad exit code] (dyn)
   driver/recomp011 recomp011 [bad stdout] (normal)
   dynlibs  T3807 [bad exit code] (normal)
   dynlibs  T5373 [bad stdout] (normal)
   ghci/scripts T5979 [bad stderr] (ghci)
   perf/compilerT6048 [stat not good enough] (optasm)
   perf/haddock haddock.Cabal [stat not good enough] 
(normal)
   perf/haddock haddock.base [stat not good enough] 
(normal)
   perf/haddock haddock.compiler [stat not good enough] 
(normal)
   plugins  plugins01 [bad exit code] (normal)
   plugins  plugins02 [stderr mismatch] (normal)
   plugins  plugins03 [stderr mismatch] (normal)
   rts  T2615 [bad stdout] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly01 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly02 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly03 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly04 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly05 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly06 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly07 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly08 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly09 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly10 [exit code non-0] (normal)
   safeHaskell/check/pkg01  safePkg01 [bad exit code] (normal)
   typecheck/should_failT5300 [stderr mismatch] (normal)
   typecheck/should_failT5691 [stderr mismatch] (normal)

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: [commit: ghc] master: Make nativeCodeGen return the rest of its UniqSupply (6bdac1c)

2012-12-07 Thread Simon Marlow

On 06/12/12 21:52, Ian Lynagh wrote:

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/6bdac1c375dc754ad3a540f704437650b43474c1


---


commit 6bdac1c375dc754ad3a540f704437650b43474c1
Author: Ian Lynagh i...@well-typed.com
Date:   Thu Dec 6 19:34:27 2012 +

 Make nativeCodeGen return the rest of its UniqSupply


I just wanted to mention I think it's important to do the code 
generation on a function-by-function basis, ie. generate both static  
dynamic code for one CmmGroup, before going onto the next one.  This way 
we keep the heap profile flat.


Cheers,
Simon


___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: RFC: Singleton equality witnesses

2012-12-07 Thread Richard Eisenberg
I don't think anything here is *high priority*, just musings on how best to 
move forward.

About empty case, consider this:

 data a :~: b where
   Refl :: a :~: a

 absurd :: True :~: False - a

Now, I want to write a term binding for absurd. GHC can figure out that (True 
:~: False) is an empty type. So, if we have (absurd x = case x of …), there are 
no valid patterns, other than _, that could be used. Instead of writing (absurd 
_ = undefined), I would much prefer to write (absurd x = case x of {}). Why? If 
I compile with -fwarn-incomplete-patterns and -Werror, then the latter has no 
possible source of partiality and yet compiles. The former looks dangerous, and 
GHC doesn't check to make sure that, in fact, the function can never get called.

The bottom line, for me at least, is that I want to avoid the partial 
constructs (incomplete patterns, undefined, etc) in Haskell as much as 
possible, especially when I'm leveraging the type system to a high degree. The 
lack of empty case statements forces me to use undefined where it isn't really 
necessary.

I'll leave it to others to comment on TypeRep, as I'm a little hazy there 
myself.

Richard


On Dec 5, 2012, at 5:05 AM, Simon Peyton-Jones wrote:

 I’m afraid I have not followed this thread in detail; I’m entirely happy to 
 let you decide what the TypeLits library should look like.
  
 But do pls highlight to me any changes to GHC that you think are high 
 priority.  I’m very hazy about why this empty-case thing is a big deal.
  
 And we also have an open thread about what TypeRep should look like, and 
 whether we should have a typed version of that. It looks as if the two 
 discussions overlap somehow but I’m not sure exactly how.  Sorry – I’m just 
 getting a bit lost among all these trees!
  
 Simon
  
 From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] On 
 Behalf Of Richard Eisenberg
 Sent: 01 December 2012 16:31
 To: Iavor Diatchki
 Cc: Iavor Diatchki; cvs-ghc
 Subject: Re: RFC: Singleton equality witnesses
  
 A few points of response:
  
 - The 'Not' that I am proposing is distinct from the Boolean 'Not' that is 
 easy to write. I was inspired by this discussion to write a blog post about 
 the issue; see 
 http://typesandkinds.wordpress.com/2012/12/01/decidable-propositional-equality-in-haskell/
 The end of the (overly long) post is the interesting bit about Not.
  
 I admit that the propositional Not isn't as useful in GHC as it currently 
 stands, but with bigfixes for #3927 and #2431, it would gain a new lease on 
 life.
  
 - +1 to (:~:); this reserves (:==:) for type-level Boolean equality, which 
 matches (==) better.
  
 - I'm mildly in favor of making SingE (and SingI?) a superclass of the 
 equality class, but I don't have strong feelings.
  
 - I agree that * can be part of the singletons framework. The singletons 
 library has similar definitions to the ones Iavor proposes. See 
 https://github.com/goldfirere/singletons/blob/master/devel/Data/Singletons/TypeRepStar.hs
  
 The one problem with this approach is that TypeRep does not get promoted to 
 *. So, if you have a datatype that uses TypeRep and you want to use that 
 datatype with singletons, you're out of luck. An example might help:
  
 data Foo = Bar Bool TypeRep
  
 does not get promoted, because TypeRep is not promotable. What I would like 
 is to get the following:
  
 data kind Foo = Bar Bool *
  
 The workaround (due to Pedro's recent WGP paper):
  
 data Foo a = Bar Bool a
 type FooTypeRep = Foo TypeRep
 -- I wish: kind FooStar = Foo *, but we don't have kind synonyms
  
 This works reasonably well, and I think you could hand-code most of the 
 singletons definitions around this.
  
 However, because of this restriction around promoting TypeRep, I wrote a 
 different singleton associated with * in 
 https://github.com/goldfirere/singletons/blob/master/devel/Data/Singletons/CustomStar.hs
   Unfortunately, that's much harder to make sense of, so see here: 
 https://github.com/goldfirere/singletons/blob/master/devel/README#L409The 
 idea is that the programmer chooses some subset of * as their universe. The 
 implementation creates a datatype 'Rep' as a type representation. While Rep 
 is not automatically promoted to *, functions over Rep do get promoted to 
 type families over *.
  
 Bottom line: I would hesitate committing to a single choice for the singleton 
 associated with * until TypeRep automatically gets promoted to *.
  
 Which leads me to ask: Why can't we special-case TypeRep to be promoted to *, 
 allowing the construction I wrote above? It seems both kludgy and elegant at 
 the same time, somehow. I would love to hear others' thoughts on this.
  
 Thanks,
 Richard
  
 On Nov 30, 2012, at 1:58 PM, Iavor Diatchki wrote:
 
 
 Hello,
 Here are my thoughts:
   * I agree that we should use (:==:) for the name, as it is not specific to 
 singletons.   
   * I don't think that we need the Coq style `Not` as in Haskell we already 
 

[commit: testsuite] master: Test Trac #7445 (6fec11b)

2012-12-07 Thread Simon Peyton Jones
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/6fec11b4630a14acfbc917ae814c938e8cd65b6c

---

commit 6fec11b4630a14acfbc917ae814c938e8cd65b6c
Author: Simon Peyton Jones simo...@microsoft.com
Date:   Fri Dec 7 10:22:12 2012 +

Test Trac #7445

---

 tests/th/Makefile  |3 +++
 tests/th/T7445.hs  |6 ++
 tests/th/T7445a.hs |   13 +
 tests/th/all.T |4 
 4 files changed, 26 insertions(+), 0 deletions(-)

diff --git a/tests/th/Makefile b/tests/th/Makefile
index 0dca106..37134ce 100644
--- a/tests/th/Makefile
+++ b/tests/th/Makefile
@@ -8,6 +8,9 @@ T2386:
'$(TEST_HC)' $(TEST_HC_OPTS) -v0 -c T2386_Lib.hs -fforce-recomp
'$(TEST_HC)' $(TEST_HC_OPTS) -v0 -c T2386.hs -fforce-recomp
 
+T7445:
+   '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -c T7445a.hs -fforce-recomp
+   '$(TEST_HC)' $(TEST_HC_OPTS) -v0 -c T7445.hs -fforce-recomp
 
 HC_OPTS = -XTemplateHaskell -package template-haskell
 
diff --git a/tests/th/T7445.hs b/tests/th/T7445.hs
new file mode 100644
index 000..03371e3
--- /dev/null
+++ b/tests/th/T7445.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module T7445 where
+import T7445a
+
+moo = $(foo)
diff --git a/tests/th/T7445a.hs b/tests/th/T7445a.hs
new file mode 100644
index 000..75719a1
--- /dev/null
+++ b/tests/th/T7445a.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE DeriveDataTypeable, FlexibleContexts #-}
+module T7445a ( foo ) where
+
+import Data.Data
+import Language.Haskell.TH.Quote
+import Language.Haskell.TH
+
+data Expr
+=  IntExpr Integer
+deriving (Show, Typeable, Data)
+
+foo :: ExpQ
+foo = dataToExpQ (const Nothing) (IntExpr 1)
diff --git a/tests/th/all.T b/tests/th/all.T
index 07faaf7..78e7655 100644
--- a/tests/th/all.T
+++ b/tests/th/all.T
@@ -254,3 +254,7 @@ test('T7092', extra_clean(['T7092a.hi','T7092a.o']),
   multimod_compile, ['T7092','-v0'])
 test('T7276', normal, compile_fail, ['-v0'])
 test('T7276a', combined_output, ghci_script, ['T7276a.script'])
+
+test('T7445', extra_clean(['T7445a.hi', 'T7445a.o']),
+ run_command,
+ ['$MAKE -s --no-print-directory T7445'] )



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (fbfb43d)

2012-12-07 Thread Simon Peyton Jones
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/fbfb43dc294de5f95d4903e22eadef29a0525a84

---

commit fbfb43dc294de5f95d4903e22eadef29a0525a84
Merge: 6fec11b... b2c5047...
Author: Simon Peyton Jones simo...@microsoft.com
Date:   Fri Dec 7 10:22:35 2012 +

Merge branch 'master' of http://darcs.haskell.org/testsuite

 .../should_compile/UnboxStrictPrimitiveFields.hs   |   28 
 tests/typecheck/should_compile/all.T   |1 +
 2 files changed, 29 insertions(+), 0 deletions(-)



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: [commit: testsuite] master: Add test for -funbox-strict-primitive-fields (b2c5047)

2012-12-07 Thread Simon Marlow

On 07/12/12 05:31, Johan Tibell wrote:

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b2c5047da15f0b6441db7e615a84ce64d0f77890


---


commit b2c5047da15f0b6441db7e615a84ce64d0f77890
Author: Johan Tibell johan.tib...@gmail.com
Date:   Thu Dec 6 11:26:38 2012 -0800

 Add test for -funbox-strict-primitive-fields


---


  .../should_compile/UnboxStrictPrimitiveFields.hs   |   28 
  tests/typecheck/should_compile/all.T   |1 +
  2 files changed, 29 insertions(+), 0 deletions(-)

diff --git 
a/tests/ghc-regress/typecheck/should_compile/UnboxStrictPrimitiveFields.hs 
b/tests/ghc-regress/typecheck/should_compile/UnboxStrictPrimitiveFields.hs


I don't think you wanted to add this file to 
tests/ghc-regress/typecheck/..., it should go in tests/typecheck/...


Cheers,
Simon



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: fix description of ghci instance env bug (e4feb52)

2012-12-07 Thread Simon Marlow
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/e4feb52d88d7c1ba44f3ebbdc94d7c909b81ac71

---

commit e4feb52d88d7c1ba44f3ebbdc94d7c909b81ac71
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 10:35:13 2012 +

fix description of ghci instance env bug

---

 docs/users_guide/bugs.xml |   22 +++---
 1 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index ca0f65f..4ff99e2 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -514,17 +514,6 @@ checking for duplicates.  The reason for this is 
efficiency, pure and simple.
   /listitem
 
   listitem
-   paraGHC does not keep careful track of
-   what instance declarations are 'in scope' if they come from other 
packages.
-Instead, all instance declarations that GHC has seen in other
-packages are all in scope everywhere, whether or not the
-module from that package is used by the command-line
-expression.  This bug affects only the option--make/option mode and
- GHCi./para
-  /listitem
-
-
-  listitem
 paraOn 32-bit x86 platforms when using the native code
 generator, the
 
option-fexcess-precision/optionindextermprimaryoption-fexcess-precision/option/primary/indexterm
 option
@@ -588,6 +577,17 @@ Loading package javavm ... linking ... WARNING: Overflown 
relocation field (# re
   your package into two or more .o's, along the lines of
   how the base package does it./para
   /listitem
+
+  listitem
+para
+  GHCi does not keep careful track of what instance
+  declarations are 'in scope' if they come from other
+  packages.  Instead, all instance declarations that GHC has
+  seen in other packages are all available at the prompt,
+  whether or not the instance really ought to be in visible
+  given the current set of modules in scope.
+/para
+  /listitem
 /itemizedlist
   /sect2
   /sect1



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: fix code in library initialisation example (#7471) (250f026)

2012-12-07 Thread Simon Marlow
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/250f02687eb6dc56394f1c6e9c4cc0aaa34b

---

commit 250f02687eb6dc56394f1c6e9c4cc0aaa34b
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 10:35:40 2012 +

fix code in library initialisation example (#7471)

---

 docs/users_guide/ffi-chap.xml |   28 
 1 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index e778c03..a2fe177 100644
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -446,21 +446,25 @@ typedef enum {
   implemented in C or C++.  For example:/para
 
 programlisting
- HsBool mylib_init(void){
-   int argc = ...
-   char *argv[] = ...
+#include lt;stdlib.hgt;
+#include HsFFI.h
+
+HsBool mylib_init(void){
+  int argc = 2;
+  char *argv[] = { +RTS, -A32m, NULL };
+  char **pargv = argv;
 
-   // Initialize Haskell runtime
-   hs_init(amp;argc, amp;argv);
+  // Initialize Haskell runtime
+  hs_init(amp;argc, amp;pargv);
 
-   // do any other initialization here and
-   // return false if there was a problem
-   return HS_BOOL_TRUE;
- }
+  // do any other initialization here and
+  // return false if there was a problem
+  return HS_BOOL_TRUE;
+}
 
- void mylib_end(void){
-   hs_exit();
- }
+void mylib_end(void){
+  hs_exit();
+}
 /programlisting
 
 paraThe initialisation routine, literalmylib_init/literal, calls



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Invalidate the ModSummary cache in setSessionDynFlags (#7478) (27770ae)

2012-12-07 Thread Simon Marlow
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/27770ae5c5ebd16d9f6cc4574e0f75c395e12720

---

commit 27770ae5c5ebd16d9f6cc4574e0f75c395e12720
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 12:05:29 2012 +

Invalidate the ModSummary cache in setSessionDynFlags (#7478)

---

 compiler/main/GHC.hs |   27 +++
 1 files changed, 27 insertions(+), 0 deletions(-)

diff --git a/compiler/main/GHC.hs b/compiler/main/GHC.hs
index bdfe5e6..008a38d 100644
--- a/compiler/main/GHC.hs
+++ b/compiler/main/GHC.hs
@@ -498,6 +498,7 @@ setSessionDynFlags dflags = do
   (dflags', preload) - liftIO $ initPackages dflags
   modifySession $ \h - h{ hsc_dflags = dflags'
  , hsc_IC = (hsc_IC h){ ic_dflags = dflags' } }
+  invalidateModSummaryCache
   return preload
 
 -- | Sets the program 'DynFlags'.
@@ -505,8 +506,34 @@ setProgramDynFlags :: GhcMonad m = DynFlags - m 
[PackageId]
 setProgramDynFlags dflags = do
   (dflags', preload) - liftIO $ initPackages dflags
   modifySession $ \h - h{ hsc_dflags = dflags' }
+  invalidateModSummaryCache
   return preload
 
+-- When changing the DynFlags, we want the changes to apply to future
+-- loads, but without completely discarding the program.  But the
+-- DynFlags are cached in each ModSummary in the hsc_mod_graph, so
+-- after a change to DynFlags, the changes would apply to new modules
+-- but not existing modules; this seems undesirable.
+--
+-- Furthermore, the GHC API client might expect that changing
+-- log_action would affect future compilation messages, but for those
+-- modules we have cached ModSummaries for, we'll continue to use the
+-- old log_action.  This is definitely wrong (#7478).
+--
+-- Hence, we invalidate the ModSummary cache after changing the
+-- DynFlags.  We do this by tweaking the date on each ModSummary, so
+-- that the next downsweep will think that all the files have changed
+-- and preprocess them again.  This won't necessarily cause everything
+-- to be recompiled, because by the time we check whether we need to
+-- recopmile a module, we'll have re-summarised the module and have a
+-- correct ModSummary.
+--
+invalidateModSummaryCache :: GhcMonad m = m ()
+invalidateModSummaryCache =
+  modifySession $ \h - h { hsc_mod_graph = map inval (hsc_mod_graph h) }
+ where
+  inval ms = ms { ms_hs_date = addUTCTime (-1) (ms_hs_date ms) }
+
 -- | Returns the program 'DynFlags'.
 getProgramDynFlags :: GhcMonad m = m DynFlags
 getProgramDynFlags = getSessionDynFlags



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: testsuite] master: add test for #7478 (fd681c4)

2012-12-07 Thread Simon Marlow
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/fd681c4ff2f82c7d40ed09ec6dd8d39577ab9f24

---

commit fd681c4ff2f82c7d40ed09ec6dd8d39577ab9f24
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 12:08:28 2012 +

add test for #7478

---

 tests/ghc-api/T7478/A.hs |6 
 tests/ghc-api/T7478/B.hs |4 ++
 tests/ghc-api/T7478/C.hs |4 ++
 tests/ghc-api/T7478/Makefile |   11 +++
 tests/ghc-api/T7478/T7478.hs |   61 ++
 tests/ghc-api/T7478/T7478.stdout |8 +
 tests/ghc-api/T7478/all.T|2 +
 7 files changed, 96 insertions(+), 0 deletions(-)

diff --git a/tests/ghc-api/T7478/A.hs b/tests/ghc-api/T7478/A.hs
new file mode 100644
index 000..bea1b1a
--- /dev/null
+++ b/tests/ghc-api/T7478/A.hs
@@ -0,0 +1,6 @@
+module Main where
+
+import B
+
+main :: IO ()
+main = B.b  42
diff --git a/tests/ghc-api/T7478/B.hs b/tests/ghc-api/T7478/B.hs
new file mode 100644
index 000..2c71d18
--- /dev/null
+++ b/tests/ghc-api/T7478/B.hs
@@ -0,0 +1,4 @@
+module B where
+
+b :: IO ()
+b = return ()
diff --git a/tests/ghc-api/T7478/C.hs b/tests/ghc-api/T7478/C.hs
new file mode 100644
index 000..d82a4bd
--- /dev/null
+++ b/tests/ghc-api/T7478/C.hs
@@ -0,0 +1,4 @@
+module Main where
+
+main :: IO ()
+main = return ()
diff --git a/tests/ghc-api/T7478/Makefile b/tests/ghc-api/T7478/Makefile
new file mode 100644
index 000..1afb16d
--- /dev/null
+++ b/tests/ghc-api/T7478/Makefile
@@ -0,0 +1,11 @@
+TOP=../../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/test.mk
+
+clean:
+   rm -f *.o *.hi
+
+T7478: clean
+   '$(TEST_HC)' $(TEST_HC_OPTS) --make -v0 -package ghc T7478.hs
+   ./T7478 `'$(TEST_HC)' $(TEST_HC_OPTS) --print-libdir | tr -d '\r'`
+
diff --git a/tests/ghc-api/T7478/T7478.hs b/tests/ghc-api/T7478/T7478.hs
new file mode 100644
index 000..15c3559
--- /dev/null
+++ b/tests/ghc-api/T7478/T7478.hs
@@ -0,0 +1,61 @@
+{-# LANGUAGE NamedFieldPuns #-}
+module Main (main) where
+
+import Data.List ((\\))
+import Control.Monad (void)
+import System.Environment
+
+import GHC
+import qualified Config as GHC
+import qualified Outputable as GHC
+import GhcMonad (liftIO)
+import Outputable (PprStyle, qualName, qualModule)
+
+compileInGhc :: [FilePath]  -- ^ Targets
+ - (String - IO ())   -- ^ handler for each SevOutput message
+ - Ghc ()
+compileInGhc targets handlerOutput = do
+-- Set flags
+flags0 - getSessionDynFlags
+let flags = flags0 {verbosity = 1, log_action = collectSrcError 
handlerOutput}
+setSessionDynFlags flags
+-- Set up targets.
+oldTargets - getTargets
+let oldFiles = map fileFromTarget oldTargets
+mapM_ addSingle (targets \\ oldFiles)
+mapM_ (removeTarget . targetIdFromFile) $ oldFiles \\ targets
+-- Load modules to typecheck
+void $ load LoadAllTargets
+  where
+targetIdFromFile file = TargetFile file Nothing
+
+addSingle filename =
+  addTarget Target
+{ targetId   = targetIdFromFile filename
+, targetAllowObjCode = True
+, targetContents = Nothing
+}
+
+fileFromTarget Target{targetId} =
+  case targetId of
+TargetFile file Nothing - file
+_ - error fileFromTarget: not a known target
+
+collectSrcError handlerOutput flags SevOutput _srcspan style msg
+  = handlerOutput $ GHC.showSDocForUser flags (qualName style,qualModule 
style) msg
+collectSrcError _ _ _ _ _ _
+  = return ()
+
+main :: IO ()
+main = do
+  [libdir] - getArgs
+  runGhc (Just libdir) $ do
+
+  liftIO $ putStrLn - 0 --
+  compileInGhc [A.hs, B.hs] $ \msg - print (0 :: Int, msg)
+
+  liftIO $ putStrLn - 1 --
+  compileInGhc [A.hs, B.hs] $ \msg - print (1 :: Int, msg)
+
+  liftIO $ putStrLn - 2 --
+  compileInGhc [C.hs] $ \msg - print (2 :: Int, msg)
diff --git a/tests/ghc-api/T7478/T7478.stdout b/tests/ghc-api/T7478/T7478.stdout
new file mode 100644
index 000..372cf9b
--- /dev/null
+++ b/tests/ghc-api/T7478/T7478.stdout
@@ -0,0 +1,8 @@
+- 0 --
+(0,[1 of 2] Compiling B( B.hs, B.o ))
+(0,[2 of 2] Compiling Main ( A.hs, A.o ))
+- 1 --
+(1,[2 of 2] Compiling Main ( A.hs, A.o ))
+- 2 --
+(2,[1 of 1] Compiling Main ( C.hs, C.o ))
+(2,Linking A ...)
diff --git a/tests/ghc-api/T7478/all.T b/tests/ghc-api/T7478/all.T
new file mode 100644
index 000..5ba40f0
--- /dev/null
+++ b/tests/ghc-api/T7478/all.T
@@ -0,0 +1,2 @@
+test('T7478', extra_clean(['A','A.exe','B.o','B.hi','C.o','C.hi']), 
run_command, ['$MAKE -s --no-print-directory T7478'])
+



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org

[commit: testsuite] master: delete stray file (e0ba47a)

2012-12-07 Thread Simon Marlow
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/e0ba47a68f095a8f563eaab9717754ec0fd8761c

---

commit e0ba47a68f095a8f563eaab9717754ec0fd8761c
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 12:08:37 2012 +

delete stray file

---

 0 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/T5545.stdout b/tests/ghci/T5545.stdout
deleted file mode 100644
index e69de29..000



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


transformers and GHC

2012-12-07 Thread Ian Lynagh

Hi Ross and other GHC folk,

Currently, we build transformers in a GHC tree, but we don't ship and
install it. However, the ghc library redefines

class Monad m = MonadIO m where
liftIO :: IO a - m a

which seems a little silly, and means that a client of both the GHC API
and other libraries may need to use 2 different MonadIO/liftIO's.

So I propose we start shipping transformers with GHC, and get rid of
GHC's MonadIO class. The main argument against shipping libraries with
GHC in general is that it effectively means end users don't get new
releases of the library until there is a new GHC release out, but
transformers is so stable (notwithstanding the current libraries@
proposal) that I don't think that's much of an issue in this case.

What do you think?


Thanks
Ian


___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: The end of an era, and the dawn of a new one

2012-12-07 Thread Ian Lynagh
On Thu, Dec 06, 2012 at 01:49:32PM -0800, David Terei wrote:
 I think that sounds too involved. How many maintainers would we really
 be looking at at this point? I think only around 5 - 10 really. So a
 single file in the root seems easiest.

A wiki page feels like a more appropriate place to me, because generally
you want to know who the current owner is, rather than who the owner was
at the time your tree is from (if you're looking at the GHC 7.4 tarball,
or if you've gone back in the git history).

Updating a wiki page would also feel lighter-weight to me, so perhaps it
would be easier to keep up-to-date.

We might also have owners of things that aren't in the code tree, e.g.
the website, trac, and the mailing lists.

Either way, perhaps the best way forward would be for someone to bring
http://hackage.haskell.org/trac/ghc/wiki/Contributors
up-to-date. We could also rename it to Owners if we stick with a wiki
page. It's currently linked as The GHC Team from the
http://www.haskell.org/ghc/
site, and as GHC Contributors from the
http://hackage.haskell.org/trac/ghc/
site.


Thanks
Ian


___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: sync-all doesn't

2012-12-07 Thread Ian Lynagh
On Wed, Nov 28, 2012 at 04:19:20PM -0800, Bryan O'Sullivan wrote:
 
 Cloning into 'libraries/terminfo'...
 Clone of 'http://darcs.haskell.org/libraries/terminfo.git/' into submodule
 path 'libraries/terminfo' failed
 git failed: 256 at ./sync-all line 178.
 
 I was eventually able to get all the necessary bits by running sync-all
 get about a dozen times in succession. Is this expected?

I haven't seen that. I wonder if it could have been cause by network
problems.


Thanks
Ian


___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Detabbing (e415777)

2012-12-07 Thread José Pedro Magalhães
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/e415777cc4efadaba4c4fe80f86f53e8b2b77e8c

---

commit e415777cc4efadaba4c4fe80f86f53e8b2b77e8c
Author: Jose Pedro Magalhaes j...@cs.ox.ac.uk
Date:   Fri Dec 7 08:55:41 2012 +

Detabbing

---

 compiler/typecheck/TcGenGenerics.lhs |4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcGenGenerics.lhs 
b/compiler/typecheck/TcGenGenerics.lhs
index fbb600c..d1746fe 100644
--- a/compiler/typecheck/TcGenGenerics.lhs
+++ b/compiler/typecheck/TcGenGenerics.lhs
@@ -294,7 +294,7 @@ canDoGenerics1_w rep_tc
 
 check_vanilla :: DataCon - Maybe SDoc
 check_vanilla con | isVanillaDataCon con = Nothing
- | otherwise= Just (bad con existential)
+  | otherwise= Just (bad con existential)
 
 -- the Bool is if the parameter occurs in the type
 ft_check :: DataCon - FFoldType (Bool, S.State [Name] (Maybe SDoc))
@@ -306,7 +306,7 @@ canDoGenerics1_w rep_tc
 -- applications, so we must compensate with extra logic
 -- to ensure that the variable only occurs as the last
 -- argument.
- , ft_fun = \x y - if fst x then (True, return $ Just $ 
bad con wrong_arg)
+  , ft_fun = \x y - if fst x then (True, return $ Just $ 
bad con wrong_arg)
  else x `bmplus` y
   , ft_tup = \_ xs -
   if not (null xs)  any fst (init xs)



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] ghc-7.6: fix code in library initialisation example (#7471) (723570d)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/723570dab0384e295ced98089703060fce52e616

---

commit 723570dab0384e295ced98089703060fce52e616
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 10:35:40 2012 +

fix code in library initialisation example (#7471)

---

 docs/users_guide/ffi-chap.xml |   28 
 1 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index e778c03..a2fe177 100644
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -446,21 +446,25 @@ typedef enum {
   implemented in C or C++.  For example:/para
 
 programlisting
- HsBool mylib_init(void){
-   int argc = ...
-   char *argv[] = ...
+#include lt;stdlib.hgt;
+#include HsFFI.h
+
+HsBool mylib_init(void){
+  int argc = 2;
+  char *argv[] = { +RTS, -A32m, NULL };
+  char **pargv = argv;
 
-   // Initialize Haskell runtime
-   hs_init(amp;argc, amp;argv);
+  // Initialize Haskell runtime
+  hs_init(amp;argc, amp;pargv);
 
-   // do any other initialization here and
-   // return false if there was a problem
-   return HS_BOOL_TRUE;
- }
+  // do any other initialization here and
+  // return false if there was a problem
+  return HS_BOOL_TRUE;
+}
 
- void mylib_end(void){
-   hs_exit();
- }
+void mylib_end(void){
+  hs_exit();
+}
 /programlisting
 
 paraThe initialisation routine, literalmylib_init/literal, calls



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] ghc-7.6: Invalidate the ModSummary cache in setSessionDynFlags (#7478) (16ba757)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/16ba75714cc22aeb86425679ad24b996a2b30fea

---

commit 16ba75714cc22aeb86425679ad24b996a2b30fea
Author: Simon Marlow marlo...@gmail.com
Date:   Fri Dec 7 12:05:29 2012 +

Invalidate the ModSummary cache in setSessionDynFlags (#7478)

---

 compiler/main/GHC.hs |   27 +++
 1 files changed, 27 insertions(+), 0 deletions(-)

diff --git a/compiler/main/GHC.hs b/compiler/main/GHC.hs
index b1cc786..82d5a8a 100644
--- a/compiler/main/GHC.hs
+++ b/compiler/main/GHC.hs
@@ -498,6 +498,7 @@ setSessionDynFlags dflags = do
   (dflags', preload) - liftIO $ initPackages dflags
   modifySession $ \h - h{ hsc_dflags = dflags'
  , hsc_IC = (hsc_IC h){ ic_dflags = dflags' } }
+  invalidateModSummaryCache
   return preload
 
 -- | Sets the program 'DynFlags'.
@@ -505,8 +506,34 @@ setProgramDynFlags :: GhcMonad m = DynFlags - m 
[PackageId]
 setProgramDynFlags dflags = do
   (dflags', preload) - liftIO $ initPackages dflags
   modifySession $ \h - h{ hsc_dflags = dflags' }
+  invalidateModSummaryCache
   return preload
 
+-- When changing the DynFlags, we want the changes to apply to future
+-- loads, but without completely discarding the program.  But the
+-- DynFlags are cached in each ModSummary in the hsc_mod_graph, so
+-- after a change to DynFlags, the changes would apply to new modules
+-- but not existing modules; this seems undesirable.
+--
+-- Furthermore, the GHC API client might expect that changing
+-- log_action would affect future compilation messages, but for those
+-- modules we have cached ModSummaries for, we'll continue to use the
+-- old log_action.  This is definitely wrong (#7478).
+--
+-- Hence, we invalidate the ModSummary cache after changing the
+-- DynFlags.  We do this by tweaking the date on each ModSummary, so
+-- that the next downsweep will think that all the files have changed
+-- and preprocess them again.  This won't necessarily cause everything
+-- to be recompiled, because by the time we check whether we need to
+-- recopmile a module, we'll have re-summarised the module and have a
+-- correct ModSummary.
+--
+invalidateModSummaryCache :: GhcMonad m = m ()
+invalidateModSummaryCache =
+  modifySession $ \h - h { hsc_mod_graph = map inval (hsc_mod_graph h) }
+ where
+  inval ms = ms { ms_hs_date = addUTCTime (-1) (ms_hs_date ms) }
+
 -- | Returns the program 'DynFlags'.
 getProgramDynFlags :: GhcMonad m = m DynFlags
 getProgramDynFlags = getSessionDynFlags



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] ghc-7.6: Stop attempting to trim data types in interface files (1183080)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/1183080b1b45dbcaa6af1154e2e668f924598772

---

commit 1183080b1b45dbcaa6af1154e2e668f924598772
Author: Simon Peyton Jones simo...@microsoft.com
Date:   Thu Dec 6 16:03:16 2012 +

Stop attempting to trim data types in interface files

Without -O, we previously tried to make interface files smaller
by not including the data constructors of data types.  But
there are a lot of exceptions, notably when Template Haskell is
involved or, more recently, DataKinds.

However Trac #7445 shows that even without TemplateHaskell, using
the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ
is enough to require us to expose the data constructors.

So I've given up on this optimisation -- it's probably not
important anyway.  Now I'm simply not attempting to trim off
the data constructors.  The gain in simplicity is worth the
modest cost in interface file growth, which is limited to the
bits reqd to describe those data constructors.

Conflicts:
compiler/main/TidyPgm.lhs

 compiler/main/TidyPgm.lhs |  207 -
 1 files changed, 109 insertions(+), 98 deletions(-)


Diff suppressed because of size. To see it, use:

git show 1183080b1b45dbcaa6af1154e2e668f924598772

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] ghc-7.6: Release notes update (90bf23c)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/90bf23c12531ed1ca8f9309fae0321210959a643

---

commit 90bf23c12531ed1ca8f9309fae0321210959a643
Author: Ian Lynagh i...@well-typed.com
Date:   Fri Dec 7 15:47:55 2012 +

Release notes update

---

 docs/users_guide/7.6.2-notes.xml |8 
 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/docs/users_guide/7.6.2-notes.xml b/docs/users_guide/7.6.2-notes.xml
index 54c96e3..c1977d3 100644
--- a/docs/users_guide/7.6.2-notes.xml
+++ b/docs/users_guide/7.6.2-notes.xml
@@ -145,6 +145,14 @@
 involving primops has been fixed.
   /para
/listitem
+
+   listitem
+  para
+The GHC API now consistently uses new
+literalDynFlags/literal which are set with
+literalsetSessionDynFlags/literal.
+  /para
+   /listitem
 /itemizedlist
   /sect2
 



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Document -funbox-strict-primitive-fields (4f7027d)

2012-12-07 Thread Johan Tibell
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/4f7027d6947af9c5cdecc0c18097268594c4592b

---

commit 4f7027d6947af9c5cdecc0c18097268594c4592b
Author: Johan Tibell johan.tib...@gmail.com
Date:   Fri Dec 7 09:00:04 2012 -0800

Document -funbox-strict-primitive-fields

---

 docs/users_guide/flags.xml |8 
 docs/users_guide/using.xml |   25 +
 2 files changed, 33 insertions(+), 0 deletions(-)

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 0e7ed23..d433dcb 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1740,6 +1740,14 @@
   /row
 
   row
+entryoption-funbox-strict-primitive-fields/option/entry
+entryFlatten strict constructor fields with a
+  pointer-sized representation/entry
+entrydynamic/entry
+entryoption-fno-unbox-strict-primitive-fields/option/entry
+  /row
+
+  row
 entryoption-funfolding-creation-threshold/option/entry
 entryTweak unfolding settings/entry
 entrydynamic/entry
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index c3a1366..fb1a7cc 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -1862,6 +1862,31 @@ f 2= 2
 
 varlistentry
   term
+option-funbox-strict-primitive-fields/option:
+
indextermprimaryoption-funbox-strict-primitive-fields/option/primary/indexterm
+indextermprimarystrict constructor fields/primary/indexterm
+indextermprimaryconstructor fields, 
strict/primary/indexterm
+  /term
+  listitem
+paraThis option causes all constructor fields which are marked
+strict (i.e. ldquo;!rdquo;) and which representation is smaller 
or
+equal to the size of a pointer to be unpacked if possible. It is
+equivalent to adding an literalUNPACK/literal pragma to every
+strict constructor field that fullfills the size restriction. (see
+xref linkend=unpack-pragma/).
+/para
+
+paraThis option is less of a sledgehammer than
+option-funbox-strict-fields/option: it should rarely make 
things
+worse. If you use option-funbox-strict-primitive-fields/option
+to turn on unboxing by default you can disable it for certain
+constructor fields using the literalNOUNPACK/literal pragma 
(see
+xref linkend=nounpack-pragma/)./para
+  /listitem
+/varlistentry
+
+varlistentry
+  term
 option-fspec-constr/option
 
indextermprimaryoption-fspec-constr/option/primary/indexterm
   /term



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: testsuite] master: Move UnboxStrictPrimitiveFields.hs to the right directory (56036c9)

2012-12-07 Thread Johan Tibell
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/56036c90222965ee248588ebf45bab93d2187959

---

commit 56036c90222965ee248588ebf45bab93d2187959
Author: Johan Tibell johan.tib...@gmail.com
Date:   Fri Dec 7 10:17:34 2012 -0800

Move UnboxStrictPrimitiveFields.hs to the right directory

---

 .../should_compile/UnboxStrictPrimitiveFields.hs   |0 
 1 files changed, 0 insertions(+), 0 deletions(-)

diff --git 
a/tests/ghc-regress/typecheck/should_compile/UnboxStrictPrimitiveFields.hs 
b/tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs
similarity index 100%
rename from 
tests/ghc-regress/typecheck/should_compile/UnboxStrictPrimitiveFields.hs
rename to tests/typecheck/should_compile/UnboxStrictPrimitiveFields.hs



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: [commit: testsuite] master: Add test for -funbox-strict-primitive-fields (b2c5047)

2012-12-07 Thread Johan Tibell
On Fri, Dec 7, 2012 at 3:23 AM, Simon Marlow marlo...@gmail.com wrote:
 I don't think you wanted to add this file to
 tests/ghc-regress/typecheck/..., it should go in tests/typecheck/...

Fixed. I must have had an old testsuite tree at some point because we
don't seem to use the ghc-regress/ dir anymore.

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[nightly] 07-Dec-2012 build of HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)

2012-12-07 Thread GHC Build Reports
Build description = HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)
Build location= /64playpen/simonmar/nightly/HEAD-unreg-cam-04-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-unreg-cam-04-unx

Nightly build started on cam-04-unx at Fri Dec 7 18:20:01 GMT 2012.
 checking out new source tree ... warning: libraries/xhtml 
already present; omitting
Submodule 'libraries/Cabal' (http://darcs.haskell.org/libraries/Cabal.git/) 
registered for path 'libraries/Cabal'
Submodule 'libraries/Win32' (http://darcs.haskell.org/libraries/Win32.git/) 
registered for path 'libraries/Win32'
Submodule 'libraries/binary' (http://darcs.haskell.org/libraries/binary.git/) 
registered for path 'libraries/binary'
Submodule 'libraries/bytestring' 
(http://darcs.haskell.org/libraries/bytestring.git/) registered for path 
'libraries/bytestring'
Submodule 'libraries/containers' 
(http://darcs.haskell.org/libraries/containers.git/) registered for path 
'libraries/containers'
Submodule 'libraries/haskeline' 
(http://darcs.haskell.org/libraries/haskeline.git/) registered for path 
'libraries/haskeline'
Submodule 'libraries/pretty' (http://darcs.haskell.org/libraries/pretty.git/) 
registered for path 'libraries/pretty'
Submodule 'libraries/primitive' 
(http://darcs.haskell.org/libraries/primitive.git/) registered for path 
'libraries/primitive'
Submodule 'libraries/terminfo' 
(http://darcs.haskell.org/libraries/terminfo.git/) registered for path 
'libraries/terminfo'
Submodule 'libraries/time' (http://darcs.haskell.org/libraries/time.git/) 
registered for path 'libraries/time'
Submodule 'libraries/transformers' 
(http://darcs.haskell.org/libraries/transformers.git/) registered for path 
'libraries/transformers'
Submodule 'libraries/vector' (http://darcs.haskell.org/libraries/vector.git/) 
registered for path 'libraries/vector'
Submodule 'libraries/xhtml' (http://darcs.haskell.org/libraries/xhtml.git/) 
registered for path 'libraries/xhtml'
Cloning into 'libraries/Cabal'...
Submodule path 'libraries/Cabal': checked out 
'4b43bd95753e5f3e29d7bfbe6bba8477715ac296'
Cloning into 'libraries/Win32'...
Submodule path 'libraries/Win32': checked out 
'21335a30161c099da79ae9619c9782e5e32e4644'
Cloning into 'libraries/binary'...
Submodule path 'libraries/binary': checked out 
'2d31cea238d0d08885c457475fc354dbf2b88976'
Cloning into 'libraries/bytestring'...
Submodule path 'libraries/bytestring': checked out 
'6bd69fe27af33e878e38f4c579983f6a23120a87'
Cloning into 'libraries/containers'...
Submodule path 'libraries/containers': checked out 
'a9b7224068ae60f73baacd5f76d2c27624d90120'
Cloning into 'libraries/haskeline'...
Submodule path 'libraries/haskeline': checked out 
'6ee5fc8ccdee410486a826cadfb2a0a560d60506'
Cloning into 'libraries/pretty'...
Submodule path 'libraries/pretty': checked out 
'ab7e8d91470bb94c9e184dffbec89d0aae116f9b'
Cloning into 'libraries/primitive'...
error: Request for 98e8c475a03b4d9c5af270ab82b4dce6266c5454 aborted
error: Unable to find 98e8c475a03b4d9c5af270ab82b4dce6266c5454 under 
http://darcs.haskell.org/libraries/primitive.git
Cannot obtain needed tree 98e8c475a03b4d9c5af270ab82b4dce6266c5454
while processing commit 066f71e3b7ff74f4a4a3d11b665accf44338d08a.
error: Fetch failed.
Clone of 'http://darcs.haskell.org/libraries/primitive.git/' into submodule 
path 'libraries/primitive' failed
git failed: 256 at ./sync-all line 178.

ATTENTION!

You have an old time package in your GHC tree!

Please remove it (e.g. rm -r libraries/time), and then run
./sync-all get to get the new repository.

Nightly run ended at Fri Dec 7 18:21:22 GMT 2012

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Pessimistically assume that unknown arches can't do unaligned loads (b85a849)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b85a849bce3f7db858a7debebbaff04cdfec6b1d

---

commit b85a849bce3f7db858a7debebbaff04cdfec6b1d
Author: Ian Lynagh i...@well-typed.com
Date:   Fri Dec 7 16:15:24 2012 +

Pessimistically assume that unknown arches can't do unaligned loads

---

 compiler/cmm/PprC.hs |3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/compiler/cmm/PprC.hs b/compiler/cmm/PprC.hs
index f323097..927f7eb 100644
--- a/compiler/cmm/PprC.hs
+++ b/compiler/cmm/PprC.hs
@@ -1001,6 +1001,9 @@ cLoad expr rep
   bewareLoadStoreAlignment ArchMipseb   = True
   bewareLoadStoreAlignment ArchMipsel   = True
   bewareLoadStoreAlignment (ArchARM {}) = True
+  -- Pessimistically assume that they will also cause problems
+  -- on unknown arches
+  bewareLoadStoreAlignment ArchUnknown  = True
   bewareLoadStoreAlignment _= False
 
 isCmmWordType :: DynFlags - CmmType - Bool



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc (c1c2d84)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/c1c2d849789fac798923364ea75316ee73fce101

---

commit c1c2d849789fac798923364ea75316ee73fce101
Merge: 86e2a2a... 4f7027d...
Author: Ian Lynagh i...@well-typed.com
Date:   Fri Dec 7 18:38:29 2012 +

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

 compiler/typecheck/TcGenGenerics.lhs |4 ++--
 docs/users_guide/flags.xml   |8 
 docs/users_guide/using.xml   |   25 +
 3 files changed, 35 insertions(+), 2 deletions(-)



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Don't set -O0 -g C flags when -debug is given (86e2a2a)

2012-12-07 Thread Ian Lynagh
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/86e2a2a4853fcb7fb4a16c0890d7ff5c87bb4577

---

commit 86e2a2a4853fcb7fb4a16c0890d7ff5c87bb4577
Author: Ian Lynagh i...@well-typed.com
Date:   Fri Dec 7 18:36:54 2012 +

Don't set -O0 -g C flags when -debug is given

-debug now only determines whether or not a debug RTS is linked in.
To get main() with debugging symbols you need to explicitly say
-optc-O0 -optc-g

---

 compiler/main/DynFlags.hs |2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 1c47d6d..b4edef1 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -1062,7 +1062,7 @@ wayOptc platform WayThreaded = case platformOS platform of
OSOpenBSD - [-pthread]
OSNetBSD  - [-pthread]
_ - []
-wayOptc _ WayDebug  = [-O0, -g]
+wayOptc _ WayDebug  = []
 wayOptc _ WayDyn= []
 wayOptc _ WayProf   = [-DPROFILING]
 wayOptc _ WayEventLog   = [-DTRACING]



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Minor twiddle to -funbox-strict-primitive-fields docs (7bf6eb9)

2012-12-07 Thread Johan Tibell
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/7bf6eb9a86c160a54ea3df553ade040d5c37c627

---

commit 7bf6eb9a86c160a54ea3df553ade040d5c37c627
Author: Johan Tibell johan.tib...@gmail.com
Date:   Fri Dec 7 11:56:51 2012 -0800

Minor twiddle to -funbox-strict-primitive-fields docs

---

 docs/users_guide/using.xml |   13 ++---
 1 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index fb1a7cc..918176f 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -1871,9 +1871,9 @@ f 2= 2
 paraThis option causes all constructor fields which are marked
 strict (i.e. ldquo;!rdquo;) and which representation is smaller 
or
 equal to the size of a pointer to be unpacked if possible. It is
-equivalent to adding an literalUNPACK/literal pragma to every
-strict constructor field that fullfills the size restriction. (see
-xref linkend=unpack-pragma/).
+equivalent to adding an literalUNPACK/literal pragma (see xref
+linkend=unpack-pragma/) to every strict constructor field that
+fullfills the size restriction.
 /para
 
 paraThis option is less of a sledgehammer than
@@ -1882,6 +1882,13 @@ f 2= 2
 to turn on unboxing by default you can disable it for certain
 constructor fields using the literalNOUNPACK/literal pragma 
(see
 xref linkend=nounpack-pragma/)./para
+
+para
+Note that for consistency literalDouble/literal,
+literalWord64/literal, and literalInt64/literal constructor
+fields are unpacked on 32-bit platforms, even though they are
+technically larger than a pointer on those platforms.
+/para
   /listitem
 /varlistentry
 



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: ghc] master: Refactor primitive field unpacking check (1435eef)

2012-12-07 Thread Johan Tibell
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/1435eef2422d3f9120b9bafb3fa497b0c505055d

---

commit 1435eef2422d3f9120b9bafb3fa497b0c505055d
Author: Johan Tibell johan.tib...@gmail.com
Date:   Fri Dec 7 14:08:21 2012 -0800

Refactor primitive field unpacking check

---

 compiler/typecheck/TcTyClsDecls.lhs |   47 ++
 1 files changed, 25 insertions(+), 22 deletions(-)

diff --git a/compiler/typecheck/TcTyClsDecls.lhs 
b/compiler/typecheck/TcTyClsDecls.lhs
index a760601..f49a663 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -37,7 +37,6 @@ import TcClassDcl
 import TcHsType
 import TcMType
 import TcType
-import qualified TysPrim
 import TysWiredIn( unitTy )
 import Type
 import Kind
@@ -1251,8 +1250,8 @@ chooseBoxingStrategy dflags arg_ty bang
 Just (arg_tycon, _)
   | isAbstractTyCon arg_tycon - False
   -- See Note [Don't complain about UNPACK on abstract 
TyCons]
-  | isPrimTyCon arg_tycon 
-arg_tycon `elem` ptrSizedPrimTyCons - True
+  | isPrimTyCon arg_tycon  hasPtrSizedRep (tyConPrimRep 
arg_tycon)
+  - True
   -- TODO: Check that the PrimTyCon corresponds to a type
   -- with pointer-sized representation.
   | isEmptyDataTyCon arg_tycon - True
@@ -1261,25 +1260,22 @@ chooseBoxingStrategy dflags arg_ty bang
   - can_unbox_prim ty
   | otherwise - False
 
-ptrSizedPrimTyCons :: [TyCon]
-ptrSizedPrimTyCons =
-[ TysPrim.addrPrimTyCon
-, TysPrim.arrayPrimTyCon
-, TysPrim.byteArrayPrimTyCon
-, TysPrim.arrayArrayPrimTyCon
-, TysPrim.charPrimTyCon
-, TysPrim.doublePrimTyCon
-, TysPrim.floatPrimTyCon
-, TysPrim.intPrimTyCon
-, TysPrim.int32PrimTyCon
-, TysPrim.int64PrimTyCon
-, TysPrim.mutableArrayPrimTyCon
-, TysPrim.mutableByteArrayPrimTyCon
-, TysPrim.mutableArrayArrayPrimTyCon
-, TysPrim.wordPrimTyCon
-, TysPrim.word32PrimTyCon
-, TysPrim.word64PrimTyCon
-]
+
+-- | Return True if representation can be considered pointer-sized (or
+-- smaller) in the context of unpacking.
+hasPtrSizedRep :: PrimRep - Bool
+-- We explicitly enumerate the PrimReps so that if another PrimRep is
+-- ever added we'll get a pattern match warning which will make sure
+-- we consider the new case here:
+hasPtrSizedRep IntRep   = True
+hasPtrSizedRep WordRep  = True
+hasPtrSizedRep Int64Rep = True  -- See Note [Primitive size exception]
+hasPtrSizedRep Word64Rep= True  -- See Note [Primitive size exception]
+hasPtrSizedRep FloatRep = True  -- NB. might not take a full word
+hasPtrSizedRep DoubleRep= True  -- See Note [Primitive size exception]
+hasPtrSizedRep AddrRep  = True
+hasPtrSizedRep PtrRep   = True
+hasPtrSizedRep VoidRep  = True
 
 \end{code}
 
@@ -1307,6 +1303,13 @@ But it's the *argument* type that matters. This is fine:
data S = MkS S !Int
 because Int is non-recursive.
 
+Note [Primitive size exception]
+~~~
+For consistency reasons we make an exception to the size requirement
+for Doubles, Word64s, and Int64s on 32-bit architectures. Not doing so
+might have surprising performance implications if code is moved from a
+64-bit to a 32-bit architecture.
+
 
 %
 %* *



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: haddock] ghc-7.6: Update CHANGES (3d25ea2)

2012-12-07 Thread Simon Hengel
Repository : ssh://darcs.haskell.org//srv/darcs/haddock

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/3d25ea2929a9a9bd0768339b8ac5fd1b7c4670ad

---

commit 3d25ea2929a9a9bd0768339b8ac5fd1b7c4670ad
Author: Simon Hengel s...@typeful.net
Date:   Fri Dec 7 20:28:52 2012 +0100

Update CHANGES

---

 CHANGES |   11 +++
 1 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/CHANGES b/CHANGES
index e68c8f9..51bb929 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,14 @@
+Changes in version 2.13.2
+
+ * Handle HsExplicitListTy in renameer (#213)
+
+ * Allow haddock markup in deprecation messages
+
+ * Export more types from Documentation.Haddock
+
+ * Include everything that is required to run the test suite with the cabal
+   package (#230)
+
 Changes in version 2.13.1
 
  * Hide instances that are internal to a module



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: haddock] ghc-7.6: Add missing test files to cabal file (fixes #230) (d78561d)

2012-12-07 Thread Simon Hengel
Repository : ssh://darcs.haskell.org//srv/darcs/haddock

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/d78561d560b55114011d56168dafba00cb4d1f2f

---

commit d78561d560b55114011d56168dafba00cb4d1f2f
Author: Simon Hengel s...@typeful.net
Date:   Fri Dec 7 20:19:31 2012 +0100

Add missing test files to cabal file (fixes #230)

---

 haddock.cabal |9 ++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/haddock.cabal b/haddock.cabal
index 06a8536..2c102bc 100644
--- a/haddock.cabal
+++ b/haddock.cabal
@@ -29,9 +29,8 @@ extra-source-files:
   haddock.spec
   haskell.vim
   src/haddock.sh
--- The test files shouldn't have to go here, but the source files for
--- the test-suite stanzas don't get picked up by `cabal sdist`.
-  tests/html-test/run.lhs
+  html-test/src/*.hs
+  html-test/ref/*.html
 
 data-dir:   resources
 data-files: html/frames.html
@@ -199,6 +198,10 @@ test-suite spec
 , test/nanospec
 , src
 
+  other-modules:
+  Test.Hspec
+  Haddock.ParseSpec
+
   build-depends:
   base
 , ghc



___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[commit: haddock] ghc-7.6: Bump version (e2c75d4)

2012-12-07 Thread Simon Hengel
Repository : ssh://darcs.haskell.org//srv/darcs/haddock

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/e2c75d48f4dfd4140e977d097a95aa06b614fa24

---

commit e2c75d48f4dfd4140e977d097a95aa06b614fa24
Author: Simon Hengel s...@typeful.net
Date:   Fri Dec 7 19:52:58 2012 +0100

Bump version

 doc/haddock.xml  |2 +-
 haddock.cabal|2 +-
 haddock.spec |2 +-
 html-test/ref/A.html |2 +-
 html-test/ref/AdvanceTypes.html  |2 +-
 html-test/ref/B.html |2 +-
 html-test/ref/Bug1.html  |2 +-
 html-test/ref/Bug2.html  |2 +-
 html-test/ref/Bug3.html  |2 +-
 html-test/ref/Bug4.html  |2 +-
 html-test/ref/Bug6.html  |2 +-
 html-test/ref/Bug7.html  |2 +-
 html-test/ref/Bug8.html  |2 +-
 html-test/ref/BugDeprecated.html |2 +-
 html-test/ref/BugExportHeadings.html |2 +-
 html-test/ref/Bugs.html  |2 +-
 html-test/ref/CrossPackageDocs.html  |2 +-
 html-test/ref/DeprecatedClass.html   |2 +-
 html-test/ref/DeprecatedData.html|2 +-
 html-test/ref/DeprecatedFunction.html|2 +-
 html-test/ref/DeprecatedFunction2.html   |2 +-
 html-test/ref/DeprecatedFunction3.html   |2 +-
 html-test/ref/DeprecatedModule.html  |2 +-
 html-test/ref/DeprecatedModule2.html |2 +-
 html-test/ref/DeprecatedNewtype.html |2 +-
 html-test/ref/DeprecatedReExport.html|2 +-
 html-test/ref/DeprecatedRecord.html  |2 +-
 html-test/ref/DeprecatedTypeFamily.html  |2 +-
 html-test/ref/DeprecatedTypeSynonym.html |2 +-
 html-test/ref/DeprecationMessageParseError.html  |2 +-
 html-test/ref/Examples.html  |2 +-
 html-test/ref/FunArgs.html   |2 +-
 html-test/ref/GADTRecords.html   |2 +-
 html-test/ref/Hash.html  |2 +-
 html-test/ref/HiddenInstances.html   |2 +-
 html-test/ref/HiddenInstancesB.html  |2 +-
 html-test/ref/Hyperlinks.html|2 +-
 html-test/ref/IgnoreExports.html |2 +-
 html-test/ref/ModuleWithWarning.html |2 +-
 html-test/ref/NamedDoc.html  |2 +-
 html-test/ref/NoLayout.html  |2 +-
 html-test/ref/NonGreedy.html |2 +-
 html-test/ref/Properties.html|2 +-
 html-test/ref/PruneWithWarning.html  |2 +-
 html-test/ref/QuasiExpr.html |2 +-
 html-test/ref/QuasiQuote.html|2 +-
 html-test/ref/SpuriousSuperclassConstraints.html |2 +-
 html-test/ref/TH.html|2 +-
 html-test/ref/TH2.html   |2 +-
 html-test/ref/Test.html  |2 +-
 html-test/ref/Ticket112.html |2 +-
 html-test/ref/Ticket61.html  |2 +-
 html-test/ref/Ticket75.html  |2 +-
 html-test/ref/TypeFamilies.html  |2 +-
 html-test/ref/TypeOperators.html |2 +-
 html-test/ref/Unicode.html   |2 +-
 html-test/ref/Visible.html   |2 +-
 57 files changed, 57 insertions(+), 57 deletions(-)


Diff suppressed because of size. To see it, use:

git show e2c75d48f4dfd4140e977d097a95aa06b614fa24

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


Re: GHC 7.6 failes to build

2012-12-07 Thread Ian Lynagh
On Fri, Dec 07, 2012 at 08:00:19AM +, Simon Peyton-Jones wrote:
 
 I'm not quite getting this.  For all three (random, vector, DPH), are they 
 used at all in the 7.6 branch?  
 
 * If not, that's fine, but we must advertise that 7.6 doesn't work with DPH.
   I think that's ok... 7.8 will come soon with DPH stuff.
 
 * If so, we should surely test them in the 7.6 branch, and that means 
   tagging them, doesn't it?
 
 Do we build 'vector' solely because of DPH?  I think so.  Is the same true of 
 'random'?

vector, random and primitive, yes.

We don't build any of them in the branch so that we are testing that the
build works without them in the tree, and so there is no chance of them
accidentally slipping into the release source tarball or bindists.

We don't make the releases of DPH, so I've been leaving testing with RCs
etc up to the maintainers (i.e. as we do with all the other libraries on
Hackage).


Thanks
Ian


___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


am-deb7-64 (HEAD), build 262, Success

2012-12-07 Thread Builder
am-deb7-64 (HEAD), build 262

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/262.html

git clone| Success
create mk/build.mk   | Success
get subrepos | Success
repo versions| Success
touching clean-check files   | Success
setting version date | Success
booting  | Success
configuring  | Success
creating check-remove-before | Success
compiling| Success
creating check-remove-after  | Success
compiling testremove | Success
simulating clean | Success
checking clean   | Success
making bindist   | Success
testing bindist  | Success
testing  | Success
testsuite summary| Success

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/262.html

File not deleted:compiler/ghc.cabal.old
File not deleted:includes/dist-derivedconstants
File not deleted:includes/dist-derivedconstants/header
File not deleted:includes/dist-derivedconstants/header/DerivedConstants.h
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellExports.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellType.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellWrappers.hs
File not deleted:includes/dist-derivedconstants/header/platformConstants
File not deleted:includes/dist-derivedconstants/header/tmp.c
File not deleted:includes/dist-derivedconstants/header/tmp.o
File not deleted:inplace
File not deleted:libraries/base/include/EventConfig.h
File not deleted:mk/config.mk.old
File not deleted:mk/project.mk.old
File not deleted:rts/libs.depend
File not deleted:rts/package.conf.inplace
File not deleted:rts/package.conf.inplace.raw

OVERALL SUMMARY for test run started at Wed Dec  5 02:12:10 MSK 2012
3506 total tests, which gave rise to
   11680 test cases, of which
   0 caused framework failures
8509 were skipped

3080 expected passes
  26 had missing libraries
  35 expected failures
  23 unexpected passes
   7 unexpected failures

Unexpected passes:
   codeGen/should_runT7319 (prof)
   profiling/should_compile  2410 (normal)
   profiling/should_compile  prof001 (normal)
   profiling/should_compile  prof002 (normal)
   profiling/should_run  5314 (prof)
   profiling/should_run  T2552 (prof)
   profiling/should_run  T3001 (prof_hb)
   profiling/should_run  T3001-2 (prof_hb)
   profiling/should_run  T5363 (prof)
   profiling/should_run  T5559 (prof)
   profiling/should_run  T680 (prof)
   profiling/should_run  T949 (prof)
   profiling/should_run  callstack001 (prof)
   profiling/should_run  callstack002 (prof)
   profiling/should_run  heapprof001 (prof)
   profiling/should_run  prof-doc-fib (prof)
   profiling/should_run  prof-doc-last (prof)
   profiling/should_run  profinline001 (prof)
   profiling/should_run  scc001 (prof)
   profiling/should_run  scc002 (prof)
   profiling/should_run  scc003 (prof)
   stranal/should_compilenewtype (optasm)
   thTH_spliceE5_prof (normal)

Unexpected failures:
   codeGen/should_run cgrun068 [exit code non-0] (normal)
   ghci/scripts   T5979 [bad stderr] (ghci)
   perf/compiler  T1969 [stat not good enough] (normal)
   perf/haddock   haddock.Cabal [stat not good enough] (normal)
   perf/haddock   haddock.base [stat not good enough] (normal)
   typecheck/should_fail  T5300 [stderr mismatch] (normal)
   typecheck/should_fail  T5691 [stderr mismatch] (normal)

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


[nightly] 07-Dec-2012 build of STABLE on x86_64-unknown-linux (cam-04-unx)

2012-12-07 Thread GHC Build Reports
Build description = STABLE on x86_64-unknown-linux (cam-04-unx)
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 Dec 7 18:10:01 GMT 2012.
 checking out new source tree ... warning: Remote branch 
ghc-7.6 not found in upstream origin, using HEAD instead
ok.
 Building stage 1 compiler... ok.
GHC Version 7.6.1.20121207
 Building stage 2 compiler... ok.
 Building stage 3 compiler... ok.
 building source distribution ... ok.
 uploading source distribution... ok.
 building testsuite tools ... ok.
 running tests... ok (summary below).
 building compiler binary distribution... ok.
 uploading binary distribution... ok.
 running nofib (-rtsopts -O2) ... ok.
 running nofib (-rtsopts -O2 -fllvm)  ... ok.
 running nofib (-rtsopts -O2 -prof -auto-all -static)... ok.
 running nofib (-rtsopts -O2 -prof -auto-all -fllvm -static)... ok.
 publishing logs  ... ok.
Logs  are at http://www.haskell.org/ghc/dist/stable/logs
Dists are at http://www.haskell.org/ghc/dist/stable/dist
Docs  are at http://www.haskell.org/ghc/dist/stable/docs
-
Respository hashes:
.|1183080b1b45dbcaa6af1154e2e668f924598772
ghc-tarballs|18e0c37f8023abf469af991e2fc2d3b024319c27
libraries/Cabal|e7e7ce1029707a67d26e6dc29de11141734898e3
libraries/Win32|e13098aecd0489399435dbf8643e1db2272e1e02
libraries/array|8dcd15240a9c2ba142fcbd31f597b51cf2f560bf
libraries/base|56c8295c638a03676a9be8d34195e6be945ddc2c
libraries/binary|2d31cea238d0d08885c457475fc354dbf2b88976
libraries/bytestring|65e40bdf5b3a2484b36221a71b054e4400361a5f
libraries/containers|a9b7224068ae60f73baacd5f76d2c27624d90120
libraries/deepseq|4821349305c2a73efacdd58d2ba485b07eb84eda
libraries/directory|ef17afe1bd44ae10ef413146e5ade8867cb05625
libraries/filepath|2d60d0dd5d8fc924420bb238902266929f4e2cfb
libraries/ghc-prim|03144fbee792555bfd6de6184228ebaeffed2896
libraries/haskeline|f4040ab5831866c260e03fc8601edf7e1ed77049
libraries/haskell2010|d7e33da36585c250cd0bfb45b518c95e44197f3c
libraries/haskell98|c5a0db5eb4ce6a3736bf4f5caac3ff465b3dbaf9
libraries/hoopl|293d339303097641e7f14a1c0365a3801a87918d
libraries/hpc|c1b783dbbb0ab917208655c53a0af5c7538c2a0b
libraries/integer-gmp|2d9eca147f5c8b6f390eca15e03b315f67f2df01
libraries/integer-simple|47737f6f16d891b743a3d02b0a016100fd3a36d1
libraries/old-locale|47542432234f6fc406a9abf5d3f94e43d9bd10f6
libraries/old-time|cf225c367e5490201a5b04b1b8cb322f6e230d46
libraries/pretty|0a22cc0b3a4f8db876c4019013a30bfd1c0dd9a2
libraries/process|0ab69a65edae8c1a34ecee3a97b3839c833985f2
libraries/template-haskell|db0b4de55926b0bc98717c92ba543bcf9b89d024
libraries/terminfo|579d2c324e69856ff8d1ea8b5036e30c920e1973
libraries/transformers|a59fb93860f84ccd44178dcbbb82cfea7e02cd07
libraries/unix|b08de9ba4b5b6d4dc8ee43302ef99072059b2c01
libraries/utf8-string|73ca1b9def3f350ad28e55fcba077e6be3b67e93
libraries/xhtml|fb9e0bbb69e15873682a9f25d39652099a3ccac1
nofib|14bccff2c547c0e06fe8f98607b9cf18890ef051
testsuite|c96a151e2e48092efe58bfb2ba11aad428480b27
utils/haddock|1d480b49a2d9098993889ca29dd82ef228ae5c0d
utils/hsc2hs|67b8c663216690150b6f762e09b32ebbe6334ddd
-
All done!
Nightly build finished successfully at Sat Dec 8 01:30:52 GMT 2012

- GHC Test summary -

OVERALL SUMMARY for test run started at Fri Dec  7 21:34:17 GMT 2012
3402 total tests, which gave rise to
   16613 test cases, of which
  10 caused framework failures
3563 were skipped

   12537 expected passes
 367 had missing libraries
 131 expected failures
   0 unexpected passes
  15 unexpected failures

Unexpected failures:
   perf/compilerT6048 [stat not good enough] (optasm)
   perf/haddock haddock.Cabal [stat not good enough] (normal)
   perf/haddock haddock.base [stat not good enough] (normal)
   perf/haddock haddock.compiler [stat not good enough] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly01 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly02 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly03 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly04 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly05 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly06 [exit code non-0] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly07 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly08 [stderr mismatch] (normal)
   safeHaskell/check/pkg01  ImpSafeOnly09 

[nightly] 07-Dec-2012 build of HEAD on x86_64-unknown-linux (cam-04-unx)

2012-12-07 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx)
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 Dec 7 18:00:01 GMT 2012.
 checking out new source tree ... warning: libraries/xhtml 
already present; omitting
Submodule 'libraries/Cabal' (http://darcs.haskell.org/libraries/Cabal.git/) 
registered for path 'libraries/Cabal'
Submodule 'libraries/Win32' (http://darcs.haskell.org/libraries/Win32.git/) 
registered for path 'libraries/Win32'
Submodule 'libraries/binary' (http://darcs.haskell.org/libraries/binary.git/) 
registered for path 'libraries/binary'
Submodule 'libraries/bytestring' 
(http://darcs.haskell.org/libraries/bytestring.git/) registered for path 
'libraries/bytestring'
Submodule 'libraries/containers' 
(http://darcs.haskell.org/libraries/containers.git/) registered for path 
'libraries/containers'
Submodule 'libraries/haskeline' 
(http://darcs.haskell.org/libraries/haskeline.git/) registered for path 
'libraries/haskeline'
Submodule 'libraries/pretty' (http://darcs.haskell.org/libraries/pretty.git/) 
registered for path 'libraries/pretty'
Submodule 'libraries/primitive' 
(http://darcs.haskell.org/libraries/primitive.git/) registered for path 
'libraries/primitive'
Submodule 'libraries/terminfo' 
(http://darcs.haskell.org/libraries/terminfo.git/) registered for path 
'libraries/terminfo'
Submodule 'libraries/time' (http://darcs.haskell.org/libraries/time.git/) 
registered for path 'libraries/time'
Submodule 'libraries/transformers' 
(http://darcs.haskell.org/libraries/transformers.git/) registered for path 
'libraries/transformers'
Submodule 'libraries/vector' (http://darcs.haskell.org/libraries/vector.git/) 
registered for path 'libraries/vector'
Submodule 'libraries/xhtml' (http://darcs.haskell.org/libraries/xhtml.git/) 
registered for path 'libraries/xhtml'
Cloning into 'libraries/Cabal'...
Submodule path 'libraries/Cabal': checked out 
'4b43bd95753e5f3e29d7bfbe6bba8477715ac296'
Cloning into 'libraries/Win32'...
Submodule path 'libraries/Win32': checked out 
'21335a30161c099da79ae9619c9782e5e32e4644'
Cloning into 'libraries/binary'...
Submodule path 'libraries/binary': checked out 
'2d31cea238d0d08885c457475fc354dbf2b88976'
Cloning into 'libraries/bytestring'...
Submodule path 'libraries/bytestring': checked out 
'6bd69fe27af33e878e38f4c579983f6a23120a87'
Cloning into 'libraries/containers'...
Submodule path 'libraries/containers': checked out 
'a9b7224068ae60f73baacd5f76d2c27624d90120'
Cloning into 'libraries/haskeline'...
Submodule path 'libraries/haskeline': checked out 
'6ee5fc8ccdee410486a826cadfb2a0a560d60506'
Cloning into 'libraries/pretty'...
Submodule path 'libraries/pretty': checked out 
'ab7e8d91470bb94c9e184dffbec89d0aae116f9b'
Cloning into 'libraries/primitive'...
Submodule path 'libraries/primitive': checked out 
'75c3379b6d76e914cc3c7ffd290b6b1cad7ea3e6'
Cloning into 'libraries/terminfo'...
Submodule path 'libraries/terminfo': checked out 
'579d2c324e69856ff8d1ea8b5036e30c920e1973'
Cloning into 'libraries/time'...
Submodule path 'libraries/time': checked out 
'c98806fe0c9cde7371452ec30fa2900d28d16b16'
Cloning into 'libraries/transformers'...
Submodule path 'libraries/transformers': checked out 
'a59fb93860f84ccd44178dcbbb82cfea7e02cd07'
Cloning into 'libraries/vector'...
Submodule path 'libraries/vector': checked out 
'c4c5a740ec977a4300449bc85f4707ec641be923'
Cloning into 'libraries/xhtml'...
Submodule path 'libraries/xhtml': checked out 
'fb9e0bbb69e15873682a9f25d39652099a3ccac1'
ok.
 Building stage 1 compiler... ok.
GHC Version 7.7.20121207
 Building stage 2 compiler... ok.
 Building stage 3 compiler... ok.
 building source distribution ... ok.
 uploading source distribution... ok.
 building testsuite tools ... ok.
 running tests... ok (summary below).
 building compiler binary distribution... ok.
 uploading binary distribution... ok.
 running nofib (-rtsopts -O2) ... ok.
 running nofib (-rtsopts -O2 -fllvm)  ... ok.
 running nofib (-rtsopts -O2 -prof -auto-all -static)... ok.
 running nofib (-rtsopts -O2 -prof -auto-all -fllvm -static)... ok.
 publishing logs  ... ok.
Logs  are at http://www.haskell.org/ghc/dist/current/logs
Dists are at http://www.haskell.org/ghc/dist/current/dist
Docs  are at http://www.haskell.org/ghc/dist/current/docs
-
Respository hashes:
.|4f7027d6947af9c5cdecc0c18097268594c4592b
ghc-tarballs|18e0c37f8023abf469af991e2fc2d3b024319c27
libraries/array|442ff7744fb51004c5358ec626e704f4536e3d6c
libraries/base|9aa29b806cb9e6c23adf6deb50a1bd14487487a4

tn23 (x86 OSX HEAD), build 777, Success

2012-12-07 Thread Builder
tn23 (x86 OSX HEAD), build 777

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/777.html

git clone| Success
create mk/build.mk   | Success
get subrepos | Success
repo versions| Success
touching clean-check files   | Success
setting version date | Success
booting  | Success
configuring  | Success
creating check-remove-before | Success
compiling| Success
creating check-remove-after  | Success
compiling testremove | Success
simulating clean | Success
checking clean   | Success
making bindist   | Success
testing bindist  | Success
testing  | Success
testsuite summary| Success

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/777.html

File not deleted:compiler/ghc.cabal.old
File not deleted:includes/dist-derivedconstants
File not deleted:includes/dist-derivedconstants/header
File not deleted:includes/dist-derivedconstants/header/DerivedConstants.h
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellExports.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellType.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellWrappers.hs
File not deleted:includes/dist-derivedconstants/header/platformConstants
File not deleted:includes/dist-derivedconstants/header/tmp.c
File not deleted:includes/dist-derivedconstants/header/tmp.o
File not deleted:inplace
File not deleted:libraries/base/include/EventConfig.h
File not deleted:mk/config.mk.old
File not deleted:mk/project.mk.old
File not deleted:rts/libs.depend
File not deleted:rts/package.conf.inplace
File not deleted:rts/package.conf.inplace.raw

OVERALL SUMMARY for test run started at Sat Dec  8 03:36:22 CET 2012
3506 total tests, which gave rise to
   13909 test cases, of which
   0 caused framework failures
   10737 were skipped

3070 expected passes
  28 had missing libraries
  34 expected failures
  23 unexpected passes
  17 unexpected failures

Unexpected passes:
   codeGen/should_runT7319 (prof)
   profiling/should_compile  2410 (normal)
   profiling/should_compile  prof001 (normal)
   profiling/should_compile  prof002 (normal)
   profiling/should_run  5314 (prof)
   profiling/should_run  T2552 (prof)
   profiling/should_run  T3001 (prof_hb)
   profiling/should_run  T3001-2 (prof_hb)
   profiling/should_run  T5363 (prof)
   profiling/should_run  T5559 (prof)
   profiling/should_run  T680 (prof)
   profiling/should_run  T949 (prof)
   profiling/should_run  callstack001 (prof)
   profiling/should_run  callstack002 (prof)
   profiling/should_run  heapprof001 (prof)
   profiling/should_run  prof-doc-fib (prof)
   profiling/should_run  prof-doc-last (prof)
   profiling/should_run  profinline001 (prof)
   profiling/should_run  scc001 (prof)
   profiling/should_run  scc002 (prof)
   profiling/should_run  scc003 (prof)
   stranal/should_compilenewtype (optasm)
   thTH_spliceE5_prof (normal)

Unexpected failures:
   ../../libraries/directory/tests  T4113 [bad stdout] (normal)
   codeGen/should_run   cgrun068 [exit code non-0] (normal)
   concurrent/should_runconc070 [bad stdout or stderr] (ghci)
   dynlibs  T3807 [bad exit code] (normal)
   ghci/linking ghcilink003 [bad exit code] (normal)
   ghci/linking ghcilink006 [bad exit code] (normal)
   ghci/scripts T5979 [bad stderr] (ghci)
   ghci/should_run  3171 [bad stdout] (normal)
   perf/compilerT1969 [stat not good enough] (normal)
   perf/compilerT3294 [stat not good enough] (normal)
   perf/compilerT783 [stat not good enough] (normal)
   perf/compilerparsing001 [stat not good enough] (normal)
   perf/haddock haddock.Cabal [stat not good enough] 
(normal)
   perf/haddock haddock.base [stat not good enough] (normal)
   perf/haddock haddock.compiler [stat too good] (normal)
   typecheck/should_failT5300 [stderr mismatch] (normal)
   typecheck/should_failT5691 [stderr mismatch] (normal)

___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc


pgj (x86 FreeBSD HEAD), build 882, Success

2012-12-07 Thread Builder
pgj (x86 FreeBSD HEAD), build 882

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/882.html

git clone| Success
create mk/build.mk   | Success
get subrepos | Success
repo versions| Success
touching clean-check files   | Success
setting version date | Success
booting  | Success
configuring  | Success
creating check-remove-before | Success
compiling| Success
creating check-remove-after  | Success
compiling testremove | Success
simulating clean | Success
checking clean   | Success
making bindist   | Success
publishing bindist   | Success
testing bindist  | Success
testing  | Success
testsuite summary| Success

Build succeeded
Details: http://darcs.haskell.org/ghcBuilder/builders/pgj/882.html

File not deleted:compiler/ghc.cabal.old
File not deleted:includes/dist-derivedconstants
File not deleted:includes/dist-derivedconstants/header
File not deleted:includes/dist-derivedconstants/header/DerivedConstants.h
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellExports.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellType.hs
File not deleted:
includes/dist-derivedconstants/header/GHCConstantsHaskellWrappers.hs
File not deleted:includes/dist-derivedconstants/header/platformConstants
File not deleted:includes/dist-derivedconstants/header/tmp.c
File not deleted:includes/dist-derivedconstants/header/tmp.o
File not deleted:inplace
File not deleted:libraries/base/include/EventConfig.h
File not deleted:mk/config.mk.old
File not deleted:mk/project.mk.old
File not deleted:rts/libs.depend
File not deleted:rts/package.conf.inplace
File not deleted:rts/package.conf.inplace.raw

OVERALL SUMMARY for test run started at Sat Dec  8 04:42:39 UTC 2012
3506 total tests, which gave rise to
   11680 test cases, of which
   0 caused framework failures
8513 were skipped

2858 expected passes
  26 had missing libraries
  35 expected failures
  27 unexpected passes
 221 unexpected failures

Unexpected passes:
   ../../libraries/unix/tests  getEnvironment01 (normal)
   ../../libraries/unix/tests  getEnvironment02 (normal)
   ../../libraries/unix/tests  getGroupEntryForName (normal)
   ../../libraries/unix/tests  getUserEntryForName (normal)
   ../../libraries/unix/tests  queryfdoption01 (normal)
   codeGen/should_run  T7319 (prof)
   profiling/should_compile2410 (normal)
   profiling/should_compileprof001 (normal)
   profiling/should_compileprof002 (normal)
   profiling/should_run5314 (prof)
   profiling/should_runT2552 (prof)
   profiling/should_runT3001 (prof_hb)
   profiling/should_runT3001-2 (prof_hb)
   profiling/should_runT5363 (prof)
   profiling/should_runT5559 (prof)
   profiling/should_runT680 (prof)
   profiling/should_runT949 (prof)
   profiling/should_runcallstack001 (prof)
   profiling/should_runcallstack002 (prof)
   profiling/should_runheapprof001 (prof)
   profiling/should_runprof-doc-fib (prof)
   profiling/should_runprof-doc-last (prof)
   profiling/should_runprofinline001 (prof)
   profiling/should_runscc001 (prof)
   profiling/should_runscc002 (prof)
   profiling/should_runscc003 (prof)
   stranal/should_compile  newtype (optasm)

Unexpected failures:
   ../../libraries/base/tests/IO3307 [bad stderr] (normal)
   ../../libraries/base/tests/IOenvironment001 [bad stderr] (normal)
   ../../libraries/directory/tests  getPermissions001 [bad exit code] 
(normal)
   ../../libraries/hpc/tests/ghc_ghci   hpc_ghc_ghci [bad stderr] (normal)
   ../../libraries/process/testsprocess007 [bad stdout] (normal)
   ../../libraries/process/testsprocess009 [bad stdout] (normal)
   ../../libraries/unix/tests/libposix  posix005 [bad stdout] (normal)
   cabal1750 [bad stderr] (normal)
   cabalghcpkg01 [bad stderr] (normal)
   cabalghcpkg03 [bad stderr] (normal)
   cabalghcpkg05 [bad stderr] (normal)
   cabalghcpkg06 [bad stderr] (normal)
   cabalshadow [bad stderr] (normal)
   cabal/cabal01cabal01 [bad stderr] (normal)
   cabal/cabal04cabal04 [bad stderr] (normal)
   codeGen/should_compile   2578 [bad stderr] (normal)
   codeGen/should_run   cgrun068 [exit code non-0] (normal)
   deSugar/should_compile   T5252 [bad stderr] (normal)
   deSugar/should_compile   T5252Take2