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

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 Apr 11 18:00:01 BST 2008. checking out

Dodgy newtype axioms

Hi, Simon- I'm currently trying to generate External Core for all the GHC libraries and typecheck them using the stand-alone ext-core typechecker (updated by me for the current incarnation of Core). I'm running into a problem with the Data.String library. The generated .hcr file includes, in part:

patch applied (ghc): Fixing HPCTIXDIR problem with mkdir usage on Windows

Fri Apr 11 15:05:10 PDT 2008 [EMAIL PROTECTED] * Fixing HPCTIXDIR problem with mkdir usage on Windows M ./rts/Hpc.c -1 +6 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080411220510-dd407-a8ba56169d253bd93d91e583a7a47f5520b8d302.gz ___

Re: patch applied (ghc): FIX #2197: an update frame might point to an IND_OLDGEN

Simon Marlow wrote: Fri Apr 11 10:34:04 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * FIX #2197: an update frame might point to an IND_OLDGEN oops, I mean 2192, not 2197. Cheers, Simon ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www

Re: todays head: ./include/ffi.h:64:23: ffitarget.h: No such file or directory

Claus Reinke wrote: c:/mingw/bin/gcc -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -Wall -g -fexceptions -g -O2 -MT src/debug.lo -MD -MP -MF src/.deps/debug.Tpo -c src/debug.c -o src/debug.o In file included from src/debug.c:25: ./include/ffi.h:64:23: ffitarget.h: No such file or direc

todays head: ./include/ffi.h:64:23: ffitarget.h: No such file or directory

tried to build todays head (after make distclean, darcs-all pull and darcs-all get), and got this failure. the buildbot reports don't seem to be accessible, either. this is on win xp, cygwin shell, mingw tools - i thought the new libffi stuff was not yet enabled for already supported platforms?

patch applied (ghc): Update .darcs-boring with utils/ext-core stuff

Fri Apr 11 11:57:34 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Update .darcs-boring with utils/ext-core stuff M ./.darcs-boring +2 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080411185734-d61e2-945e096858cc1b72e0ca02552a5bf8fdb23979fe.gz

patch applied (ghc): FIX #2197: an update frame might point to an IND_OLDGEN

Fri Apr 11 10:34:04 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * FIX #2197: an update frame might point to an IND_OLDGEN M ./rts/sm/Scav.c -2 +9 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080411173404-760e2-96592335e36b347a5d8d94b0dfafd663fb66b750.gz _

[nightly] 11-Apr-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

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 Apr 11 18:10:01 BST 2008. checki

patch applied (ghc): Rejig error reporting in the unifier slightly

Fri Apr 11 06:23:50 PDT 2008 [EMAIL PROTECTED] * Rejig error reporting in the unifier slightly M ./compiler/typecheck/TcUnify.lhs -86 +98 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080411132350-1287e-a5c827c2da9655abc52094e09d3c9181d9c7f992.gz ___

patch applied (ghc): Improve error message layout slightly

Thu Apr 10 04:31:05 PDT 2008 [EMAIL PROTECTED] * Improve error message layout slightly M ./compiler/typecheck/TcMType.lhs -4 +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080410113105-1287e-2b86350c0c7a8289b67d567142cb53c7250e6709.gz _

patch applied (ghc): Two improvements to boxy matching

Thu Apr 10 04:28:12 PDT 2008 [EMAIL PROTECTED] * Two improvements to boxy matching I can't quite remember what provoked these two changes, but they are in my tree. One improves boxy_match (which failed unnecessarily) One fixes boxy_lub (which was assymetrical) M

patch applied (ghc): Fix Trac #2206: ensure the return type is rigid in a GADT match

Thu Apr 10 04:15:14 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2206: ensure the return type is rigid in a GADT match M ./compiler/typecheck/TcPat.lhs -17 +26 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080410111514-1287e-5e83e27dc8ddc93d5167cf2391d0ff6560a0f02a.gz

patch applied (ghc): Ensure that arity is accurate in back end

Thu Apr 10 01:49:30 PDT 2008 [EMAIL PROTECTED] * Ensure that arity is accurate in back end See Note [exprArity invariant] in CoreUtils. In code generated by Happy I was seeing this after TidyPgm and CorePrep f :: Any f {arity 1} = id `cast` unsafe-co So f claimed

patch applied (ghc): Fix Trac #2205, which I introduced recently

Thu Apr 10 02:43:36 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2205, which I introduced recently M ./compiler/rename/RnBinds.lhs -6 +6 M ./compiler/rename/RnEnv.lhs -50 +38 M ./compiler/rename/RnNames.lhs -6 +7 M ./compiler/rename/RnSource.lhs -9 +12 M ./compiler/typecheck/TcRnD

patch applied (ghc): Make the arity and strictness agree, for wired-in bottoming Ids

Thu Apr 10 01:26:19 PDT 2008 [EMAIL PROTECTED] * Make the arity and strictness agree, for wired-in bottoming Ids M ./compiler/basicTypes/MkId.lhs -1 +5 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080410082619-1287e-985f40c4fa63e33ec8f6a841ccdc4fecc767a4e0.gz _

patch applied (testsuite): Track error message changes

Fri Apr 11 07:13:45 PDT 2008 [EMAIL PROTECTED] * Track error message changes M ./tests/ghc-regress/typecheck/should_fail/tcfail016.stderr -2 +2 M ./tests/ghc-regress/typecheck/should_fail/tcfail168.stderr -2 +2 M ./tests/ghc-regress/typecheck/should_fail/tcfail186.stderr -2 +1 View

patch applied (testsuite): Slightly less nice output, but the previous version was largely accidental

Fri Apr 11 07:13:16 PDT 2008 [EMAIL PROTECTED] * Slightly less nice output, but the previous version was largely accidental M ./tests/ghc-regress/ghci/scripts/ghci012.stdout -1 +2 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080411141316-1287e-ef336df0ad1ca8b46ef3

patch applied (testsuite): Test for GADT escape (I forget which Trac bug this is for, if any)

Thu Apr 10 02:05:38 PDT 2008 [EMAIL PROTECTED] * Test for GADT escape (I forget which Trac bug this is for, if any) M ./tests/ghc-regress/gadt/all.T +1 A ./tests/ghc-regress/gadt/gadt-escape1.hs A ./tests/ghc-regress/gadt/gadt-escape1.stderr View patch online: http://darcs.haskell.

patch applied (testsuite): Follow minor spacing change in typechecker output

Thu Apr 10 02:04:10 PDT 2008 [EMAIL PROTECTED] * Follow minor spacing change in typechecker output M ./tests/ghc-regress/typecheck/should_compile/tc231.stderr -9 +11 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080410090410-1287e-8a130ec1638d8fece4bc3e7668a7cf88f5

patch applied (testsuite): Test for Trac 2205

Thu Apr 10 02:03:29 PDT 2008 [EMAIL PROTECTED] * Test for Trac 2205 A ./tests/ghc-regress/rename/should_compile/T2205.hs M ./tests/ghc-regress/rename/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080410090329-1287e-b1109176bbfee8a499d55c

Daily report for stable

Build results: Dropping unexpected test passes reports from builders not seen in 7 days: x86 Windows stable fast Fixed unexpected test passes: TH_scope Dropping unexpected test failures reports from builders not seen in 7 days: x86 Windows stable fast Fixed unexpected test failur

Daily report for head

Build results: Dropping unexpected test passes reports from builders not seen in 7 days: x86 Windows head fast Dropping unexpected test failures reports from builders not seen in 7 days: x86 Windows head fast Fixed unexpected test failures: 2122 break019 derefnull divb

patch applied (ghc): Fix bug in vectorisation of case expressions

Thu Apr 10 21:53:07 PDT 2008 Roman Leshchinskiy <[EMAIL PROTECTED]> * Fix bug in vectorisation of case expressions M ./compiler/vectorise/Vectorise.hs -2 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080411045307-b2b0a-58026163728112e1af23d2aac49f7ae0c76a.gz

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

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 Thu Apr 10 18:00:02 BST 2008. checking out

[nightly] 10-Apr-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

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 Thu Apr 10 18:10:02 BST 2008. checki