Timeline


and

Dec 29, 2012:

10:55 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) closed by monoidal
duplicate: Almost certainly a duplicate of #5951 - you have a malformed class …
5:13 PM Ticket #7539 (Hard ghc api crash when calling runStmt on code which has not been ...) created by edsko
(See attached example program demonstrating the crash.) When the session …
5:13 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) created by eli_sennesh
[…]
6:40 AM Ticket #7537 ([PATCH] Incorrect Haskell type for ino_t on MacOS X 10.5) created by PHO
I found a strange problem that System.Posix.Internals.fdStat reporting …
12:18 AM Changeset in testsuite [f3ed78e]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for the type-nat solver.
12:14 AM Changeset in ghc [45279919]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Iavor S. Diatchki <iavor.diatchki@…>
Fix dictionaries for SingI. This adds the missing coercions in the constructed evidence for SingI. Previously we simply passed an integer or a string for the evidence, which was not quite correct and causes errors when the core lint is enabled. This patch corrects this by inserting the necessary coercions.

Dec 28, 2012:

6:19 PM Ticket #7536 (Panic with TypeFamilies with type synonym instances) created by snowleopard
The code below brings GHC to panic. […] Panic details: […] Can …
4:13 PM Ticket #7535 (Using -with-rtsopts=-N should fail unless -threaded is also specified) created by mhoermann
If ghc can already tell at compile time that the specified -with-rtsopts …
8:13 AM Changeset in base [040313e]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush).
8:13 AM Changeset in ghc [0862dcc5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Joey Adams <joeyadams3.14159@…>
BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush).
8:13 AM Changeset in base [cb6f03d]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
GHC.IO.Buffer: use memmove instead of memcpy in slideContents
8:13 AM Changeset in ghc [d7b5f524]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Joey Adams <joeyadams3.14159@…>
GHC.IO.Buffer: use memmove instead of memcpy in slideContents

Dec 27, 2012:

9:46 AM Ticket #7534 (allocateRegsAndSpill: Cannot read from uninitialized register) created by erikd
Building git HEAD on linux-powerpc64 and I get: […]

Dec 26, 2012:

11:29 PM Ticket #7533 (References to very old GHC in the docs) created by benmachine
It's probably safe not to warn people that things are new in GHC 6.6 these …
7:00 PM Ticket #7527 (Couldn't match kind `*' with `*' with PolyKinds & GADTs.) closed by goldfire
fixed: Fixed in HEAD: […] Are you claiming that this should type check? Or, …
5:49 PM Ticket #7532 (-ddump-splices output doesn't match generated code for data instances ...) created by Aninhumer
Using the following code: […] […] When compiling the second file in …

Dec 25, 2012:

6:37 PM Ticket #7531 (after manualy installing array-0.4.0.1) created by guest
After manually installing array-0.4.0.1 installation manually of Cabal …
6:10 PM Ticket #7529 (Crash when using (->) instead of (=>) in a typeclass instance) closed by monoidal
duplicate: Thanks for the report, the bug is already fixed in GHC 7.6.1, see #5951. …
4:05 PM Ticket #7530 (Proposal: Add isLeft/isRight to Data.Either) created by SimonHengel
I propose to add isLeft/isRight to Data.Either. The …
2:50 PM Ticket #7529 (Crash when using (->) instead of (=>) in a typeclass instance) created by Helkafen
import qualified Data.Vector as V import Test.QuickCheck import …
2:32 PM Ticket #7528 (Non terminating thunk resolution blocks world, even in the case of forkOS) created by timthelion
Please see: http://comments.gmane.org/gmane.comp.lang.haskell.cafe/102479
6:15 AM Ticket #7527 (Couldn't match kind `*' with `*' with PolyKinds & GADTs.) created by Ashley Yakeley
[…] […]

Dec 24, 2012:

6:03 PM Ticket #7526 (Minor typo in error message) created by parcs
Compiling the following snippet […] gives the following error message …
4:01 PM Changeset in ghc [2f784e3b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Don't run T7507 in ghci
4:01 PM Changeset in testsuite [cc59fbaf]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Don't run T7507 in ghci
3:57 PM Ticket #4321 (Unexpected stack overflow prevented by superfluous type annotation) closed by simonpj
fixed: In the end, the patch to #7507 fixed this too. Simon
3:55 PM Ticket #7507 (loop fusion not working for Int32, Int64 as it does for Int ?) closed by simonpj
fixed: See also #4321. Fixed by this patch to base: […]
3:53 PM Changeset in ghc [77dc6948]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #7507
3:53 PM Changeset in testsuite [c271ee47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7507
2:44 PM Changeset in base [06e36c6]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Make sum and product INLINABLE This was causing the bad behaviour in Trac #7507, because 'sum' wasn't getting specialised to Int64. It also deals with Trac #4321, which had the same cause. This has a big effect on some nofib programs too: -------------------------------------------------------------------------------- Program Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------------ bernouilli -2.6% -2.0% -2.0% +0.0% fft2 -23.8% 0.09 0.09 -16.7% fluid -4.4% 0.01 0.01 +0.0% hidden -3.2% +2.1% +1.8% +0.0% integrate -38.0% -47.7% -47.7% -1.0% x2n1 -30.2% 0.01 0.01 -50.0% ------------------------------------------------------------------------ Min -38.0% -47.7% -47.7% -50.0% Max +0.4% +11.2% +11.8% +6.9% Geometric Mean -1.3% +0.2% +0.2% -0.8%
2:44 PM Changeset in ghc [f251bf58]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Peyton Jones <simonpj@…>
Make sum and product INLINABLE This was causing the bad behaviour in Trac #7507, because 'sum' wasn't getting specialised to Int64. It also deals with Trac #4321, which had the same cause. This has a big effect on some nofib programs too: -------------------------------------------------------------------------------- Program Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------------ bernouilli -2.6% -2.0% -2.0% +0.0% fft2 -23.8% 0.09 0.09 -16.7% fluid -4.4% 0.01 0.01 +0.0% hidden -3.2% +2.1% +1.8% +0.0% integrate -38.0% -47.7% -47.7% -1.0% x2n1 -30.2% 0.01 0.01 -50.0% ------------------------------------------------------------------------ Min -38.0% -47.7% -47.7% -50.0% Max +0.4% +11.2% +11.8% +6.9% Geometric Mean -1.3% +0.2% +0.2% -0.8%
2:07 PM Changeset in ghc [3a2ce0b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
2:07 PM Changeset in testsuite [d961a51]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
2:04 PM Changeset in ghc [53a3f0d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Bump the residency of T4801 Residency is a very wobbly number; it depends on GC sampling time. So I don't think this is a real regression.
2:04 PM Changeset in testsuite [349493e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bump the residency of T4801 Residency is a very wobbly number; it depends on GC sampling time. So I don't think this is a real regression.
1:43 PM Changeset in ghc [545fd8b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Make the treatment of addAltUnfoldings handle casts This minor refactoring re-attaches Note [Add unfolding for scrutinee]. It had become detached, which led me on a bit of a wild goose chase. While I was at it, I made the code work right for the case where the scrutinee is of form (x |> co); I don't think this is an important improvement. I also make simplAlt unconditionally zap occurrence information on case-alternative binders (see Note [Case alternative occ info]); it was almost always being zapped and the additional complexity seems not worth it.
1:25 PM Changeset in ghc [bacf7ca0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Make combine-identical-alternatives work again (Trac #7360) Move the "combine indentical alternatives" transformation *before* simplifying the alternatives. For example case x of y [] -> length y (_:_) -> length y } If we look *post* simplification, since 'y' is used in the alterantives, the case binders *might* be (see the keep_occ_info test in Simplify.simplAlt); and hence the combination of the two alteranatives does not happen. But if we do it *pre* simplification there is no problem. This fixes Trac #7360.
1:20 PM Changeset in ghc [89eb9e92]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Add traceSmpl for simplifier tracing, now that the simplifier has the IO monad
11:34 AM Changeset in ghc [9ea2b66]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Simplify the binder-swap transformation The occurrence analyser implements the "binder-swap" transformation, described in Note [Binder swap] in OccAnal. For some reason I had implemeted an extremely complicated version, I believe intended to get as much as possible done in single simplifier pass. But it turned out (Trac #7258) that the 'getProxies' bit of this complicated code scaled rather non-linearly, and all by itself could consume half of the entire compile time. The patch dramatically simplifies the transformation, so that we simply swizzle case x of y { I# v -> e } to case x of y { I# v -> let x = y in e } I can't see any reason not to do this * Compiler allocation for #7258 with 200 fields goes down by 25% and compile time by 20% * The nofib figures do not budge * Quite a bit of complicated code goes away
11:20 AM Changeset in ghc [e661e290]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Comment typo only
10:55 AM Changeset in ghc [49bfb631]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Wibble to debug output
10:55 AM Changeset in testsuite [7f9bd37]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to debug output
10:08 AM Commentary/Compiler/CodeGen edited by ezyang
(diff)
10:06 AM Commentary/Compiler/CodeGen edited by ezyang
old is gone (diff)
9:50 AM Changeset in ghc [1f7d26b2]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:50 AM Changeset in testsuite [07c0058]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:50 AM Changeset in base [f07215b]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
9:50 AM Changeset in ghc [5d608279]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
9:49 AM Changeset in ghc [7cc8a3c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:49 AM Changeset in ghc [62a3c50a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #7525
9:49 AM Changeset in testsuite [fb2d741]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7525
9:46 AM Changeset in ghc [1d07cc04]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Remember to zonk when taking free variables in simpl_top Forgetting this meant that we were upating the same meta-tyvar twice. Fixes Trac #7525.
9:38 AM Changeset in ghc [e9e650d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
A bit more tracing
Note: See TracTimeline for information about the timeline view.