patch applied (testsuite): TFs: 7 tests fail as they used unsupported superclass equalities

2008-10-21 Thread chak
Tue Oct 21 06:59:41 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * TFs: 7 tests fail as they used unsupported superclass equalities M ./tests/ghc-regress/indexed-types/should_compile/all.T -7 +7 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081021135941-6295

patch applied (ghc): Reject programs with superclass equalities for now

2008-10-21 Thread chak
Tue Oct 21 06:17:21 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Reject programs with superclass equalities for now - The current implementation of type families cannot properly deal with superclass equalities. Instead of making a half-hearted attempt at supporting them, whic

Re: darcs patch: Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Ian Lynagh
On Tue, Oct 21, 2008 at 02:59:02PM +0100, Simon Marlow wrote: > Judah Jacobson wrote: > > >Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> > > * Restore the terminal attributes even if ghci does not exit normally. > > > >M ./compiler/ghci/InteractiveUI.hs -4 +3 > > Applied,

Re: Codegen changes

2008-10-21 Thread Ian Lynagh
On Tue, Oct 21, 2008 at 08:25:35AM -0400, John Dias wrote: > Just ran validate. Is the following a currently acceptable result Yes, these tests randomly sometimes fail. Simon M, I think you looked into this a while ago - do you know what's going on with these tests? > Unexpected failures: >b

patch applied (ghc-6.10/ghc): Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Ian Lynagh
Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> * Restore the terminal attributes even if ghci does not exit normally. M ./compiler/ghci/InteractiveUI.hs -4 +3 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20081020164109-9f663-605419c63405f0b45be08

patch applied (ghc-6.10/ghc): Wibble to ungrammatical error message

2008-10-21 Thread Ian Lynagh
Sat Sep 20 16:22:56 PDT 2008 [EMAIL PROTECTED] * Wibble to ungrammatical error message M ./compiler/typecheck/TcExpr.lhs -1 +1 View patch online: http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20080920232256-1287e-25e244ba3914aba2822d345d8e21b27a68381156.gz _

patch applied (ghc-6.10/ghc): FIX #2693

2008-10-21 Thread Ian Lynagh
Tue Oct 21 05:01:07 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2693 - As long as the first reduceContext in tcSimplifyRestricted potentially performs improvement, we need to zonk again before the second reduceContext. It would be better to prevent the improvement in the

patch applied (ghc-6.10/ghc): FIX #2688

2008-10-21 Thread Ian Lynagh
Mon Oct 20 21:42:13 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2688 - Change in TcSimplify.reduceContext: We do *not* go around for new extra_eqs. Morally, we should, but we can't without risking non-termination (see #2688). By not going around, we mis

patch applied (ghc-6.10/ghc): FIX (partially) #2703: bug in stack overflow handling when inside block

2008-10-21 Thread Ian Lynagh
Mon Oct 20 05:11:03 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * FIX (partially) #2703: bug in stack overflow handling when inside block As a result of a previous ticket (#767) we disabled the generation of StackOverflow exceptions when inside a Control.Exception.block, on the grounds that

patch applied (ghc): Fix doc syntax

2008-10-21 Thread Ian Lynagh
Tue Oct 21 11:33:17 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix doc syntax M ./compiler/typecheck/TcTyClsDecls.lhs -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081021183317-3fd76-1167434be4a181643ec10d0978cc6cbf2d4a1993.gz __

patch applied (ghc-6.10/ghc): Don't put the README file in the Windows installer; fixes trac #2698

2008-10-21 Thread Ian Lynagh
Tue Oct 21 09:25:43 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Don't put the README file in the Windows installer; fixes trac #2698 The README file talks about getting and building the sources, which doesn't make sense for the installer. M ./distrib/ghc.iss -2 View patch online: http://

patch applied (ghc): Don't put the README file in the Windows installer; fixes trac #2698

2008-10-21 Thread Ian Lynagh
Tue Oct 21 09:25:43 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Don't put the README file in the Windows installer; fixes trac #2698 The README file talks about getting and building the sources, which doesn't make sense for the installer. M ./distrib/ghc.iss -2 View patch online: http://

RE: patch applied (ghc): FIX #2693

2008-10-21 Thread Simon Peyton-Jones
Manuel Thanks for doing this. For patches that should be merged to the 6.10 branch, the protocol is this: * change the Trac ticket type from 'bug' to 'merge'. * change owner to 'igloo' * add a comment giving the patch that needs to be merged I'm not sure we ever told you about this, but it help

patch applied (testsuite): Improved error message on data constructor return types

2008-10-21 Thread Simon Peyton Jones
Mon Oct 20 23:39:33 PDT 2008 [EMAIL PROTECTED] * Improved error message on data constructor return types M ./tests/ghc-regress/gadt/gadt11.stderr -5 +6 M ./tests/ghc-regress/typecheck/should_fail/tcfail155.stderr -5 +6 M ./tests/ghc-regress/typecheck/should_fail/tcfail176.stderr -6

patch applied (testsuite): Track error message change in deriving

2008-10-21 Thread Simon Peyton Jones
Mon Oct 20 23:38:59 PDT 2008 [EMAIL PROTECTED] * Track error message change in deriving M ./tests/ghc-regress/deriving/should_fail/drvfail009.stderr -24 +23 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/20081021063859-1287e-a36ac3228f4fbd29476b5ba2875f5e7f32e4ebef.gz

patch applied (testsuite): Add test for data instances that are GADTs

2008-10-21 Thread Simon Peyton Jones
Mon Oct 20 21:34:59 PDT 2008 [EMAIL PROTECTED] * Add test for data instances that are GADTs A ./tests/ghc-regress/indexed-types/should_compile/TF_GADT.hs M ./tests/ghc-regress/indexed-types/should_compile/all.T +1 View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/200

patch applied (ghc): Comments and parens only

2008-10-21 Thread Simon Peyton Jones
Tue Oct 21 08:14:01 PDT 2008 [EMAIL PROTECTED] * Comments and parens only M ./compiler/typecheck/TcSimplify.lhs -2 +2 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081021151401-1287e-bf6421c01ee029b021f43909ccd94895f0892022.gz ___

patch applied (ghc): Do proper cloning in worker/wrapper splitting

2008-10-21 Thread Simon Peyton Jones
Tue Oct 21 07:31:56 PDT 2008 [EMAIL PROTECTED] * Do proper cloning in worker/wrapper splitting See Note [Freshen type variables] in WwLib. We need to clone type variables when building a worker/wrapper split, else we simply get bogus code, admittedly in rather obscure situations. I ca

patch applied (ghc): Don't float an expression wrapped in a cast

2008-10-21 Thread Simon Peyton Jones
Tue Oct 21 07:30:19 PDT 2008 [EMAIL PROTECTED] * Don't float an expression wrapped in a cast There is no point in floating out an expression wrapped in a coercion; If we do we'll transform lvl = e |> co [_$_] to lvl' = e; lvl = lvl' |> co and then inline lvl. Be

patch applied (ghc): Spelling error in comment

2008-10-21 Thread Simon Peyton Jones
Sun Oct 19 16:35:11 PDT 2008 [EMAIL PROTECTED] * Spelling error in comment M ./compiler/deSugar/MatchCon.lhs -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081019233511-1287e-0774786440aa0ea2a91ce1079f4c3fc94420c694.gz __

patch applied (ghc): Fix Trac #2668, and refactor TcDeriv

2008-10-21 Thread Simon Peyton Jones
Tue Oct 21 07:29:22 PDT 2008 [EMAIL PROTECTED] * Fix Trac #2668, and refactor TcDeriv TcDeriv deals with both standalone and ordinary 'deriving'; and with both data types and 'newtype deriving'. The result is really rather compilcated and ad hoc. Ryan discovered #2668; this patch fi

patch applied (ghc): White space only

2008-10-21 Thread Simon Peyton Jones
Sun Oct 19 16:33:52 PDT 2008 [EMAIL PROTECTED] * White space only M ./compiler/basicTypes/MkId.lhs -7 +8 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081019233352-1287e-0250aff2ee4f6c7513de191434d3e7690d3e729c.gz ___ Cvs-ghc

patch applied (ghc): Comments to explain strict overlap checking for type family instances

2008-10-21 Thread Simon Peyton Jones
Sun Oct 19 11:42:08 PDT 2008 [EMAIL PROTECTED] * Comments to explain strict overlap checking for type family instances M ./compiler/typecheck/FamInst.lhs +10 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081019184208-1287e-224770106c1cdf6079df8c33842e82ff651f52c5.gz ___

patch applied (ghc): Allow type families to use GADT syntax (and be GADTs)

2008-10-21 Thread Simon Peyton Jones
Tue Sep 23 07:05:35 PDT 2008 [EMAIL PROTECTED] * Allow type families to use GADT syntax (and be GADTs) We've always intended to allow you to use GADT syntax for data families: data instance T [a] where T1 :: a -> T [a] and indeed to allow data instances to *be* GADTs

patch applied (ghc): Improve crash message from applyTys and applyTypeToArgs

2008-10-21 Thread Simon Peyton Jones
Tue Sep 23 06:54:19 PDT 2008 [EMAIL PROTECTED] * Improve crash message from applyTys and applyTypeToArgs M ./compiler/coreSyn/CoreUtils.lhs -1 +2 M ./compiler/types/Type.lhs -2 +2 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080923135419-1287e-67d799dd9380fe92bab254

patch applied (ghc): Wibble to ungrammatical error message

2008-10-21 Thread Simon Peyton Jones
Sat Sep 20 16:22:56 PDT 2008 [EMAIL PROTECTED] * Wibble to ungrammatical error message M ./compiler/typecheck/TcExpr.lhs -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080920232256-1287e-25e244ba3914aba2822d345d8e21b27a68381156.gz __

patch applied (ghc): Comments only: replace ":=:" by "~" (notation for equality predicates)

2008-10-21 Thread Simon Peyton Jones
Sat Sep 20 16:20:24 PDT 2008 [EMAIL PROTECTED] * Comments only: replace ":=:" by "~" (notation for equality predicates) M ./compiler/basicTypes/DataCon.lhs -7 +7 M ./compiler/basicTypes/MkId.lhs -1 +1 M ./compiler/basicTypes/Var.lhs -1 +1 M ./compiler/coreSyn/CoreUtils.lhs -3 +3

Re: profiling report fixes between 6.8.3 and 6.10?

2008-10-21 Thread Simon Marlow
Claus Reinke wrote: Forgot to ask earlier, when I still had the offending profiles:-( Have there been any profiling report fixes after 6.8.3? I had a case where 6.8.3 -Pa profiling lied to me. An SCC kept being reported as doing substantial allocations, even after I reduced it to no more than

profiling report fixes between 6.8.3 and 6.10?

2008-10-21 Thread Claus Reinke
Forgot to ask earlier, when I still had the offending profiles:-( Have there been any profiling report fixes after 6.8.3? I had a case where 6.8.3 -Pa profiling lied to me. An SCC kept being reported as doing substantial allocations, even after I reduced it to no more than readArray (in ST). On

Re: darcs patch: Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Simon Marlow
Judah Jacobson wrote: Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> * Restore the terminal attributes even if ghci does not exit normally. M ./compiler/ghci/InteractiveUI.hs -4 +3 Applied, thanks! Simon ___ Cvs-ghc mailing

type families & type-level recursion

2008-10-21 Thread Peter Gavin
Dear GHC developers, I've been working with type families to design a framework for type-level numerical computations (I'm sure everyone here is familiar with the idea). I made a library implementing most of the basic stuff[1], and I've been using it to try to build functions that use type-le

patch applied (testsuite): T2693

2008-10-21 Thread chak
Tue Oct 21 04:58:58 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * T2693 A ./tests/ghc-regress/indexed-types/should_fail/T2693.hs A ./tests/ghc-regress/indexed-types/should_fail/T2693.stderr M ./tests/ghc-regress/indexed-types/should_fail/all.T +1 View patch online: http://d

patch applied (ghc): FIX #2693

2008-10-21 Thread chak
Tue Oct 21 05:01:07 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * FIX #2693 - As long as the first reduceContext in tcSimplifyRestricted potentially performs improvement, we need to zonk again before the second reduceContext. It would be better to prevent the improvement in the

RE: Codegen changes

2008-10-21 Thread John Dias
Just ran validate. Is the following a currently acceptable result, or do I have something to fix over here before I push? OVERALL SUMMARY for test run started at Tue Oct 21 08:01:49 EDT 2008 2232 total tests, which gave rise to 8384 test cases, of which 0 caused framework failures

patch applied (ghc): Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Simon Marlow
Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> * Restore the terminal attributes even if ghci does not exit normally. M ./compiler/ghci/InteractiveUI.hs -4 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081020164109-9f663-605419c63405f0b45be080ba591447

Daily report for head

2008-10-21 Thread BuildBot Collator
Build results: x86-64 Linux head: fail (failed bindisttest failed slave lost) x86 Windows head:fail (failed darcs) x86 Windows head fast: pass pass pass fail (failed getsubrepos) pass pass fail (failed getsubrepos) gabor head: fail (failed darcs) kgardas head:

Daily report for stable

2008-10-21 Thread BuildBot Collator
Build results: tnaur x86 OS X stable: pass x86 Linux stable:pass x86 Windows stable: fail (failed stage1) x86 Windows stable fast: pass pass pass pass pass pass pass x86-64 Linux stable: pass New unexpected test failures: break017 1 tnaur x86 OS X stable Fixed unexpected