Timeline


and

Mar 9, 2012:

11:56 PM Ticket #5924 (Bad Cmm generated for updating one element in Array#) created by tibbe
I've attached a small standalone program that implements the following …
11:47 PM Changeset in ghc [2c4b427c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Add type signature necessary for GHC 7.0.4
5:20 PM Ticket #5917 (Don't defer type errors when evaluating a GHCi expression) closed by simonpj
fixed: Good idea thanks […]
5:19 PM Changeset in ghc [69b2113c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:53 PM Ticket #5670 (Document that Enum Integer is subject to list fusion.) closed by pcapriotti
fixed: Merged to stable as 09a58302c560e01af7c28b65c1efa45439d5b7b8.
3:51 PM Changeset in ghc [4a3b8c3f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Documentation update: Enumerations of Integers are subject to list fusion (#5670)
3:49 PM Changeset in ghc [09a58302]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Documentation update: Enumerations of Integers are subject to list fusion (#5670) MERGED from commit 5adbc7535d755429b4cb80b0106eec42ec20b4b9
3:26 PM Changeset in ghc [b74748f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wrap quotes in an error message
3:25 PM Changeset in ghc [301a718b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Don't defer type errors when evaluating a GHCi expression It is unhelpful here because the expression will get evaluated right away anyway, thus emitting a redundant warning followed by an equivalent runtime exception. If the expression were an ill-typed pure expression, _three_ equivalent type errors would get emitted (due to the two-phase typechecking done in 'Plan C')
3:10 PM Ticket #5922 (ghc told me to report it. after I change 'Show' in deriving to 'show') closed by simonpj
fixed: I've added a test.
3:09 PM Ticket #5858 (type inference of an OverloadedString for a class instance with type ...) closed by simonpj
fixed: I've added a test too. Thanks for the idea.
3:06 PM Changeset in ghc [ea9ba3ff]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Bumping allocation limit for parsing001 a little I'm not sure why this one is allocating more since 7.4.1 but it is.
3:06 PM Changeset in testsuite [58ac027]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bumping allocation limit for parsing001 a little I'm not sure why this one is allocating more since 7.4.1 but it is.
3:05 PM Changeset in ghc [0534f09f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5922
3:05 PM Changeset in testsuite [108b41a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5922
2:20 PM Changeset in unix [d903193]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Remove tabs from System.Posix.Env.hsc.
1:35 PM Changeset in ghc [3c08377]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5858
1:35 PM Changeset in testsuite [6b1fc9d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5858
1:32 PM Changeset in ghc [9d9a897]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:32 PM Changeset in testsuite [6df0afe]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:31 PM Changeset in ghc [b2fb5b9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Raft of wibbles after refactoring type-class constraint errors ...in response to Trac #5858
1:31 PM Changeset in testsuite [9e2af8e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Raft of wibbles after refactoring type-class constraint errors ...in response to Trac #5858
1:28 PM Changeset in ghc [0034b43]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:27 PM Changeset in ghc [7b0f95cf]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve reporting of type-class errors Inspired by suggestions on Trac #5858, the errors now mention "potential instances". Lots of refactoring as usual, but localised.
1:11 PM Changeset in ghc [25017db]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Move base and unix tests to respective packages; part of #1161.
1:11 PM Changeset in testsuite [f9329eb6]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Move base and unix tests to respective packages; part of #1161.
1:04 PM Changeset in base [b4f59dd]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Copy tests from GHC testsuite; part of #1161.
12:23 PM Ticket #5923 (closure_flags[] contains wrong _BTM data (whether the layout is bitmap or ...) created by nomeata
After reading through source:rts/sm/Scav.c I find that among the objects …
12:02 PM Ticket #5922 (ghc told me to report it. after I change 'Show' in deriving to 'show') created by guest
[1 of 1] Compiling Main ( /home/oz/aaa/engine.hs, interpreted …
11:44 AM Changeset in unix [891c0bf]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Copy tests from GHC testsuite (#1161)
10:59 AM Changeset in ghc [4d3d5a52]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix another bug in CmmOpt
4:17 AM Records/DeclaredOverloadedRecordFields edited by AntC
clarify rules re Proxy_type decl (diff)
12:59 AM Changeset in ghc [f630970d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Tweak the HADDOCK_DOCS regex in validate It's less precise now, but still good enough for what we need, and this way we don't need to have literal tabs in the file.

Mar 8, 2012:

5:44 PM Ticket #5921 (Two GHC linkers running in parallel on Windows goes wrong) created by NeilMitchell
Running the attached script, I get one of three error messages …
2:54 PM Changeset in ghc [50dc934]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
An optimisation to reduce code size in a common case
1:32 PM Changeset in ghc [5c1a8cd3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Refactoring only
12:58 PM Ticket #3818 (ghc-pkg prints warnings to stdout instead of stderr) closed by pcapriotti
fixed
12:55 PM Changeset in ghc [d6b1050d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
ghc-pkg: make sure info messages go to stdout and errors to stderr (#3818)
11:29 AM Changeset in ghc [253d34d2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Update perf bounds for i386.
11:29 AM Changeset in testsuite [1080a64]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update perf bounds for i386.
9:30 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
8:40 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
8:30 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
8:24 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
8:23 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
8:23 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
7:43 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
7:24 AM Records/DeclaredOverloadedRecordFields edited by AntC
Add thumbnail sketch, by popular demand (diff)
4:19 AM Ticket #5920 (stack overflow in strict function depending on return type) created by ben0x539
With -O or up, but not with -fno-strictness, the following program …
1:35 AM Ticket #5919 (Wrong error message for TH when GHCi is not enabled) created by duncan
A user reported this confusing error message: […] The compiler was …

Mar 7, 2012:

9:56 PM Ticket #5918 (hsc2hs forces wordsize (i.e. -m32 or -m64) to be the choice of GHC instead ...) created by Atze
I am not sure whether to call this a bug as it does not cause a failure of …
8:30 PM Changeset in ghc [dfe536b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Give a unfolding argument discount proportional to the number of available arguments Ensures that h1 gets inlined into its use sites in cases like: """ h1 k = k undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined undefined a = h1 (\x _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ -> x) b = h1 (\_ x _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ -> x) """ I've benchmarked this on nofib (albeit recompiling only the benchmarks, not the library) and it hardly shifts the numbers - binary size is up by 0.1% at most (average 0.0%) and the worst-case allocation increase is 0.2% (best case -0.1%, 0.0% average). If you also rebuild the libraries with this change, the only further change is a +0.2% allocation increase in cacheprof. So this looks like a pretty low-risk change that will considerably benefit certain programs.
8:29 PM Changeset in ghc [5ec8527]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Accept changed debug output from Simon's changes to GHC
8:29 PM Changeset in testsuite [91eeb90]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Accept changed debug output from Simon's changes to GHC
5:28 PM Changeset in ghc [4f070dd]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc into unboxed-tuple-arguments
5:10 PM Changeset in testsuite [5b5c144]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Testsuite update for unboxed tuples in arguments
4:30 PM Changeset in ghc [feeedb3c]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Attempt to preemptively fix bugs in the StgCmm codepath
4:30 PM Changeset in ghc [5474db7]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Fix bugs exposed by testsuite run
3:38 PM Changeset in ghc [176ba0ff]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Lower safe foreign calls separately from stack layout
3:06 PM Changeset in ghc [6525694]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Improve the case-alternative heap checks The code we were generating for heap-checks in algebraic case alternatives wasn't working well with the common-block eliminator. A small tweak to make the heap-check failure jump back to the same place in all branches lets the common-block eliminator squash more code.
3:04 PM Changeset in ghc [99293a48]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Improve common-block elimination We need to compare middle nodes and expressions modulo the BlockId mapping too, because there are references to BlockIds in CmmStackSlot and CmmBlock. This lets us catch more common blocks - in particular we can share the heap-check fail code between multiple case alternatives, which is most cool.
3:02 PM Changeset in ghc [e2ee3344]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a bug in common block elimination When we had more than two identical blocks, we weren't eliminating all the duplicates properly.
2:57 PM Ticket #5828 (OSHaiku) closed by pcapriotti
fixed: Merged to stable as 312ee3e1dc54ace6d0155f5170ccf63674810b2f.
2:55 PM Changeset in ghc [e85a8771]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix the updfr offset in the jump after newCAF
2:54 PM Changeset in ghc [ca7a31a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
refactoring only
2:30 PM Changeset in ghc [312ee3e]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Add Haiku platform (#5828) MERGED from commit 28f783f1c367784e0adcac2447682061a38f2ba3
2:20 PM Changeset in ghc [28f783f1]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Add Haiku platform (#5828)
1:32 PM Changeset in ghc [eb736fc1]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Fix remaining code generation bugs preventing stage2 GHC from working
10:31 AM Ticket #5804 (Registration capture issue) closed by pcapriotti
invalid: The account 'stkurilin' does already exist, so that is normal behavior.
12:57 AM Ticket #5917 (Don't defer type errors when evaluating a GHCi expression) created by parcs
Hi, I have attached a patch that alters the behavior of GHCi to not defer …

Mar 6, 2012:

10:53 PM Changeset in ghc [7a64ef7]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Support code generation for unboxed-tuple function arguments This has the following knock-on effects: * We can remove special case code for void arguments, and treat them as nullary unboxed tuples * The subkind hierarchy is vastly simplified (no UbxTupleKind or ArgKind) * Various relaxed type checks in typechecker, 'foreign import prim' etc * All case binders may be live * No VoidRep
6:01 PM Ticket #5872 (bug in default implementation of popCount) closed by pcapriotti
fixed: Merged in base as 61ace69581034fc33bb3b628d6a3b947bb262dec, …
5:58 PM Changeset in base [47920f5]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix function name in INLINABLE pragma.
5:57 PM Ticket #5875 (Incorrect documentation of minimal required set of methods for Bits ...) closed by pcapriotti
fixed: Bits still has a Num superclass in 7.4, so no need to merge this.
5:57 PM Ticket #5874 (Document autoconf dependency in README) closed by pcapriotti
fixed: Merged as 7b0998b3e2f6ba492a8f60c47392cef31ad9b902.
5:56 PM Ticket #5891 ("createDirectory: already exists" error with parallel build) closed by pcapriotti
fixed: Merged as 02eab9a56b0151b952bd09d65c2f6061c461d168.
5:56 PM Ticket #5878 (main-is is too conservative) closed by pcapriotti
fixed: Merged as 09a4cfcd3ba808dae6777ec6554a92658548ee0b.
5:55 PM Ticket #5904 (panic on :m *SomeModule followed by :reload, if SomeModule is already in ...) closed by pcapriotti
fixed: Merged as 1ddd4b3baf0cb592b8ada88fa3ab386c56489b56.
5:55 PM Ticket #5896 (Three documentations inaccuracies related to concurrency.) closed by pcapriotti
fixed: Merged as 30fc1dc9549e16d925a59cc79832b120c422b699, …
5:37 PM Changeset in ghc [c12841b4]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
slight tweak to help text (#5896) MERGED from commit eeaa573717ddd7a575edc075d869a1dfaadc5ddf
5:37 PM Changeset in ghc [9f19268]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Mention -threaded in the intro to Concurrent Haskell And make the docs a bit more concrete. MERGED from commit 151b0dcd4e16e28d76fbdceadeea7287b49b9e29
5:37 PM Changeset in ghc [30fc1dc9]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Remove documentation that a feature was missing, because it is not. (#5896) MERGED from commit b1bd566a40d3cfe3db51aa1399b293cdbceff185
5:37 PM Changeset in ghc [1ddd4b3]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix crash caused by allowing duplicate *-modules in the context (#5904) MERGED from commit 0bc6055bdc140b35c563c0fc9a7a1b2ca92494cc
5:37 PM Changeset in ghc [09a4cfcd]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Be less conservative about recompiling after changes to -main-is (#5878) MERGED from commits eda2c7316883e7d107755c08ad696e669ead0447 and 444e2fedb951a94a289d909b843f3281b9d2dc0a
5:37 PM Changeset in ghc [02eab9a]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Replace createDirectoryHierarchy with createDirectoryIfMissing True createDirectoryHierarchy consisted of an existence test followed by createDirectory, which failed if that directory was creted just after the test. createDirectoryifMissing does not have this problem. MERGED from commit ffe282cef4213ab8de515a8574d366994d38d5dd
4:26 PM Changeset in ghc [7b0998b3]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
point to the wiki for "Setting up your system for building GHC" (#5874) MERGED from commit 95d2e12cbee185dd78a66e4cd44d6915519f1fa9
3:42 PM Changeset in base [61ace69]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix bug in popCountDefault. Fixes #5872 Also add an INLINABLE pragma so that the function can be specialized at the call site. Merged from commit f4cc96cd1a9d78ee250c8f26797e0b72a8008a1c
3:30 PM Ticket #5866 (Interrupting interleaved STM and resuming it produces segfault) closed by pcapriotti
fixed: Merged as c6a2bbdbd3d701653d7e2ee22e2dea73316b49d8.
3:29 PM Ticket #5851 (RTS Crashes on Exit with double free) closed by pcapriotti
fixed: Merged as 9cca800e178485d5767bc1aedb6d507d04583e14.
3:28 PM Ticket #5826 (Refer to Control.Concurrent instead of GHC.Conc in GHC 7.4.1 User's Guide) closed by pcapriotti
fixed: Merged doc patch as 6a217ed6f10d440902eb166d2e0ab4127eb3f699, base patch …
3:26 PM Ticket #5824 (ARM StgRun register clobber list is broken) closed by pcapriotti
fixed: Merged as 712604fe5856a34e184b1111de67f6dc0f8aeb5f and …
3:01 PM Changeset in ghc [c6a2bbd]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
raiseAsync: cope with ATOMICALLY_FRAMES inside UPDATE_FRAMES (#5866) MERGED from commit 014f1e1feee4c85a82f787ef8f01b44072051172
2:58 PM Changeset in ghc [9cca800]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix a memory allocation bug (rts_argv wasn't big enough) MERGED from commit dff852b1b65d07a4a400d3f20c854172c8fcecaf
2:56 PM Changeset in base [b3e6c7d]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities. MERGED from commit 1b5f7ae2ffc6f3c851970efc26687763a4e0fc58
2:52 PM Changeset in ghc [6a217ed]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Refer to Control.Concurrent instead of GHC.Conc Modified version of a patch by shelarcy <shelarcy@gmail.com> MERGED from commit 7d7809de3c6e264ae4af92c37da499502fc2fb20
2:51 PM Changeset in ghc [83c23b58]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix ARM's StgCRun clobbered register list for both ARM and Thumb modes MERGED from commit f3f8c90638e38088c3c8ea251f5c8e54e4047fe7
2:50 PM Changeset in ghc [712604fe]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix ARM StgCRun to not save and restore r11/fp register twice MERGED from commit 0bca11de22e7ad274608dc1198e51f68aae91694
2:44 PM Ticket #5838 (integer overflow in rts/RtsUtils:heapOverflow()) closed by pcapriotti
fixed: Merged as 11b56ff206bfa99cee641a44d07831914f788c8a.
2:41 PM Ticket #5836 (GHCi silently fails to import non-existing modules) closed by pcapriotti
fixed: Merged as 7e8d0137ab58fefc1f4a9ca12344fb0414ef3f45.
2:36 PM Changeset in ghc [11b56ff2]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
avoid 32-bit integer overflow (#5838) MERGED from commit bf456a09f9ef68436db48eb5ea25193d3b2f2ed5
2:35 PM Changeset in ghc [7e8d0137]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Check that imported modules actually exist (#5836) MERGED from commit e46d26686034448a311f48f7e685f159af865d7c
1:28 PM Changeset in ghc [93e42a6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Lower safe foreign calls in the new CmmLayoutStack We also generate much better code for safe foreign calls (and maybe also unsafe foreign calls) than previously. See the two new Notes: Note [lower safe foreign calls] Note [safe foreign call convention]
1:28 PM Changeset in ghc [9a32e71d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fixes to the mini-inliner (fixes stage2 crashes)
1:28 PM Changeset in ghc [1ca4986c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Revert "Revert "Improvements to the mini-inliner"" This reverts commit 5ff03ca7f3b5b1abad64c039fa20165b4cf77360.
12:14 PM Ticket #5903 (GHC 7.4.1 32 bit: LLVM backend fails on OSX 64bit) closed by dterei
fixed: Fixed. Please merge into a 7.4.2 release if there is one Ian.
11:44 AM Changeset in ghc [03a88aaf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
11:44 AM Changeset in testsuite [b757825]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
11:27 AM Changeset in ghc [0d59d22]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Fix llvm check
11:27 AM Changeset in testsuite [083b836]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Fix llvm check
11:16 AM Changeset in ghc [5e38346]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Get correct options when calling 'clang' inplace of 'as' (#5903)
10:57 AM Changeset in integer-gmp [a995df6]ghc-7.6ghc-7.8wip/T8647 by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
10:57 AM Changeset in directory [04cc151]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
9:33 AM Changeset in ghc [097dca2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Disable threads with python 2.7.2.
9:33 AM Changeset in testsuite [187e2e8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Disable threads with python 2.7.2.
5:42 AM Ticket #5789 (Bad link to documentation) closed by dterei
fixed: I let John know and there isn't any easy to link to public source for the …
5:40 AM Ticket #5842 (pretty tests from GHC's testsuite) closed by dterei
fixed: Done.

Mar 5, 2012:

5:11 PM Ticket #5716 (Failure when using promoted data family instances) closed by simonpj
fixed: Fixed by the big PolyKinds commit.
5:10 PM Changeset in ghc [a56ce4f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5716
5:10 PM Changeset in testsuite [a34b682]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5716
4:23 PM Ticket #5916 (runST isn't free) created by tibbe
While optimizing some code I discovered that runST isn't free. I had a …
2:02 PM Ticket #5915 (Code using seq has wrong strictness when unoptimised (too strict)) created by michal.palka
The following piece of code gets miscompiled if no optimisation is used. …
10:31 AM Ticket #5895 (INLINE pragma doesn't trigger on locally defined function) closed by simonpj
fixed: Thanks Johan, an excellent point. I believe I have fixed it now, although …
10:29 AM Ticket #5892 (Compiler crash and other oddities when using RecordWildCards with record ...) closed by simonpj
fixed: Good point. I've fixed the compiler bug. I looked in …
10:28 AM Changeset in ghc [0d049c0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to testsuite/mk/boilerplate.mk ...after consulting with Simon M on a conflict
10:28 AM Changeset in testsuite [7dcc1bf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to testsuite/mk/boilerplate.mk ...after consulting with Simon M on a conflict
10:14 AM Ticket #5912 (exporting while having defined a non-nullary promoted type synonym causes ...) closed by simonpj
fixed: Thanks for the report; now fixed. Simon
10:12 AM Ticket #5862 (Need kind annotations) closed by simonpj
fixed: Done! I added a test cases from KindFams.2.hs. Thanks Simon
10:11 AM Ticket #5881 (Type synonyms of promoted types break across library boundaries?) closed by simonpj
fixed: Thanks for reporting; the fix was easy. Simon
9:51 AM Changeset in ghc [98479d65]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5881
9:51 AM Changeset in testsuite [8303841]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5881
9:27 AM Changeset in ghc [47a9a99]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Deal with promoted DataCons in interface files (fixes Trac #5881)
8:43 AM Ticket #5914 (armhf build fails in Ubuntu (7.4.1)) created by jani@…
The ARM code generator calls llc in the same way regardless of the ABI …

Mar 4, 2012:

5:35 PM Ticket #5913 (Type class dictionary call loops at runtime) created by mnislaih
The following code works fine in 7.0.3 but crashes at runtime with <loop> …
9:41 AM Changeset in ghc [3e00d046]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5892: a coding errors We had a lazy pattern gres@(gre:_) = blah and then a test for (null gres). But I'd forgotten that a demand for *any* of variables in the pattern matches *all* of the variables in the entire pattern. So the test for (null gres) was matching the cons, which defeats the purpose.
9:38 AM Changeset in ghc [85abd54a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5892
9:38 AM Changeset in testsuite [3adf2089]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5892
9:05 AM Changeset in ghc [48cab6d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make type trimming more conservative with -XDataKinds (fixes Trac #5912) See Note [When we can't trim types] in TidyPgm. The real solution is to do a full dependency analysis, but that seems rather overkill.
9:04 AM Changeset in ghc [61de0dbd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5912
9:04 AM Changeset in testsuite [24074aa]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5912
8:26 AM Changeset in ghc [ffd72d2b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5862
8:26 AM Changeset in testsuite [6ab2ac3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5862
8:25 AM Changeset in ghc [e0c849e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the handling of kind generalisation In particular in forall abc. <blah> we should kind generalise over <blah> as well as over the kinds of a,b,c. This fixes bug (in Trac #5862, caught by Lint) in the handling of data SMaybe a where SNothing :: SMaybe 'Nothing where I didn't get a sufficiently general kind. And it's simpler.
8:18 AM Changeset in ghc [90de973]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Attach INLINE pagmas in mutually recursive bindings This should fix #5895. It seems that I was silently ignoring INLINE pragmas in mutual recursion, which is not the right thing at all.
8:14 AM Changeset in ghc [eeba5437]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improved debug printing with -dverbose-core2core (Roman wanted this.)
2:49 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
2:46 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning edited by AntC
(diff)
2:41 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning edited by AntC
(diff)
1:08 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
1:08 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning created by AntC
Another thought about reducing the biolerplate for fieldLabels
Note: See TracTimeline for information about the timeline view.