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
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
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,
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
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
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
_
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
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
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
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
__
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://
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://
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
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
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
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
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
___
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
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
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
__
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
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
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
___
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
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
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
__
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
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
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
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
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
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
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
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
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
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:
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
37 matches
Mail list logo