validate on x86/MacOS

2007-07-10 Thread Manuel M T Chakravarty
I have appended the result of validate with todays head on x86/MacOS. Do the same failures appear on Linux or are there any Mac-specific ones? Manuel -=- OVERALL SUMMARY for test run started at Wed Jul 11 15:04:32 EST 2007 1824 total tests, which gave rise to 7115 test cases, of wh

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

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

patch applied (ghc): Be finer-grained when turning on extensions for generated code

2007-07-10 Thread Ian Lynagh
Tue Jul 10 08:24:06 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Be finer-grained when turning on extensions for generated code M ./compiler/typecheck/TcDeriv.lhs -3 +4 M ./compiler/typecheck/TcRnDriver.lhs -4 +4 ___ Cvs-ghc mailing list Cvs-ghc

patch applied (ghc): Tweak error message

2007-07-10 Thread Ian Lynagh
Tue Jul 10 06:02:14 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Tweak error message M ./compiler/typecheck/TcDeriv.lhs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Fix tcInstHeadTyNotSynonym

2007-07-10 Thread Ian Lynagh
Tue Jul 10 05:47:38 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Fix tcInstHeadTyNotSynonym It was returning False for type variables amongst other things, so "instance C a" was telling us to use -XTypeSynonymInstances. M ./compiler/typecheck/TcType.lhs -4 +3 _

patch applied (ghc): Add flag -XConstrainedClassMethods

2007-07-10 Thread Ian Lynagh
Mon Jul 9 13:43:43 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Add flag -XConstrainedClassMethods M ./compiler/main/DynFlags.hs +3 M ./compiler/typecheck/TcTyClsDecls.lhs -7 +6 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.or

patch applied (ghc): Just alpha-rename a variable

2007-07-10 Thread Ian Lynagh
Mon Jul 9 13:02:49 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Just alpha-rename a variable M ./compiler/typecheck/TcTyClsDecls.lhs -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Add -XUnliftedFFITypes flag

2007-07-10 Thread Ian Lynagh
Mon Jul 9 12:54:08 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Add -XUnliftedFFITypes flag M ./compiler/main/DynFlags.hs +3 M ./compiler/typecheck/TcType.lhs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/lis

patch applied (ghc): Implement unboxed tuples flags

2007-07-10 Thread Ian Lynagh
Mon Jul 9 12:30:56 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Implement unboxed tuples flags -XUnboxedTuples -XExpressionSignaturesUnboxedTuples -XTypeSynonymUnboxedTuples M ./compiler/main/DynFlags.hs +9 M ./compiler/parser/Lexer.x -2 +10 M ./compiler/typecheck/TcMType.lhs -1

patch applied (ghc): Tweak the undecidable-instance-checking logic

2007-07-10 Thread Ian Lynagh
Mon Jul 9 11:22:09 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Tweak the undecidable-instance-checking logic Just looking at Opt_GlasgowExts is not sufficient to see if we need to do an instance undecidability check. Rather than try to enumerate all the extensions that may require us to do

patch applied (ghc): Define -XPartiallyAppliedClosedTypeSynonyms flag

2007-07-10 Thread Ian Lynagh
Mon Jul 9 11:14:55 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Define -XPartiallyAppliedClosedTypeSynonyms flag M ./compiler/main/DynFlags.hs +3 M ./compiler/typecheck/TcMType.lhs -4 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.h

patch applied (ghc): Add -XPatternSigs flag

2007-07-10 Thread Ian Lynagh
Mon Jul 9 10:54:11 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Add -XPatternSigs flag M ./compiler/main/DynFlags.hs +3 M ./compiler/rename/RnBinds.lhs -2 +2 M ./compiler/rename/RnTypes.lhs -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (testsuite): Follow error message changes

2007-07-10 Thread Ian Lynagh
Tue Jul 10 08:21:55 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Follow error message changes M ./tests/ghc-regress/module/mod42.stderr -3 +3 M ./tests/ghc-regress/parser/should_fail/read039.stderr -1 +1 M ./tests/ghc-regress/typecheck/should_fail/tcfail117.hs -1 +1 M ./tests/ghc-r

patch applied (testsuite): Remove tcfail111; duplicate of tcfail098

2007-07-10 Thread Ian Lynagh
Mon Jul 9 14:55:09 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Remove tcfail111; duplicate of tcfail098 M ./tests/ghc-regress/typecheck/should_fail/all.T -1 R ./tests/ghc-regress/typecheck/should_fail/tcfail111.hs R ./tests/ghc-regress/typecheck/should_fail/tcfail111.stderr

patch applied (testsuite): Tweak tcfail098; we aren't interested in the undecidability error

2007-07-10 Thread Ian Lynagh
Mon Jul 9 14:54:27 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Tweak tcfail098; we aren't interested in the undecidability error M ./tests/ghc-regress/typecheck/should_fail/tcfail098.hs +3 M ./tests/ghc-regress/typecheck/should_fail/tcfail098.stderr -1 +1 ___

patch applied (testsuite): Add a test for -XPartiallyAppliedClosedTypeSynonyms

2007-07-10 Thread Ian Lynagh
Mon Jul 9 11:15:08 PDT 2007 Ian Lynagh <[EMAIL PROTECTED]> * Add a test for -XPartiallyAppliedClosedTypeSynonyms M ./tests/ghc-regress/typecheck/should_compile/all.T +1 A ./tests/ghc-regress/typecheck/should_compile/tc234.hs ___ Cvs-ghc mail

Re: Performance regressions in HEAD

2007-07-10 Thread Neil Mitchell
Hi Simon, I bet this is related to getchar. When compiling via C, the C compiler can inline getchar, but with -fasm we have to just call getchar(). Take a look at the asm generated for each way, and try swapping over the fragments that do getchar(). It does appear so. I've hacked the C versi

Re: Performance regressions in HEAD

2007-07-10 Thread Simon Marlow
Neil Mitchell wrote: Hi Simon, I've attached a new sample file, which is what this particular message relates to, although it should be nearly identical to the last one I sent you. There was a small difference between -fasm and -fvia-C, with -fvia-C winning by a few percent. I tracked this do

patch applied (ghc): PA is now a class instead of a record

2007-07-10 Thread Roman Leshchinskiy
Tue Jul 10 04:38:22 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * PA is now a class instead of a record M ./compiler/prelude/PrelNames.lhs -10 +9 M ./compiler/vectorise/VectMonad.hs -7 +7 M ./compiler/vectorise/Vectorise.hs -1 +1 ___

patch applied (ghc): Add dsLookupClass

2007-07-10 Thread Roman Leshchinskiy
Tue Jul 10 04:35:43 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add dsLookupClass M ./compiler/deSugar/DsMonad.lhs +7 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Lookup of class and family instances in vectorisation monad

2007-07-10 Thread Roman Leshchinskiy
Tue Jul 10 01:49:49 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Lookup of class and family instances in vectorisation monad M ./compiler/deSugar/Desugar.lhs +2 M ./compiler/main/HscTypes.lhs -1 +4 M ./compiler/vectorise/VectMonad.hs -10 +98 ___

Re: GHC Head Bugs

2007-07-10 Thread Simon Marlow
Alec Berryman wrote: Neil Mitchell on 2007-07-10 11:44:11 +0100: First, it appears that GHC.Prim no longer exists, I can't :m it. I was using it as the import location for RealWorld and State# - I've now moved to using GHC.Base. http://www.haskell.org/pipermail/glasgow-haskell-users/2007-May/

Re: GHC Head Bugs

2007-07-10 Thread Neil Mitchell
Hi > First, it appears that GHC.Prim no longer exists, I can't :m it. I was > using it as the import location for RealWorld and State# - I've now > moved to using GHC.Base. http://www.haskell.org/pipermail/glasgow-haskell-users/2007-May/012674.html The issue was reported back in May but must h

Re: GHC Head Bugs

2007-07-10 Thread Alec Berryman
Neil Mitchell on 2007-07-10 11:44:11 +0100: > First, it appears that GHC.Prim no longer exists, I can't :m it. I was > using it as the import location for RealWorld and State# - I've now > moved to using GHC.Base. http://www.haskell.org/pipermail/glasgow-haskell-users/2007-May/012674.html The is

Re: Performance regressions in HEAD

2007-07-10 Thread Neil Mitchell
Hi Simon, I've attached a new sample file, which is what this particular message relates to, although it should be nearly identical to the last one I sent you. There was a small difference between -fasm and -fvia-C, with -fvia-C winning by a few percent. I tracked this down to the getchar() ca

GHC Head Bugs

2007-07-10 Thread Neil Mitchell
Hi I just tried to upgrade to the latest Head which has a Windows installer, http://www.haskell.org/ghc/dist/current/dist/ghc-6.7.20070709-i386-unknown-mingw32.exe First, it appears that GHC.Prim no longer exists, I can't :m it. I was using it as the import location for RealWorld and State# - I

patch applied (ghc): oops, revert part of the +RTS -V0 patch which was accidentally included

2007-07-10 Thread Simon Marlow
Tue Jul 10 00:54:28 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * oops, revert part of the +RTS -V0 patch which was accidentally included M ./rts/Makefile -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cv

Re: validate fails on MacOs

2007-07-10 Thread Simon Marlow
Roman Leshchinskiy wrote: This is caused by this patch: Sun Jul 8 12:44:23 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does. Also, I documented it. +RTS -V0 disables the internal RTS timer completely, which

Re: Performance regressions in HEAD

2007-07-10 Thread Simon Marlow
Neil Mitchell wrote: Hi Simon, > The attached charcount.zip shows the optimised cmm and the assembler. > As far as I can tell, the optimised cmm for the hotspot function in > both cases is identical, and the code should be spending all its time > in the hotspot. The names are Main_zdspreludezu9

Daily report for head

2007-07-10 Thread BuildBot Collator
Build results: x86-64 Linux head:lost x86 Windows head: lost pass x86 Windows head fast:pass pass lost fail (failed darcs) fail (failed darcs) fail (failed darcs) fail (failed darcs) mnemosyne x86-64 Gentoo head: pass phil Intel OSX head: fail (failed recom

patch applied (ghc): FIX rts build failure for powerPC build

2007-07-10 Thread Andy Gill
Tue Jul 10 00:17:13 PDT 2007 [EMAIL PROTECTED] * FIX rts build failure for powerPC build The rts was failing with ../compiler/ghc-inplace -H64m -Onot -fasm -optc-O2 -static -I../gmp/gmpbuild -I. -#include HCIncludes.h -dcmm-lint -hisuf thr_p_hi -hcsuf thr_p_hc -osuf thr_p_o -optc-D