Timeline


and

Feb 7, 2011:

7:38 PM Ticket #4947 (Regenerated cbits/WCsubst.c based on Unicode 6.0.0) created by basvandijk
I noticed the generated cbits/WCsubst.c was based on Unicode 5.1.0. I …
7:31 PM DarcsConversion edited by igloo
(diff)
7:30 PM GettingStarted edited by igloo
(diff)
7:15 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
2:20 PM Changeset in ghc [6f573eb5]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
Call the final build system phase "final" rather than ""
11:30 AM admin/lun edited by simonmar
(diff)
11:13 AM admin/lun edited by simonmar
add Mailman info (diff)
10:25 AM Changeset in ghc [28ca359]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 simonpj@…>
Fix Trac #4945: another SpecConstr infelicity Well, more a plain bug really, which led to SpecConstr missing some obvious opportunities for specialisation. Thanks to Max Bolingbroke for spotting this.
8:12 AM TypeNats/InductiveDefinitions edited by diatchki
(diff)

Feb 6, 2011:

10:41 PM DarcsConversion edited by igloo
(diff)
10:35 PM DarcsConversion edited by igloo
(diff)
10:34 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:34 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:33 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:32 PM TypeNats/InductiveDefinitions edited by diatchki
(diff)
10:32 PM Building/RunningNoFib edited by igloo
(diff)
10:32 PM Repositories edited by igloo
(diff)
10:31 PM TypeNats/InductiveDefinitions created by diatchki
10:31 PM TypeNats edited by diatchki
(diff)
10:29 PM DarcsConversion edited by igloo
(diff)
10:28 PM Building/Rebuilding edited by igloo
(diff)
10:27 PM Building/SyncAll created by igloo
10:23 PM TypeNats/Examples edited by diatchki
(diff)
9:50 PM Repositories created by igloo
9:28 PM TypeNats/Examples edited by diatchki
(diff)
9:25 PM TypeNats/Examples created by diatchki
9:16 PM TypeNats edited by diatchki
(diff)
8:59 PM DarcsConversion edited by igloo
(diff)
8:58 PM Building/QuickStart edited by igloo
(diff)
8:32 PM Changeset in ghc [35c86cc2] by Ian Lynagh <igloo@…>
Call the final build system phase "final" rather than ""
8:32 PM Changeset in integer-gmp [3dc84d7]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Call the final build system phase "final" rather than ""
5:27 PM Changeset in ghc [2c72b52]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 Iavor S. Diatchki <iavor.diatchki@…>
Cancelation and associativity. This helps with some of the GADT style examples. Currently, the code is rather inefficient but it the idea was to see if it will work at all.
2:01 AM Changeset in ghc [cccd40e]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 Iavor S. Diatchki <iavor.diatchki@…>
Yet another variation on associativity.

Feb 5, 2011:

11:46 PM Changeset in ghc [c15ae63]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 Iavor S. Diatchki <iavor.diatchki@…>
Refactor a bit and report errors due to impossible constraints.
11:23 PM Ticket #4880 (Functor, Monad, Applicative instances for Data.Monoid.First, ...) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:23 PM Ticket #4859 (Add forkOnIO and friends to Control.Concurrent) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:23 PM Ticket #4858 (Add Control.Concurrent.forkIOWithUnmask, deprecate forkIOUnmasked) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:22 PM Ticket #4857 (Add Control.Exception.allowInterrupt) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:20 PM Ticket #4842 (keep Data.Map.foldWithKey) closed by igloo
wontfix: In the absence of a consensus, let's default to sticking to the "no …
11:16 PM Ticket #4834 (New Functor => Applicative => Monad Hierarchy) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:15 PM Ticket #4535 (Add tryReadChan to Chan) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:13 PM Ticket #4517 (Add Data.Functor.Backwards to transformers) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:13 PM Ticket #4482 (Allow type variables to be instantiated as a typeclass) closed by igloo
wontfix: No response from submitter, so closing.
11:12 PM Ticket #4344 (Better toRational for Float and Double) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:12 PM Ticket #4313 (Proposal: Add left, right and strict folds to Data.Set, Data.IntMap and ...) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:11 PM Ticket #4192 (Proposed process piping function to be added to the "process" package) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:03 PM Ticket #3999 (Improved folds for Data.Map and Data.IntMap) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:02 PM Ticket #3339 (Data.Monoid: Add (<>) as a synonym for mappend) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
11:01 PM Ticket #2717 (Add nubWith, nubOrd) closed by igloo
invalid: Proposal tickets are no longer needed as part of the library submissions …
10:38 PM Ticket #4865 (Deprecate and remove Prelude.catch and System.IO.Error.{catch,try}) closed by igloo
fixed: Consensus was to apply the proposal, with several people expressing …
8:33 PM Ticket #4943 (Another odd missed SpecConstr opportunity) closed by igloo
fixed: Merged.
8:33 PM Ticket #1333 (core lint failures from arrow notation + HPC) closed by igloo
fixed: Thanks Ross! Merged.
3:13 PM Ticket #4852 (cabal doesn't tell ./configure which gcc to use) closed by igloo
fixed: The Cabal 1.10.0.0 provided with ghc 7.0.1, I assume? That doesn't have …
2:27 PM Ticket #4944 (-fvia-C/asm mangler broken on registerised powerpc-linux build) closed by igloo
wontfix: Registerised PPC/Linux isn't a supported platform, I'm afraid. Note too …
1:42 PM Ticket #4906 (peekCString crashes on handling nullPtr) closed by igloo
invalid: The module is described as "Utilities for primitive marshalling of C …
12:19 PM ErlangInHaskell edited by jepst
Pasted in README from remote-haskell repository (diff)
1:55 AM Ticket #4852 (cabal doesn't tell ./configure which gcc to use) closed by igloo
fixed: Right, cabal-install is using Cabal 1.8.0.6, which doesn't have all the …

Feb 4, 2011:

10:36 PM admin/lun edited by igloo
(diff)
10:31 PM admin/lun edited by igloo
(diff)
10:24 PM admin/lun created by igloo
8:38 PM TypeNats/Naturals edited by hesselink
Interger -> Integer (diff)
3:22 PM Ticket #4895 (hGetBufSome returns 0 when it should not) closed by igloo
fixed: Merged
3:22 PM Ticket #4924 (bizarre strictness analysis bug) closed by igloo
fixed: Merged
3:19 PM Ticket #4504 ("awaitSignal Nothing" does not block thread with -threaded) closed by igloo
All 3 merged
3:17 PM Ticket #4877 (Template Haskell panic when splicing an infix expression with a ...) closed by igloo
fixed: Merged
3:14 PM Ticket #4903 (Inliner looping when specialising across modules (with GADTs and other ...) closed by igloo
fixed: Merged
3:11 PM Ticket #4908 (Easy SpecConstr opportunity that is nonetheless missed) closed by igloo
fixed: Merged
3:11 PM Ticket #4912 (No warnings for orphan instances declared via TypeSynonymInstances) closed by igloo
fixed: Merged
3:10 PM Ticket #4917 (ghc7 does not equate type synonyms under RankNTypes) closed by igloo
fixed: Merged
3:09 PM Ticket #4918 (Rule matcher failing to look through an imported inlining) closed by igloo
fixed: Merged
1:52 PM Changeset in ghc [56d4508d] by jpm@…>
We should not use XGenerics in ghc-prim, for now at least.
1:52 PM Changeset in ghc-prim [a7bd533]ghc-7.2ghc-7.4ghc-7.6ghc-7.8no-pred-ty by jpm@…>
We should not use XGenerics in ghc-prim, for now at least.
1:28 PM Ticket #4946 (reify does not work on data structures defined in files without Language ...) created by guest
reify does not work on data structures defined in files compiled without …
1:02 PM ReportABug edited by simonmar
(diff)
9:31 AM Changeset in ghc [d4fd857d]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
add missing initialisation of ws->todo_large_objects Found-by: Valgrind. Thanks Julian!
8:42 AM Changeset in ghc [8392ba2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
Add -XNondecreasingIndentation to -XHaskell98 for backwards compatibility. The final straw was when I learned today that Happy broke.

Feb 3, 2011:

11:06 PM Ticket #4945 (Another SpecConstr infelicity) created by batterseapower
I'm beginning to sound like a broken record, but SpecConstr still doesn't …
8:57 PM Changeset in ghc [71d6a2da]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
only the GHC repo is in git for now; add hoopl
5:27 PM Changeset in ghc [2a130b13]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 simonpj@…>
Fix typo in SpecConstr that made it not work at all There was a terrible typo in this patch; I wrote "env" instead of "env1". Mon Jan 31 11:35:29 GMT 2011 simonpj@microsoft.com * Improve Simplifier and SpecConstr behaviour Anyway, this fix is essential to make it work properly. Thanks to Max for spotting the problem (again).
5:05 PM Changeset in ghc [c9384504]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 Iavor S. Diatchki <iavor.diatchki@…>
An idea about dealing with associative operators.
6:12 AM Ticket #4944 (-fvia-C/asm mangler broken on registerised powerpc-linux build) created by kgardas
Hello, I've build 7.0.1 on powerpc-linux platform, but a lot (if not all) …

Feb 2, 2011:

9:14 PM Changeset in ghc [8d809e0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 Ross Paterson <ross@…>
avoid adding HPC ticks to arrow constructs (fixes #1333)
5:00 PM Changeset in ghc [367d9a0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 compacting GC
4:04 PM Changeset in ghc [df521c32]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 warning
3:49 PM Changeset in ghc [18896fa2]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
GC refactoring and cleanup Now we keep any partially-full blocks in the gc_thread[] structs after each GC, rather than moving them to the generation. This should give us slightly better locality (though I wasn't able to measure any difference). Also in this patch: better sanity checking with THREADED.
3:09 PM Ticket #4943 (Another odd missed SpecConstr opportunity) created by batterseapower
Compiling the attached code with HEAD (and without case liberation) has …
1:22 PM Changeset in ghc [104b00d8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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 profiling build
12:30 PM Changeset in ghc [bef3da1e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
A small GC optimisation Store the *number* of the destination generation in the Bdescr struct, so that in evacuate() we don't have to deref gen to get it. This is another improvement ported over from my GC branch.
11:49 AM Changeset in ghc [c226846]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
scheduleProcessInbox: use non-blocking acquire, and take the whole queue This is an improvement from my GC branch, that helps performance for intensive message-passing communication between Capabilities.
11:44 AM Changeset in ghc [26f4bfc8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
do a bit of by-hand CSE
11:43 AM Changeset in ghc [d0bfe30b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
add a const
11:32 AM Changeset in ghc [d52d50e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
add TRY_ACQUIRE_LOCK()
11:26 AM Changeset in ghc [3290772]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/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@…>
Remove the per-generation mutable lists Now that we use the per-capability mutable lists exclusively.
9:14 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:11 AM Ticket #2599 (Improve error message for type rigidity) closed by simonpj
invalid: The whole story about "rigidity" has changed, so I don't think this ticket …
9:07 AM Ticket #3169 (Bad occurs-check error message) closed by simonpj
fixed: Happily with the new type checker the error message is almost exactly as I …
1:54 AM Ticket #4942 (GHC.ConsoleHandler does not call back application when Close button is ...) created by Amatic
The test program below is not called back by GHC.ConsoleHandler? when the …
Note: See TracTimeline for information about the timeline view.