[commit: ghc] overlapping-tyfams: Miscellaneous bug fixes that came up during validation. (e5ded8b)

2012-12-06 Thread Richard Eisenberg
hor: Richard Eisenberg Date: Thu Dec 6 20:06:56 2012 -0500 Miscellaneous bug fixes that came up during validation. >--- compiler/typecheck/TcDeriv.lhs | 13 ++--- compiler/typecheck/TcInstDcls.lhs |2 +- co

[commit: ghc] simd: Fix validation failures. (4dde0a4)

2012-04-05 Thread Geoffrey Mainland
rey Mainland Date: Sun Mar 18 14:51:13 2012 + Fix validation failures. compiler/cmm/PprC.hs| 63 +++ compiler/codeGen/CgCallConv.hs |4 +- compiler/codeGen/CgPrimOp.hs| 10 ++-- compiler/llvmGen/LlvmCodeGen/CodeGen

[commit: ghc] master: Fix validation error, import only in GHCi (ae359d4)

2012-01-26 Thread David Terei
rei Date: Thu Jan 26 10:51:10 2012 -0800 Fix validation error, import only in GHCi >--- compiler/main/HscMain.hs |3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/compiler/main/HscMain.hs b/compile

[commit: ghc] master: Fix validation error (cea6307)

2012-01-12 Thread David Terei
rei Date: Thu Jan 12 18:47:25 2012 -0800 Fix validation error >--- compiler/llvmGen/LlvmCodeGen/Regs.hs |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/llvmGen/LlvmCodeGen/Regs.hs b/co

[commit: ghc] master: Fix validation warning (b540be0)

2012-01-05 Thread David Terei
rei Date: Thu Dec 22 15:24:48 2011 -0800 Fix validation warning >--- compiler/cmm/OldPprCmm.hs |2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/cmm/OldPprCmm.hs b/compiler/cmm/OldPprCmm.hs

[commit: ghc] master: Fix some validation errors (f142a2c)

2011-11-01 Thread David Terei
rei Date: Tue Oct 25 15:15:37 2011 -0700 Fix some validation errors Conflicts: compiler/main/DynFlags.hs compiler/main/HscMain.lhs >--- compiler/main/DynFlags.hs |4 compiler/main/HscMa

[commit: ghc] master: Revert "Fix some validation errors" (b558599)

2011-10-26 Thread Ian Lynagh
agh Date: Wed Oct 26 17:37:27 2011 +0100 Revert "Fix some validation errors" This reverts commit 4e2121f4fa33743d0acb42506b4d34952a7e4c80. >--- compiler/main/DynFlags.hs |6 ++ compiler/main/HscMain.

[commit: ghc] master: Fix some validation errors (4e2121f)

2011-10-25 Thread David Terei
rei Date: Tue Oct 25 15:15:37 2011 -0700 Fix some validation errors >--- compiler/main/DynFlags.hs |6 -- compiler/main/HscMain.lhs |2 +- 2 files changed, 1 insertions(+), 7 deletions(-) diff --git a/compile

[commit: ghc] ghc-constraint-solver: Checkpoint: more small bugfixes throughout arising from testsuite validation. (38767f0)

2011-10-21 Thread dimitris
hor: Dimitrios Vytiniotis Date: Fri Oct 21 16:49:54 2011 +0100 Checkpoint: more small bugfixes throughout arising from testsuite validation. >--- compiler/coreSyn/CoreLint.lhs | 11 ++- compiler/deSugar/DsBin

[commit: ghc] master: Fix validation problem when GHC is 7.2.1, warnings from binary. (d65efb2)

2011-08-19 Thread David Terei
rei Date: Fri Aug 19 12:15:17 2011 -0700 Fix validation problem when GHC is 7.2.1, warnings from binary. >--- mk/validate-settings.mk |2 ++ utils/ghc-pkg/ghc.mk|2 +- 2 files changed, 3 insertions(+), 1 deletions(-)

[commit: ghc] master: 'Fix' a validation problem when bootstrap is 7.2.1 (26cf7e5)

2011-08-19 Thread David Terei
rei Date: Fri Aug 19 12:13:43 2011 -0700 'Fix' a validation problem when bootstrap is 7.2.1 Problem is with GADTs in new code gen and incomplete pattern warnings. Just disabled the warning really and created #5424 to track

[commit: ghc] : SafeHaskell: Fix validation errors (527ca69)

2011-06-18 Thread David Terei
ate: Wed Jun 8 01:56:05 2011 -0700 SafeHaskell: Fix validation errors >--- mk/validate-settings.mk |4 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk

[commit: ghc] : SafeHaskell: Fix validation errors when unsafe base used (c838658)

2011-06-18 Thread David Terei
ate: Mon Jun 6 13:45:46 2011 -0700 SafeHaskell: Fix validation errors when unsafe base used >--- compiler/ghci/RtClosureInspect.hs |2 +- compiler/hsSyn/HsImpExp.lhs |1 + compiler/main/InteractiveEval.hs

[commit: ghc] master: SafeHaskell: Fix validation errors when Safe base used. (097a33f)

2011-06-18 Thread David Terei
rei Date: Wed Jun 1 18:04:27 2011 -0700 SafeHaskell: Fix validation errors when Safe base used. >--- compiler/iface/TcIface.lhs-boot |2 +- compiler/utils/FastString.lhs |5 + compiler/utils/GhcIO.hs

[commit: ghc] master: SafeHaskell: Fix a warning stopping validation (f04bbfd)

2011-06-18 Thread David Terei
rei Date: Tue May 10 16:36:44 2011 -0700 SafeHaskell: Fix a warning stopping validation >--- compiler/typecheck/TcErrors.lhs |4 ++-- ghc/InteractiveUI.hs|8 +--- 2 files changed, 7 insertions(+), 5 del

[commit: ghc] master: Fix some validation errors (79f2750)

2011-05-31 Thread David Terei
rei Date: Fri May 27 17:11:54 2011 -0700 Fix some validation errors >--- compiler/main/DriverPipeline.hs |1 - compiler/main/SysTools.lhs|3 +- compiler/nativeGen/PPC/CodeGen.hs

Re: [patch] Fix validation problem of Linker.c

2010-05-20 Thread Ian Lynagh
On Wed, May 19, 2010 at 12:34:15PM +0200, Gabor PALI wrote: > > I got a validation error on FreeBSD/i386 for Linker.c. I attach a > tiny patch to fix it, hopefully other systems will like it too :) Patch applied, thanks! Thanks Ian __

Re: [patch] Fix validation problem of Linker.c

2010-05-19 Thread Matthias Kilian
[re-sending to the list and Gabor, not only to Ian...] On Wed, May 19, 2010 at 04:46:24PM +0100, Ian Lynagh wrote: > On Wed, May 19, 2010 at 05:19:31PM +0200, Matthias Kilian wrote: > > On Wed, May 19, 2010 at 12:34:15PM +0200, Gabor PALI wrote: > > > I got a validation error o

Re: [patch] Fix validation problem of Linker.c

2010-05-19 Thread Ian Lynagh
On Wed, May 19, 2010 at 05:19:31PM +0200, Matthias Kilian wrote: > On Wed, May 19, 2010 at 12:34:15PM +0200, Gabor PALI wrote: > > I got a validation error on FreeBSD/i386 for Linker.c. I attach a > > tiny patch to fix it, hopefully other systems will like it too :) > > This

Re: [patch] Fix validation problem of Linker.c

2010-05-19 Thread Matthias Kilian
On Wed, May 19, 2010 at 12:34:15PM +0200, Gabor PALI wrote: > I got a validation error on FreeBSD/i386 for Linker.c. I attach a > tiny patch to fix it, hopefully other systems will like it too :) This is because dlerror(3) is const char*, right? Do you just get a warning or any kind of

[patch] Fix validation problem of Linker.c

2010-05-19 Thread Gabor PALI
Hello, I got a validation error on FreeBSD/i386 for Linker.c. I attach a tiny patch to fix it, hopefully other systems will like it too :) Cheers, :g ghc-rts-Linker.c.diff Description: Binary data ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http

Re: Validation failures under Windows

2008-11-20 Thread Simon Marlow
) And I now am down to one failure: Unexpected failures: break008(ghci) I'm not seeing any validation failures on Windows now. Both the stable and HEAD fast buildbots went through with zero failures today. However, I don't think we've done anything to fix those GHCi debugg

RE: Validation failures under Windows

2008-10-23 Thread Mitchell, Neil
> FWIW, I had some validate failures under windows dependening > on which shell I used. I have to check again which one it > was, though. For information, my shell is: [EMAIL PROTECTED] /cygdrive/c/ghc-build/ghc $ help GNU bash, version 3.2.39(20)-release (i686-pc-cygwin) And I now am down

Re: Validation failures under Windows

2008-10-22 Thread Thomas Schilling
FWIW, I had some validate failures under windows dependening on which shell I used. I have to check again which one it was, though. 2008/10/22 Mitchell, Neil <[EMAIL PROTECTED]>: > Hi > > >> > Could it be that buffering has a different default on Windows? >> >> 2228 is now an expected failure on

RE: Validation failures under Windows

2008-10-22 Thread Mitchell, Neil
Hi > > Could it be that buffering has a different default on Windows? > > 2228 is now an expected failure on Windows. See #2628. Fair enough. > > As a secondary issue, it appears that the failure reports > are occuring > > after the script has started to print out information about > the n

Re: Validation failures under Windows

2008-10-22 Thread Simon Marlow
Mitchell, Neil wrote: Thanks Thorkil, more information: => 2228(normal) cd ./ghc-e/should_run && $MAKE --no-print-directory -s 2228 2228.run.stdout 2>2228.run.stderr => 2636(normal) cd ./ghc-e/should_run && $MAKE --no-print-directory -s 2636 2636.run.stdout 2>2636.run.stderr Actual stdo

Re: Validation failures under Windows

2008-10-17 Thread Thorkil Naur
Hi Neil, On Friday 17 October 2008 17:56, Mitchell, Neil wrote: > Hi, > > Thanks Thorkil, more information: > > => 2228(normal) > cd ./ghc-e/should_run && $MAKE --no-print-directory -s 2228 > 2228.run.stdout 2>2228.run.stderr > => 2636(normal) > cd ./ghc-e/should_run && $MAKE --no-print-

RE: Validation failures under Windows

2008-10-17 Thread Mitchell, Neil
; -Original Message- > From: Thorkil Naur [mailto:[EMAIL PROTECTED] > Sent: 17 October 2008 4:53 pm > To: Mitchell, Neil > Cc: cvs-ghc@haskell.org > Subject: Re: Validation failures under Windows > > Hello, > > On Friday 17 October 2008 17:41, Mitchell, Neil wro

Re: Validation failures under Windows

2008-10-17 Thread Thorkil Naur
Hello, On Friday 17 October 2008 17:41, Mitchell, Neil wrote: > Hi, > > Doing validation under Windows XP, using HEAD from a few hours ago, I > get the results: > > OVERALL SUMMARY for test run started at The current date is: 17/10/2008 > Enter the new date: (dd-mm-yy) &

Validation failures under Windows

2008-10-17 Thread Mitchell, Neil
Hi, Doing validation under Windows XP, using HEAD from a few hours ago, I get the results: OVERALL SUMMARY for test run started at The current date is: 17/10/2008 Enter the new date: (dd-mm-yy) 2221 total tests, which gave rise to 8313 test cases, of which 0 caused framework

Re: Validation error

2008-10-05 Thread Ian Lynagh
On Fri, Oct 03, 2008 at 06:13:02PM +0100, Simon Peyton-Jones wrote: > sorry. I had -Werror switched off because I was compiling extralibs too, > which aren't warning free. I don't know if I can say "-Werror for all except > extralibs" can I? No, currently we build the extralibs and bootlibs in

RE: Validation error

2008-10-03 Thread Simon Peyton-Jones
l, | Neil | Sent: 03 October 2008 17:57 | To: cvs-ghc@haskell.org | Subject: Validation error | | Hi, | | I decided I should try and do a validation, but it failed: | | typecheck/TcEnv.lhs:71:0: | Warning: Module `PrelNames' is imported, but nothing from it is | used, |

Validation error

2008-10-03 Thread Mitchell, Neil
Hi, I decided I should try and do a validation, but it failed: typecheck/TcEnv.lhs:71:0: Warning: Module `PrelNames' is imported, but nothing from it is used, except perhaps instances visible in `PrelNames' To suppress this warning, use: import

RE: Windows validation

2008-09-18 Thread Simon Peyton-Jones
correct -- sorry about that | -Original Message- | From: Ian Lynagh [mailto:[EMAIL PROTECTED] | Sent: 18 September 2008 12:01 | To: Simon Peyton-Jones | Cc: Simon Marlow; cvs-ghc@haskell.org | Subject: Re: Windows validation | | On Tue, Sep 16, 2008 at 03:25:23PM +0100, Simon Peyton-Jones

RE: Windows validation

2008-09-18 Thread Simon Marlow
> > On Tue, Sep 16, 2008 at 03:25:23PM +0100, Simon Peyton-Jones wrote: > >> > >> -utf8_002.hs:2:0: lexical error (UTF-8 decoding error) > >> +utf8_002.hs:2:0: lexical error at end of input > >> *** unexpected failure for utf8_002(normal) > > > > IIRC this just means that you have alex 2.0.1 rather

Re: Windows validation

2008-09-18 Thread Claus Reinke
On Tue, Sep 16, 2008 at 03:25:23PM +0100, Simon Peyton-Jones wrote: -utf8_002.hs:2:0: lexical error (UTF-8 decoding error) +utf8_002.hs:2:0: lexical error at end of input *** unexpected failure for utf8_002(normal) IIRC this just means that you have alex 2.0.1 rather than alex 2.1.0. I st

Re: Windows validation

2008-09-18 Thread Ian Lynagh
On Tue, Sep 16, 2008 at 03:25:23PM +0100, Simon Peyton-Jones wrote: > > -utf8_002.hs:2:0: lexical error (UTF-8 decoding error) > +utf8_002.hs:2:0: lexical error at end of input > *** unexpected failure for utf8_002(normal) IIRC this just means that you have alex 2.0.1 rather than alex 2.1.0. Th

Windows validation

2008-09-16 Thread Simon Peyton-Jones
Just run validate under Cygwin on my desktop box. Several UTF8 tests fail thus: Unexpected failures: testblockalloc(normal) utf8_002(normal) utf8_003(normal) utf8_004(normal) utf8_005(normal) I know you were doing unicode stuff. All the utf8 ones have the same error: => utf8

Re: validation test-failures

2008-01-18 Thread Isaac Dupree
Simon Marlow wrote: But not these: Unexpected failures: GADT11(normal) Simple13(normal) derefnull(normal) divbyzero(normal) equal(normal) set(normal) syn-perf(normal) tc(normal) tc095(normal) termination(normal) while(normal) Linux i686 dual-core, happening wi

Re: validation test-failures

2008-01-18 Thread Simon Marlow
Isaac Dupree wrote: these are the current set of validation failures for HEAD on my machine, (the same just before and after committing my portability cleanup.) They've all been around for quite a while, except list001(ghci) is a little more recent, as listed in some previous e-mail I sen

validation test-failures

2008-01-17 Thread Isaac Dupree
these are the current set of validation failures for HEAD on my machine, (the same just before and after committing my portability cleanup.) They've all been around for quite a while, except list001(ghci) is a little more recent, as listed in some previous e-mail I sent. Do you need any

RE: darn, more validation failures

2008-01-17 Thread Simon Peyton-Jones
sorry my fault, pushing now | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Isaac Dupree | Sent: 17 January 2008 17:28 | To: BuildBot Collator | Subject: darn, more validation failures | | specialise/SpecConstr.lhs:529:46: Not in scope: `extendSubst

darn, more validation failures

2008-01-17 Thread Isaac Dupree
specialise/SpecConstr.lhs:529:46: Not in scope: `extendSubst' well, I'll commit as soon as I can validate, because I don't want to assume that my changes would validate against a non-broken HEAD ~Isaac ___ Cvs-ghc mailing list Cvs-ghc@haskell.org ht

patch applied (ghc-6.8/ghc): fix validation failure on non-i386

2008-01-05 Thread Ian Lynagh
Wed Jan 2 07:17:40 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * fix validation failure on non-i386 M ./compiler/main/DriverPipeline.hs -3 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): fix validation failure on non-i386

2008-01-02 Thread Simon Marlow
Wed Jan 2 07:17:40 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * fix validation failure on non-i386 M ./compiler/main/DriverPipeline.hs -3 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: Validation police strikes again!

2007-11-22 Thread Manuel M T Chakravarty
Simon Marlow: Simon Marlow wrote: Duncan Coutts wrote: On Wed, 2007-11-21 at 11:36 +1100, Manuel M T Chakravarty wrote: On Mac OS X, 10.5, I get with todays head Unexpected failures: openFile008(normal) Details appended. Tue Nov 20 03:47:57 PST 2007 Simon Marlow <[EMAIL PROTECTED]> *

Re: Validation police strikes again!

2007-11-22 Thread Simon Marlow
Simon Marlow wrote: Duncan Coutts wrote: On Wed, 2007-11-21 at 11:36 +1100, Manuel M T Chakravarty wrote: On Mac OS X, 10.5, I get with todays head Unexpected failures: openFile008(normal) Details appended. Tue Nov 20 03:47:57 PST 2007 Simon Marlow <[EMAIL PROTECTED]> * test repeated

Re: Validation police strikes again!

2007-11-21 Thread Simon Marlow
Duncan Coutts wrote: On Wed, 2007-11-21 at 11:36 +1100, Manuel M T Chakravarty wrote: On Mac OS X, 10.5, I get with todays head Unexpected failures: openFile008(normal) Details appended. Tue Nov 20 03:47:57 PST 2007 Simon Marlow <[EMAIL PROTECTED]> * test repeated open/close of 1000 f

[Fwd: Re: Validation police strikes again!]

2007-11-20 Thread Richard Giraud
Mac OS X has a default limit of 256 files, though it can be increased via ulimit. Richard --- Begin Message --- On Wed, 2007-11-21 at 11:36 +1100, Manuel M T Chakravarty wrote: > On Mac OS X, 10.5, I get with todays head > > Unexpected failures: > openFile008(normal) > > Details appended.

Re: Validation police strikes again!

2007-11-20 Thread Duncan Coutts
On Wed, 2007-11-21 at 11:36 +1100, Manuel M T Chakravarty wrote: > On Mac OS X, 10.5, I get with todays head > > Unexpected failures: > openFile008(normal) > > Details appended. Tue Nov 20 03:47:57 PST 2007 Simon Marlow <[EMAIL PROTECTED]> * test repeated open/close of 1000 files M .

Validation police strikes again!

2007-11-20 Thread Manuel M T Chakravarty
On Mac OS X, 10.5, I get with todays head Unexpected failures: openFile008(normal) Details appended. Manuel -=- => openFile008(normal) cd ./lib/IO && '/Users/chak/Code/ghc-test/compiler/stage2/ghc-inplace' -no-recom p -dcore-lint -dcmm-lint -Di386_apple_darwin -o openFile008 openF

patch applied (ghc): Don't clean gmp when validating (speeds up validation on Windows)

2007-10-17 Thread Simon Marlow
Wed Oct 17 03:09:08 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * Don't clean gmp when validating (speeds up validation on Windows) M ./gmp/Makefile +5 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: Validation

2007-09-06 Thread Ian Lynagh
On Thu, Sep 06, 2007 at 01:52:06PM +0100, Simon Peyton-Jones wrote: > | > Incidentally, just to confirm, I never have to even look in validate.mk > do I? It's 100% validate's > | responsibility. > | > | validate.mk is to validate what build.mk is to make, i.e. if you want > | the default settings

RE: Validation

2007-09-06 Thread Simon Peyton-Jones
ful to say here http://hackage.haskell.org/trac/ghc/wiki/DarcsRepositories what the "semantics" of "core" (or perhaps now "boot") is. Such as The "ghc-boot" packages are the ones needed to build GHC itself; that is, to build the stag

Re: Validation

2007-09-06 Thread Ian Lynagh
On Thu, Sep 06, 2007 at 07:44:39AM +0100, Simon Peyton-Jones wrote: > > That may be fine for you, but we are asking *everyone* to run validate Good point, I'll make it set GhcBootLibs=YES by default. > Incidentally, just to confirm, I never have to even look in validate.mk do I? > It's 100% va

RE: Validation

2007-09-05 Thread Simon Peyton-Jones
| > 1. If you have lots of libraries in your tree, 'sh validate' will | try to compile them. But they are not -Wall clean, so the -Werror | kills the validation. | > | > Solution: we should say what libraries validate will validate; and | validate should make build.m

patch applied (ghc-6.8/ghc): Build settings for validation are now in mk/validate-settings.mk

2007-09-05 Thread Ian Lynagh
Wed Sep 5 11:46:14 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Build settings for validation are now in mk/validate-settings.mk M ./mk/boilerplate.mk +5 A ./mk/validate-settings.mk M ./validate -17 +2 ___ Cvs-ghc mailing list C

patch applied (ghc): Build settings for validation are now in mk/validate-settings.mk

2007-09-05 Thread Ian Lynagh
Wed Sep 5 11:46:14 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Build settings for validation are now in mk/validate-settings.mk M ./mk/boilerplate.mk +5 A ./mk/validate-settings.mk M ./validate -17 +2 ___ Cvs-ghc mailing list C

Re: Validation

2007-09-05 Thread Ian Lynagh
Hi Simon, On Wed, Sep 05, 2007 at 04:08:23PM +0100, Simon Peyton-Jones wrote: > > 1. If you have lots of libraries in your tree, 'sh validate' will try to > compile them. But they are not -Wall clean, so the -Werror kills the > validation. > > Solution:

Validation

2007-09-05 Thread Simon Peyton-Jones
Ian I have tripped over several problems with validation today. 1. If you have lots of libraries in your tree, 'sh validate' will try to compile them. But they are not -Wall clean, so the -Werror kills the validation. Solution: we should say what libraries validate will val