patch applied (testsuite): Type families: test type family with higher kinded parameters

2007-06-28 Thread chak
Thu Jun 28 23:55:23 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: test type family with higher kinded parameters M ./tests/ghc-regress/indexed-types/should_compile/Simple6.hs +4 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (testsuite): Type families: tests excluding type families in left hand sides

2007-06-28 Thread chak
Thu Jun 28 23:40:19 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: tests excluding type families in left hand sides M ./tests/ghc-regress/indexed-types/should_fail/Simple12.hs +1 A ./tests/ghc-regress/indexed-types/should_fail/Simple13.hs A ./tests/ghc-regress/

patch applied (ghc): Checking that type indexes contain no synonym family applications

2007-06-28 Thread chak
Thu Jun 28 23:36:56 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Checking that type indexes contain no synonym family applications M ./compiler/typecheck/TcTyClsDecls.lhs -8 +45 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.has

patch applied (testsuite): Type families: test for tau typeness of rhs of type instances

2007-06-28 Thread chak
Thu Jun 28 22:20:42 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: test for tau typeness of rhs of type instances A ./tests/ghc-regress/indexed-types/should_fail/Simple12.hs A ./tests/ghc-regress/indexed-types/should_fail/Simple12.stderr M ./tests/ghc-regress/i

patch applied (ghc): RHS of a type instance must be a tau type

2007-06-28 Thread chak
Thu Jun 28 21:59:31 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * RHS of a type instance must be a tau type M ./compiler/typecheck/TcTyClsDecls.lhs -3 +11 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinf

patch applied (testsuite): Type families: tests for overlap check of type families

2007-06-28 Thread chak
Thu Jun 28 21:38:20 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: tests for overlap check of type families M ./tests/ghc-regress/indexed-types/should_fail/Over.stderr +5 M ./tests/ghc-regress/indexed-types/should_fail/OverA.hs -1 +2 M ./tests/ghc-regress/index

patch applied (ghc): Overlap check for type families

2007-06-28 Thread chak
Thu Jun 28 21:20:07 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Overlap check for type families - If two "type instance"s overlap, they right-hand sides must be syntactically equal under the overlap substitution. (Ie, we admit limited overlap, but require the system to still

Re: External Core in binary format

2007-06-28 Thread Tim Chevalier
On 6/28/07, Simon Marlow <[EMAIL PROTECTED]> wrote: The right sequence would be (a) setTarget to the desired filename (b) depanal (c) find the module name by searching in the ModGraph (d) checkModule and checkModule should optionally return the Core too. Unfortunately, checkModule curr

patch applied (ghc): Further compileToCore improvements

2007-06-28 Thread Kirsten Chevalier
Thu Jun 28 18:48:31 PDT 2007 Tim Chevalier <[EMAIL PROTECTED]> * Further compileToCore improvements Per suggestions from Simon M: * Changed GHC.checkModule so that it doesn't call depanal. * Changed GHC.checkModule to optionally return Core bindings as a component of the CheckedMod

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

2007-06-28 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 Thu Jun 28 19:30:00 BST 2007. checki

patch applied (ghc): Fixed a documentation error

2007-06-28 Thread Michael Adams
Fri Jun 8 02:11:57 PDT 2007 Michael D. Adams <[EMAIL PROTECTED]> * Fixed a documentation error M ./compiler/codeGen/Bitmap.hs -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): disable .type directives on Windows; they confuse mingw's assembler

2007-06-28 Thread Simon Marlow
Thu Jun 28 03:45:16 PDT 2007 Simon Marlow <[EMAIL PROTECTED]> * disable .type directives on Windows; they confuse mingw's assembler M ./compiler/nativeGen/PprMach.hs +4 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/l

patch applied (ghc): Also make proper references when not using fPIC but linking against dynamic libs

2007-06-28 Thread Simon Marlow
Tue Jun 19 07:29:31 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * Also make proper references when not using fPIC but linking against dynamic libs M ./compiler/nativeGen/PositionIndependentCode.hs -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskel

patch applied (ghc): Set .type @object for all global symbols in NCG

2007-06-28 Thread Simon Marlow
Wed Jun 27 09:51:50 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * Set .type @object for all global symbols in NCG When linking against a dynamic library, the linker will emit a warning if no type information is present within the library. We generate the most trivial type for all ext

patch applied (ghc): Generate RelocatableReadOnlyData as .data

2007-06-28 Thread Simon Marlow
Wed Jun 27 09:06:40 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * Generate RelocatableReadOnlyData as .data The GNU linker expects read-only sections to be relocation free. Presumably because the dynamic linker maps all read-only sections as read-only mmaps and hence can't do relocat

patch applied (ghc): Generalize linkDynLib for ELF platforms

2007-06-28 Thread Simon Marlow
Wed Jun 27 02:08:19 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * Generalize linkDynLib for ELF platforms To create a dynamic shared object (DSO) on ELF platforms, we invoke "gcc -shared". This in turn invokes ld. We supply -Bsymbolic to the linker, as "ld -Bsymbolic -shared -o " re

patch applied (ghc): Renames functions and constructors to fit their new ability for dynamic linking

2007-06-28 Thread Simon Marlow
Wed Jun 27 02:01:00 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * Renames functions and constructors to fit their new ability for dynamic linking function: staticLink -> linkBinary (will link non static binaries too) function: doMkDLL -> linkDynLib (as we can link on ELF too where DLL is

patch applied (ghc): PprMach.hs more accurate hack for x86-64, CmmLabelOff is not a relative reference.

2007-06-28 Thread Simon Marlow
Tue Jun 26 06:46:36 PDT 2007 Clemens Fruhwirth <[EMAIL PROTECTED]> * PprMach.hs more accurate hack for x86-64, CmmLabelOff is not a relative reference. CmmLabelDiffOff are generated in .text and if printed as .quad, causes the assembler to emit a PC64 relocation. binutils prior to 2.17 d

patch applied (testsuite): Add test for Trac #1445

2007-06-28 Thread Simon Peyton Jones
Thu Jun 28 01:30:59 PDT 2007 [EMAIL PROTECTED] * Add test for Trac #1445 M ./tests/ghc-regress/typecheck/should_compile/all.T +1 A ./tests/ghc-regress/typecheck/should_compile/tc230.hs ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.h

Re: External Core in binary format

2007-06-28 Thread Simon Marlow
Tim Chevalier wrote: On 6/27/07, Neil Mitchell <[EMAIL PROTECTED]> wrote: It works fine. The problem is that loadCoreFile takes a filename, and the module name of that filename. Is there any way I can modify this code to not require the module name, but get it from the API? Yeah, I figured t

patch applied (ghc): Fix typechecking bug with implicit parameters (Trac #1445)

2007-06-28 Thread Simon Peyton Jones
Thu Jun 28 01:11:05 PDT 2007 [EMAIL PROTECTED] * Fix typechecking bug with implicit parameters (Trac #1445) tcSplitFunTy_maybe wasn't dealing with types like (?x::Bool) => Int Here, tcSplitFunTy_maybe should fail (as it would if there was a for-all), because the type is a quanti

patch applied (ghc): White space only

2007-06-28 Thread Simon Peyton Jones
Thu Jun 28 01:02:03 PDT 2007 [EMAIL PROTECTED] * White space only M ./compiler/typecheck/TcSplice.lhs -2 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): Improve error message when there is instance overlap

2007-06-28 Thread Simon Peyton Jones
Thu Jun 28 00:36:41 PDT 2007 [EMAIL PROTECTED] * Improve error message when there is instance overlap M ./compiler/types/InstEnv.lhs -4 +5 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Daily report for head

2007-06-28 Thread BuildBot Collator
Build results: x86-64 Linux head:lost x86 Windows head: fail (failed darcs) x86 Windows head fast:fail (failed stage1) fail (failed stage1) pass fail (failed recompileutilswithstage1) fail (failed recompileutilswithstage1) fail (failed recompileutilswithstage1) mne