patch applied (testsuite): Another indexed type families test

Thu Aug 9 21:28:59 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Another indexed type families test As before, this is against a patch which isn't in the HEAD yet. A ./tests/ghc-regress/indexed-types/should_compile/GADT3.hs M ./tests/ghc-regress/indexed-types/should_compile/al

patch applied (testsuite): Tests for indexed type synonyms

Thu Aug 9 20:44:36 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Tests for indexed type synonyms The tests expose bugs in an implementation of indexed type families which hasn't been pushed to the HEAD yet. They are all marked as expect_fail. A ./tests/ghc-regress/indexed-types/

patch applied (ghc): Make the new functions accessible from the vectorisation monad

Tue Aug 7 23:56:21 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Make the new functions accessible from the vectorisation monad M ./compiler/vectorise/VectMonad.hs +9 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailma

patch applied (ghc): Add more NDP functions to PrelNames

Tue Aug 7 23:55:59 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add more NDP functions to PrelNames M ./compiler/prelude/PrelNames.lhs -1 +9 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): PA functions are no longer methods

Tue Aug 7 23:48:34 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * PA functions are no longer methods M ./compiler/prelude/PrelNames.lhs -6 +6 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Vectorise Case on products

Tue Aug 7 22:04:33 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Vectorise Case on products M ./compiler/vectorise/VectCore.hs -1 +21 M ./compiler/vectorise/VectUtils.hs -1 +7 M ./compiler/vectorise/Vectorise.hs +55 ___ Cvs-ghc maili

patch applied (ghc): Utility functions for accessing parallel array representations

Tue Aug 7 21:10:32 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Utility functions for accessing parallel array representations M ./compiler/vectorise/VectUtils.hs -5 +12 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/ma

patch applied (ghc): Fix bug in vectorised DataCon worker generation

Tue Aug 7 19:02:57 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Fix bug in vectorised DataCon worker generation M ./compiler/vectorise/VectType.hs -1 +1 M ./compiler/vectorise/VectUtils.hs -1 +5 ___ Cvs-ghc mailing list Cvs-ghc@haskell.

patch applied (ghc): Use dataConTag in flattened array representation

Tue Aug 7 18:49:16 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Use dataConTag in flattened array representation M ./compiler/vectorise/VectType.hs -6 +8 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/c

patch applied (ghc): Add built-in PA dictionary for closures

Tue Aug 7 18:48:59 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add built-in PA dictionary for closures M ./compiler/vectorise/Vectorise.hs -1 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Modify PA dictionary generation to the new record-based scheme

Mon Aug 6 23:21:01 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Modify PA dictionary generation to the new record-based scheme M ./compiler/vectorise/VectType.hs -9 +7 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mail

patch applied (ghc): Change DataCon worker vectorisation to use PA records

Mon Aug 6 23:05:53 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Change DataCon worker vectorisation to use PA records M ./compiler/vectorise/VectType.hs -11 +8 M ./compiler/vectorise/Vectorise.hs -3 +2 ___ Cvs-ghc mailing list Cvs-ghc@h

patch applied (ghc): Add built-in PA dictionaries for boxed tuples

Mon Aug 6 23:05:24 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add built-in PA dictionaries for boxed tuples M ./compiler/vectorise/Vectorise.hs -3 +14 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cv

patch applied (ghc): Trace more vectorisation failures

Mon Aug 6 22:31:45 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Trace more vectorisation failures M ./compiler/vectorise/VectMonad.hs -1 +1 M ./compiler/vectorise/VectUtils.hs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://ww

patch applied (ghc): Move code

Mon Aug 6 22:24:29 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Move code M ./compiler/vectorise/VectType.hs -89 +89 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Remove dead code

Mon Aug 6 22:21:36 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Remove dead code M ./compiler/vectorise/VectType.hs -14 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Associate vectorised tycons with their PA dfuns

Mon Aug 6 22:20:32 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Associate vectorised tycons with their PA dfuns M ./compiler/vectorise/VectMonad.hs -1 +6 M ./compiler/vectorise/VectType.hs -1 +7 ___ Cvs-ghc mailing list Cvs-ghc@haskell.

patch applied (ghc): PA is now an explicit record instead of a typeclass

Mon Aug 6 22:10:52 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * PA is now an explicit record instead of a typeclass M ./compiler/prelude/PrelNames.lhs -4 +3 M ./compiler/vectorise/VectMonad.hs -19 +16 M ./compiler/vectorise/VectType.hs -17 +10 M ./compiler/vectorise/VectUt

patch applied (ghc): Implicitly import NDP stuff when vectorising

Mon Aug 6 21:39:07 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Implicitly import NDP stuff when vectorising We add the following declaration to all vectorised modules: import qualified as :NDP This allows us to refer to NDP stuff by RdrName later on but does not expose

patch applied (ghc): Support for using built-in PA dictionaries for some types

Mon Aug 6 19:31:54 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Support for using built-in PA dictionaries for some types M ./compiler/vectorise/VectMonad.hs -1 +11 M ./compiler/vectorise/Vectorise.hs -1 +10 ___ Cvs-ghc mailing list Cvs

patch applied (ghc): Utility functions for accessing the RdrEnv during vectorisation

Mon Aug 6 19:28:18 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Utility functions for accessing the RdrEnv during vectorisation M ./compiler/vectorise/VectMonad.hs +15 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mail

patch applied (ghc): Add RdrEnv to vectorisation state

Mon Aug 6 19:27:18 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add RdrEnv to vectorisation state M ./compiler/vectorise/VectMonad.hs -3 +14 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Add utility functions for accessing PA info during vectorisation

Thu Aug 2 20:02:37 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add utility functions for accessing PA info during vectorisation M ./compiler/vectorise/VectMonad.hs +8 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mail

patch applied (ghc): Make sure PA dfuns are keyed on the vectorised tycon in VectInfo

Thu Aug 2 20:00:31 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Make sure PA dfuns are keyed on the vectorised tycon in VectInfo M ./compiler/iface/TcIface.lhs -1 +1 M ./compiler/main/HscTypes.lhs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@

patch applied (ghc): Add PA dfuns to VectMonad state

Thu Aug 2 19:50:14 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * Add PA dfuns to VectMonad state M ./compiler/vectorise/VectMonad.hs +6 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: The head is invalid

=> derefnull(normal) cd . && '/Users/chak/Code/ghc-test/compiler/stage1/ghc-inplace' -no-recomp -dcore-lint -dcmm-lint -Di386_apple_darwin -o derefnull derefnull.hs>derefnull.comp.stderr 2>&1 cd . && ./derefnullderefnull.run.stdout 2>derefnull.run.stderr Wrong exit code (expected

patch applied (testsuite): FIX ghci019

Thu Aug 9 18:49:47 PDT 2007 Roman Leshchinskiy <[EMAIL PROTECTED]> * FIX ghci019 Wrong line numbers in expected output M ./tests/ghc-regress/ghci/scripts/ghci019.stdout -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.o

The head is invalid

The head finally builds again, but it does not validate on x86/MacOS: OVERALL SUMMARY for test run started at Fri Aug 10 11:32:25 EST 2007 1835 total tests, which gave rise to 7171 test cases, of which 0 caused framework failures 5628 were skipped 1482 expected passes

configure needs www

Hi all, one big nuisance when building ghc is that configure tries to connect to the internet. The culprit is the FP_GEN_DOCBOOK_XML macro in aclocal.m4 which is used when checking for DocBook DTD. It generates an XML file which references http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd

[nightly] 09-Aug-2007 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/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 Thu Aug 9 19:30:00 BST 2007. checkin

patch applied (ghc): Fix grouping by module in the mi_exports, for indexed data type families

Thu Aug 9 09:47:46 PDT 2007 [EMAIL PROTECTED] * Fix grouping by module in the mi_exports, for indexed data type families This is a little tricky. See Note [Original module] in MkIface. M ./compiler/iface/MkIface.lhs -8 +39 ___ Cvs-ghc m

patch applied (ghc): Trim imports

Thu Aug 9 08:37:55 PDT 2007 [EMAIL PROTECTED] * Trim imports M ./compiler/rename/RnExpr.lhs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Rename a constructor CmmForeignCall to CmmCallee, and tidy Cmm code

Thu Aug 9 08:37:37 PDT 2007 [EMAIL PROTECTED] * Rename a constructor CmmForeignCall to CmmCallee, and tidy Cmm code This patch should have no effect; it's mainly comments, layout, plus this contructor name change. M ./compiler/cmm/Cmm.hs -58 +63 M ./compiler/cmm/CmmBrokenBloc

patch applied (ghc): Tidy up the treatment of newtypes, refactor, and fix Trac #736

Thu Aug 9 08:34:37 PDT 2007 [EMAIL PROTECTED] * Tidy up the treatment of newtypes, refactor, and fix Trac #736 I've forgotten the precise details already, but this patch significantly refactors the way newtypes are handled, fixes the foreign-export problem Trac #736 (which concerned ne

patch applied (ghc): Improvd documentation for overlapping instances

Thu Aug 9 08:18:39 PDT 2007 [EMAIL PROTECTED] * Improvd documentation for overlapping instances M ./docs/users_guide/glasgow_exts.xml -2 +16 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Better scoring for loop breakers; fixes simplifier loop in nofib/minimax

Thu Aug 9 08:14:57 PDT 2007 [EMAIL PROTECTED] * Better scoring for loop breakers; fixes simplifier loop in nofib/minimax See Note [Inline candidates] in OccurAnal. We were getting a recursive loop exposed, which led to infinite inlinings. Doesn't bite much, but was obviously wrong.

patch applied (ghc): Remove dead code

Fri Aug 3 02:31:07 PDT 2007 [EMAIL PROTECTED] * Remove dead code M ./compiler/types/Type.lhs -26 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: Daily report for head: tnaur x86 Linux head: fail (failed stage1)

Hello, On Thursday 09 August 2007 12:23, Simon Marlow wrote: > ... > gcc seems to be putting these instructions in the prologue for certain > functions in AutoApply.hc: > > pushl %ebp > movl%esp, %ebp > > but it shouldn't be, because we're using -fomit-frame-pointer. I don't

patch applied (testsuite): Trac #736 is fixed

Thu Aug 9 04:50:38 PDT 2007 [EMAIL PROTECTED] * Trac #736 is fixed M ./tests/ghc-regress/ccall/should_compile/all.T -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

gcc global register variables optimizer bug fix available

I have attached a patch for gcc 4.0.4 to gcc bug number 32820: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32820 This patch allows building GHC 6.6.1 for HPUX/hppa with optimization on. I suspect that this is a cross-platform gcc bug so ports to other platforms using gcc global register variable

patch applied (ghc): Cabal depends on -package unix when GHC <= 6.2

Thu Aug 9 03:01:39 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * Cabal depends on -package unix when GHC <= 6.2 M ./compat/compat.mk +4 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): joinToTargets to emit fixup code even when movement graph contains cycles

Sat Jul 14 01:32:41 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * joinToTargets to emit fixup code even when movement graph contains cycles First, cycles can only start of with registers and their destination must involve a register location. This is because memory locations are allo

Re: patch applied (testsuite): cabal01: we need --with-ld=$(LD) for Windows

Esa Ilari Vuokko wrote: On 8/3/07, Simon Marlow <[EMAIL PROTECTED]> wrote: Fri Aug 3 00:52:31 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * cabal01: we need --with-ld=$(LD) for Windows M ./tests/ghc-regress/cabal/cabal01/Makefile -1 +1 What's the story of how to find ld for ghc-inplace

Re: Daily report for head: tnaur x86 Linux head: fail (failed stage1)

Thorkil Naur wrote: On Thursday 02 August 2007 14:04, Thorkil Naur wrote: On Thursday 02 August 2007 13:17, Simon Marlow wrote: Thorkil Naur wrote: This is about the x86 linux build: The error (" Prologue junk?: .globl stg_ap_p_ret" etc.) is reported again in tonight's build http://darcs.has

patch applied (testsuite): Test for Trac #1037

Sat Aug 4 10:42:31 PDT 2007 [EMAIL PROTECTED] * Test for Trac #1037 M ./tests/ghc-regress/ccall/should_fail/all.T -1 +1 A ./tests/ghc-regress/ccall/should_fail/ccfail001.hs A ./tests/ghc-regress/ccall/should_fail/ccfail001.stderr ___

patch applied (testsuite): Test for Trac #1581

Sat Aug 4 10:35:06 PDT 2007 [EMAIL PROTECTED] * Test for Trac #1581 M ./tests/ghc-regress/ghci/scripts/all.T +1 A ./tests/ghc-regress/ghci/scripts/ghci019.hs A ./tests/ghc-regress/ghci/scripts/ghci019.script A ./tests/ghc-regress/ghci/scripts/ghci019.stdout ___

patch applied (ghc): Make SpecConstr specialise for constant arguments again

Sun Aug 5 15:03:35 PDT 2007 [EMAIL PROTECTED] * Make SpecConstr specialise for constant arguments again Consider lvl = Just True foo :: Maybe Bool -> Int -> Int foo (Just True) i = i foo _ i = foo lvl i SpecConstr should specialise foo, but it wasn't doing

patch applied (ghc): Comments only: explain why StgConApp is still useful

Sun Aug 5 14:44:04 PDT 2007 [EMAIL PROTECTED] * Comments only: explain why StgConApp is still useful M ./compiler/stgSyn/StgSyn.lhs +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Add missing case to sizeofPrimRep

Sat Aug 4 10:47:59 PDT 2007 [EMAIL PROTECTED] * Add missing case to sizeofPrimRep M ./compiler/types/TyCon.lhs +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Fix Trac #1037

Sat Aug 4 10:44:20 PDT 2007 [EMAIL PROTECTED] * Fix Trac #1037 It makes *sense* for a foreign import to have a zero-sized return, thus foreign import ccall foo :: Int -> State# RealWorld but it's not clear that it's useful, and it requires some back-end (a Hint for void types

patch applied (ghc): Improve pretty-printing of 'foreign' declarations

Sat Aug 4 10:21:51 PDT 2007 [EMAIL PROTECTED] * Improve pretty-printing of 'foreign' declarations M ./compiler/hsSyn/HsDecls.lhs -4 +4 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): In GHCi, filter instances by what is in scope, not just by what is in scope unqualified

Sat Aug 4 10:35:39 PDT 2007 [EMAIL PROTECTED] * In GHCi, filter instances by what is in scope, not just by what is in scope unqualified Trac #1581 was doing too much filtering; it even filtered out intances defined in this very module! The new rule shows more instances, but hopefull

patch applied (ghc): FIX read030 (error message wibble)

Thu Aug 9 01:58:17 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * FIX read030 (error message wibble) M ./compiler/main/HeaderInfo.hs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: Todays breakage

It is already fixed if you pull the latest cabal (not the branch). On Thu, 9 Aug 2007, Simon Marlow wrote: I've pushed some patches that make things better, but it still doesn't work for me. Building base gives Data/Generics.hs:28:1: lexical error at character 'i' and if I try with the b

Re: Todays breakage

Ian Lynagh wrote: On Wed, Aug 08, 2007 at 10:27:07AM +1000, Manuel M T Chakravarty wrote: /opt/local/bin/ghc -H64m -Onot -fasm -istage1/utils -istage1/basicTypes -istage1/types -istage1/hsSyn -istage1/prelude -istage1/rename -istage1/typecheck -istage1/deSugar -istage1/coreSyn -istage1/

Re: Broken head

Ian Lynagh wrote: On Wed, Aug 08, 2007 at 04:19:29PM +0100, Simon Marlow wrote: I've just made GHC's Cabal into a branch. FWIW I think this is a mistake. It'll make changing Cabal as part of changes to the larger system harder, and increases the global amount of effort necessary. Also, I thin