patch applied (testsuite): tcfail145 error message improved, too

2008-10-01 Thread chak
Wed Oct 1 22:24:48 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * tcfail145 error message improved, too M ./tests/ghc-regress/typecheck/should_fail/tcfail145.stderr -3 +5 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081002052448-6295e-d563a5343b1081e2d2ee4

patch applied (testsuite): TFs: T2448

2008-10-01 Thread chak
Wed Oct 1 21:55:10 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: T2448 A ./tests/ghc-regress/indexed-types/should_compile/T2448.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200810020455

patch applied (testsuite): TFs: Proper error message for GADT12

2008-10-01 Thread chak
Wed Oct 1 07:42:44 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Proper error message for GADT12 M ./tests/ghc-regress/indexed-types/should_compile/GADT12.hs -1 +2 A ./tests/ghc-regress/indexed-types/should_compile/GADT12.stderr M ./tests/ghc-regress/indexed-types/shou

patch applied (ghc): Proper error message for unsupported pattern signatures

2008-10-01 Thread chak
Wed Oct 1 07:43:39 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Proper error message for unsupported pattern signatures - Pattern signatures must be identical to the type expected for the pattern; see Note [Pattern coercions] - We now signal an appropriate error if an equality

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

2008-10-01 Thread GHC Build Reports
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 Wed Oct 1 18:02:05 BST 2008. checking out

patch applied (ghc): Prevent excessive inlining with DPH

2008-10-01 Thread Roman Leshchinskiy
Wed Oct 1 18:20:55 PDT 2008 Roman Leshchinskiy <[EMAIL PROTECTED]> * Prevent excessive inlining with DPH This adds a new flag -finline-if-enough-args which disables inlining for partially applied functions. It is automatically set by -Odph. This is a temporary hack and should remain un

[nightly] 01-Oct-2008 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2008-10-01 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Wed Oct 1 19:00:01 BST 2008. ***

patch applied (testsuite): Print out exceptions when cleaning tests

2008-10-01 Thread Ian Lynagh
Wed Oct 1 12:48:13 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Print out exceptions when cleaning tests M ./driver/testlib.py -3 +11 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081001194813-3fd76-d2f637b0d88649abff26d8eed58868fce6cb.gz ___

patch applied (ghc): On Windows, check that we have a good version of windres when configuring

2008-10-01 Thread Ian Lynagh
Wed Oct 1 10:11:33 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * On Windows, check that we have a good version of windres when configuring M ./aclocal.m4 +40 M ./configure.ac +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081001171133-3fd76-f828b960e628aeb3a826ff66701

patch applied (ghc): Call $(PERL) rather than perl when making the manpage

2008-10-01 Thread Ian Lynagh
Tue Sep 30 08:50:54 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Call $(PERL) rather than perl when making the manpage M ./docs/man/Makefile -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080930155054-3fd76-ae6fa812549d05c4672734261f5d8edc469261f8.gz _

patch applied (ghc): don't install the installPackage program

2008-10-01 Thread Ian Lynagh
Tue Sep 30 07:57:14 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * don't install the installPackage program M ./utils/Makefile -2 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080930145714-3fd76-93758fa2d5d1e3eadcd081dd19dc85cc58fb430f.gz _

patch applied (testsuite): add test for #2410

2008-10-01 Thread Simon Marlow
Tue Sep 30 08:08:03 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * add test for #2410 A ./tests/ghc-regress/profiling/should_compile/2410.hs M ./tests/ghc-regress/profiling/should_compile/all.T +2 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20080930150803-12142-d1

patch applied (ghc): Fix #2637: conc032(threaded2) failure

2008-10-01 Thread Simon Marlow
Wed Oct 1 06:55:49 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * Fix #2637: conc032(threaded2) failure There was a race condition whereby a thread doing throwTo could be blocked on a thread that had finished, and the GC would detect this as a deadlock rather than raising the pending excepti

patch applied (ghc): Remove outdated link to OGI webpage

2008-10-01 Thread Simon Marlow
Tue Sep 30 08:09:12 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * Remove outdated link to OGI webpage M ./docs/users_guide/glasgow_exts.xml -5 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080930150912-12142-30e3bc4a0cdae947ca537c0a6b73fa4671429cbe.gz

patch applied (testsuite): TFs: Fixed InstContextNorm

2008-10-01 Thread chak
Wed Oct 1 06:04:46 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Fixed InstContextNorm M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1 M ./tests/ghc-regress/typecheck/should_fail/tcfail171.stderr -3 +3 View patch online: http://darcs.haskell.org/testsuite/_

patch applied (ghc): TFs: Fixed InstContextNorm (and simplification of IPs)

2008-10-01 Thread chak
Wed Oct 1 06:13:03 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: Fixed InstContextNorm (and simplification of IPs) MERGE TO 6.10 M ./compiler/typecheck/TcSimplify.lhs -4 +54 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081001131303-6295e-c78cd1a4f2d

patch applied (ghc): TcSimplify.reduceImplication: clean up

2008-10-01 Thread chak
Wed Oct 1 02:13:15 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TcSimplify.reduceImplication: clean up - This cleans up some of the mess in reduceImplication and documents the precondition on the form of wanted equalities properly. - I also made the back off test a bit smarter