Timeline


and

May 21, 2011:

10:13 PM Blog: New directions for Template Haskell comment added by sabaki
First of all, thank you so much for TH. I have been neck deep in it for …
11:01 AM Ticket #5208 (Unroll array copy/clone primops in the native and LLVM code generators) created by tibbe
#4928 added inline primops for copying and cloning arrays. It would be …
12:50 AM Changeset in ghc [e7dcbdc]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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@…>
Fix small type in user guide.

May 20, 2011:

6:16 PM Changeset in ghc [031d583]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite into ghc-generics
6:16 PM Changeset in testsuite [18cce11e]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite into ghc-generics
6:15 PM Changeset in base [479397b]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base into ghc-generics
6:15 PM Changeset in ghc [7fd7192]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansilent-sc-argssimdsrclocsupercompilertc-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 Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-generics Fixed conflicts: compiler/typecheck/TcSMonad.lhs
5:17 PM Changeset in ghc [6ad311b7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansilent-sc-argssimdsrclocsupercompilertc-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 Jose Pedro Magalhaes <jpm@…>
Merge branch 'ghc-generics' of http://darcs.haskell.org/ghc into ghc-generics
4:51 PM Changeset in ghc [d7fb8d3]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansilent-sc-argssimdsrclocsupercompilertc-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@…>
Simon's fixes to the generated type instances in Generics
8:00 AM Ticket #4186 (-dcore-lint and -fstrict-dicts break anything that uses a type class) closed by batterseapower
fixed: I can't reproduce this with HEAD (actually, 7.1.20110517) so I'm closing …

May 19, 2011:

9:56 PM Ticket #5207 (Selective auto-all for local bindings) created by ezyang
One style of writing code insists that the majority of functions be found …
2:07 PM Changeset in ghc [9027efb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
SlowComp needs a reqlib('mtl')
2:07 PM Changeset in testsuite [279dd43]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
SlowComp needs a reqlib('mtl')
1:41 PM Changeset in ghc [458e2fa6]cpr-sum-types by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:04 PM Changeset in ghc [ab00ea43]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add stress test for array copy/clone primops
1:04 PM Changeset in testsuite [27a6ce9]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add stress test for array copy/clone primops
1:04 PM Changeset in ghc [7896bd50]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for array copy/clone primops
1:04 PM Changeset in testsuite [7338cda]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for array copy/clone primops
1:04 PM Changeset in ghc [9c23f06]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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@…>
Make array copy primops inline
1:04 PM Changeset in ghc [a6cc414]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 array copy/clone primops
10:59 AM Ticket #4981 (inconsistent class requirements with TypeFamilies and FlexibleContexts) closed by dimitris
fixed
10:58 AM Ticket #5002 (7.0.2 ignores a context which 7.0.1 picks up) closed by dimitris
fixed: This is indeed fixed but (1) prioritizing equalities and (2) more delaying …
10:55 AM Ticket #5030 (Slow type checking of type-level computation heavy code.) closed by dimitris
fixed: More sharing during flattening and constraint solving fixed this. I've …
8:57 AM Changeset in ghc [971a81e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:57 AM Changeset in testsuite [6804d94]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:56 AM Changeset in ghc [7c185cd]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:49 AM Changeset in ghc [225af9b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Adding -fcontext-stack flag option to SlowComp. Compiles in under a second now (fixes #5030) but needs large context stack.
8:49 AM Changeset in testsuite [508d58b]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Adding -fcontext-stack flag option to SlowComp. Compiles in under a second now (fixes #5030) but needs large context stack.
8:42 AM Ticket #5115 (Add capability set events) closed by simonmar
fixed: Committed, thanks! changeset:58532eb46041aec8d4cbb48b054cb5b001edb43c
8:22 AM Ticket #5100 (Stack space overflow when using -N2 and not with -N1) closed by simonmar
fixed: Done, thanks. I did it slightly differently: […]
8:11 AM Ticket #5206 (Data.Map: Add a strict version of fromListWith and fromListWithKey) created by federico_s
Add to Data.Map two new functions fromListWith' and fromListWithKey' with …
7:38 AM Changeset in base [7e0984f]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master' into ghc-generics
6:29 AM Ticket #5205 (Control.Monad.forever leaks space) created by akio
The attached program, compiled with GHC 7.0.3, uses up all the memory. It …

May 18, 2011:

10:13 PM Changeset in ghc [9045999]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Change to the 0xEF80..0xEFFF private-use range for //ROUNDTRIP
10:13 PM Changeset in testsuite [dc1d249]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Change to the 0xEF80..0xEFFF private-use range for //ROUNDTRIP
10:13 PM Changeset in base [acfd22e]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Max Bolingbroke <batterseapower@…>
Change to the 0xEF80..0xEFFF private-use range for //ROUNDTRIP
10:05 PM Ticket #5204 (request better error message for malformed quasiquoted declaration) created by nr
I closed a quasiquoted declaration form incorrectly (] rather than |]) and …
9:03 PM Ticket #5203 (Stack overflow in criterion) created by rl
Test program: […] When I compile and run this with 7.1.20110517, I …
3:38 PM Changeset in ghc [173c408]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 'sync-all log'
3:16 PM Ticket #5069 (testsuite failures: hpc_markup_multi_*) closed by simonmar
fixed
1:12 PM Changeset in ghc [febf1ce]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Dimitrios Vytiniotis <dimitris@…>
Merge remote branch 'origin/master' Fixed conflicts in: compiler/typecheck/TcCanonical.lhs compiler/typecheck/TcErrors.lhs compiler/typecheck/TcInteract.lhs
10:14 AM Changeset in ghc [58532eb]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 capability sets to the event system. Contains code from Duncan Coutts.
9:29 AM Changeset in ghc [34480fe]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:29 AM Changeset in testsuite [8e2601a]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:27 AM Changeset in ghc [ee549c69]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
More tests and wibbles in existing tests.
9:27 AM Changeset in testsuite [7bd5f07]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
More tests and wibbles in existing tests.
9:17 AM Changeset in ghc [2e0e320]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Avoid roundtripping characters in encoding001
9:17 AM Changeset in testsuite [ff0e6b0]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Avoid roundtripping characters in encoding001
9:13 AM Changeset in ghc [b6264a6b]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Dimitrios Vytiniotis <dimitris@…>
Fixes the way we check if flattening happened during canonicalization. We now check whether the returned coercion is an identity coercion. We used to check whether we return any constraints from flattening but that's wrong in the presence of the flattening cache.
8:41 AM Changeset in base [4c889c7]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Max Bolingbroke <batterseapower@…>
Use Unicode private-use characters for roundtripping This replaces the previous scheme (which used lone surrogates). The reason is that there is Haskell software in the wild (i.e. the text package) that chokes on Char values that do not represent Unicode characters. This new approach will not work correctly if the reserved private-use characters are actually encountered in the input, but we expect this to be rare.
8:41 AM Changeset in ghc [632d0a5e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Update encoding002 given that we use private-use characters and //ROUNDTRIP
8:41 AM Changeset in testsuite [946afa7]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Update encoding002 given that we use private-use characters and //ROUNDTRIP
1:28 AM Ticket #5202 (Docs on strictness info out of date) created by ezyang
http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/faster.html section …

May 17, 2011:

4:35 PM Ticket #4825 (DLLs not documented consistently) closed by duncan
fixed: Thanks Orphi. I've applied your changes plus a bit of extra editing to …
4:32 PM Changeset in ghc [58339b06]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Duncan Coutts <duncan@…>
FIX #4825: Update User Guide info on DLLs. Original patch by Orphi <MathematicalOrchid@hotmail.com> Plus a few miscellaneous updates from me.
4:24 PM Changeset in ghc [9591547]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Dimitrios Vytiniotis <dimitris@…>
Introducing: 1) Postponing the application of instances when there is a possibility of a given matching. With the addition of prioritizing equalities this fixes #5002 and #4981. 2) Implemented caching of flattening in constraint simplification. This improves efficiency (fixes #5030) 3) Simplified pushing of unsolved wanteds (now pushing only equalities) inside implications.
1:41 PM Ticket #4982 (ghc-7.0.1: make install sets not enough permissions on library ...) closed by duncan
fixed: Fixed in Cabal head and the cabal-1.10 branch. Also pushed to the cabal …
10:24 AM Ticket #4434 (barton-mangler-bug failed with timeout (multiple ways)) closed by simonmar
fixed: Thanks Daniel.
10:23 AM Ticket #4435 (T3016 failed with timeout (hpc and optasm)) closed by simonmar
fixed: Thanks Daniel.
7:21 AM Changeset in ghc [64861ce6]cpr-sum-types by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master'
7:14 AM Changeset in ghc [390dc82]cpr-sum-types by Simon Peyton Jones <simonpj@…>
Do CPR analysis even for sum types Based on a draft patch by Max Bolingbroke (Trac #5075), this commit makes demand analysis do CPR on sum types. The idea is that if a function returns only constructor of a sum type (eg it returns only Just, never Nothing, from a Maybe type), we can do CPR analysis on it. This may be somewhat unusual, but it does happen (Trac #5075). The fundamental change is that the DmdResType records the data constructor data DmdResultP con = TopRes | RetCPR con -- The 'con' field is new | BotRes The same type DmdResultP is used in Core (with con = DataCon) and in IfaceSyn (with con = IfExtName) to avoid duplication. Beyond this, the patch adds a bit more info to the DmdResType, and that's a direction I want to go in for doing *nested* CPR (Trac #1600). Finally, I'm pretty sure we can cure the current problem with CPR for data families, by going a tiny bit further. In doing this patch I also made a useful simplification: * Remove the Maybe from the strictnessInfo and demandInfo fields of IdInfo The Maybe was there to record the fact that this was the "first time" through in the demand analyser; ie the existing strictness/demand should be ignored. But that is now handled much more tidily (and more locally) by the ae_virgin field of the AnalEnv, in DmdAnal. A raft of small simplifications follow.
6:52 AM Changeset in ghc [eeb5304d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite into ghc-generics
6:52 AM Changeset in testsuite [d227d20]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite into ghc-generics
6:51 AM Changeset in base [6c37984]data-proxydbcsghc-7.2ghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base into ghc-generics
6:51 AM Changeset in ghc [2d4d636a]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansilent-sc-argssimdsrclocsupercompilertc-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 Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-generics
6:06 AM Commentary/Packages edited by dterei
(diff)
6:05 AM Commentary/Packages edited by dterei
(diff)
6:02 AM Commentary/Compiler/Packages edited by dterei
(diff)

May 16, 2011:

7:57 PM Ticket #1070 (Add hPutNonBlocking to Data.ByteString) closed by duncan
fixed: I have decided to add the function with this type: […] That is, it …
7:54 PM Ticket #5201 (unregisterised build broken on arm-linux platform) created by kgardas
Hello, following git patch probably breaks unregisterised build on any …
3:24 PM Changeset in ghc [71688f1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Mark num009 as expect_broken on OS X
3:24 PM Changeset in testsuite [db60d4c]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Mark num009 as expect_broken on OS X
3:18 PM Ticket #5200 (Ignore files generated while running tests) closed by batterseapower
fixed: Done in decc77b1b2c9e340b3fa6e5405b70a64467c477b
3:18 PM Changeset in ghc [0edad9b6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Ignore files generated while running tests
3:18 PM Changeset in testsuite [decc77b]at-defaultsatomicsdata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Ignore files generated while running tests
3:03 PM Ticket #5077 (Tests failing due to different type variables in the diagnostics) closed by daniel.is.fischer
fixed: Expected stderr updated, closing.
2:58 PM Ticket #5079 (T3330a: wrong stderr output (new type checking algorithm?)) closed by daniel.is.fischer
fixed: Expected stderr was adapted, closing.
2:55 PM Ticket #5081 (Unexpected passes arrows and ghci, typecheck and ghci) closed by daniel.is.fischer
fixed: No longer expected to fail, closing.
1:11 PM Ticket #5004 (loading stripped libHsghc-7.0.2.a fails) closed by duncan
fixed: Now applied to the 7.0.x branch too.
11:57 AM Changeset in ghc [52cba3c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-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-gcnew-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/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 Edward Z. Yang <ezyang@…>
Amend comment per Marlow's comments. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:16 AM Ticket #5199 (linkBCO: >= 64k insns in BCO) closed by simonmar
duplicate: Thanks for the report. Fixed in 6.12.1; see #789
9:58 AM Ticket #5194 ("Fix build" broke build?) closed by daniel.is.fischer
fixed: Fixed by changeset:a36cd6377ee2a65537fc02b78015937b50a69286
8:17 AM Ticket #5200 (Ignore files generated while running tests) created by tibbe
Running the test suite generates a bunch of files not currently ignored by …
Note: See TracTimeline for information about the timeline view.