Timeline


and

Jan 17, 2012:

10:28 PM WikiStart edited by strake888
Delete spam (diff)
8:56 PM Changeset in ghc [0998987c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update .gitignore.
8:56 PM Changeset in testsuite [a084bab]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update .gitignore.
7:11 PM Changeset in nofib [668c35d]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove Dph benchmarks as too difficult to get working
6:56 PM Changeset in nofib [a8ffa9d]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Wibble
6:54 PM Changeset in nofib [4fdfd07]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update .gitignore
6:53 PM Changeset in nofib [0449cb0]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Move benchmarks into benchmark/ subdir.
6:13 PM Changeset in nofib [c384c43]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update makefile to mention other dirs
4:57 PM Ticket #5791 (Defer other kinds of errors until runtime, not just type errors) created by simonmar
In #5624 we added -fdefer-type-errors to turn type errors into warnings. …
4:47 PM Ticket #5624 (Delay Errors Until Runtime) closed by simonpj
fixed: Thank you for suggesting the idea. It's done! Simon
4:40 PM Ticket #5790 (Missing document about .eventlog's u flag) created by shelarcy
GHC 7.4.1 RC 1 User's Guide and Debug.Trace modules' document doesn't …
4:40 PM Changeset in ghc [16b6283]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eliminate {| and |} vestiges in lexer/parser They weren't being lexed any more, but we still had productions!
4:40 PM Changeset in ghc [bb50135]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use nested tuples to desugar recursive do-notation Easy fix for Trac #5742.
4:23 PM Ticket #5789 (Bad link to documentation) created by dsf
The paper "The Design of a Pretty-printing Library" referenced on the …
4:20 PM Ticket #5788 (Missing document about RTS's -T option) created by shelarcy
Users Guide doesn't describe RTS's -T option except 7.4.1's release note. …
4:03 PM Ticket #5779 (SPECIALISE pragma generates wrong activations) closed by simonpj
fixed: OK I added the warnings
4:02 PM Changeset in ghc [209fc3e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:02 PM Changeset in testsuite [af9159e]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:02 PM Changeset in ghc [c752b33]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add stderr for warning (arising from Trac #5779)
4:02 PM Changeset in testsuite [89cce01]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add stderr for warning (arising from Trac #5779)
4:01 PM Changeset in ghc [51ba3c2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only (to support debug tracing in DmdAnal)
4:01 PM Changeset in ghc [6acf6cd7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Warn when a SPECIALISE pragma gives rise to a totally inactive rule See Trac #5779
3:21 PM Changeset in ghc [1ebefd3d]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove unused code
12:39 PM Changeset in ghc [00c3616]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add missing files
12:36 PM Changeset in ghc [90dc2234]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix (non-fast) validate
12:36 PM Changeset in testsuite [dcdbb96]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix (non-fast) validate
12:36 PM Changeset in ghc [5262d70e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Skip conc036 entirely (see comments)
12:36 PM Changeset in ghc [58759ba]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
foreignInterruptible: expect_fail on Windows
12:36 PM Changeset in ghc [6e5aa9e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Expect failure for numrun012(ghci) on Windows
12:36 PM Changeset in testsuite [50a9c42a]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Skip conc036 entirely (see comments)
12:36 PM Changeset in testsuite [9903acb]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
foreignInterruptible: expect_fail on Windows
12:36 PM Changeset in testsuite [03abc7c]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Expect failure for numrun012(ghci) on Windows
12:36 PM Changeset in ghc [64b6389]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add normalise_exe for removing ".exe" extensions in output on Windows
12:36 PM Changeset in ghc [95cb0a1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
3429: We should be using +RTS -C0.001 not +RTS -i0.001 This apparently made no difference before, but it looks like I fixed it in my time overhaul, which made this test suddenly run a lot slower.
12:36 PM Changeset in testsuite [e79f0da]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add normalise_exe for removing ".exe" extensions in output on Windows
12:36 PM Changeset in testsuite [96a84f7]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
3429: We should be using +RTS -C0.001 not +RTS -i0.001 This apparently made no difference before, but it looks like I fixed it in my time overhaul, which made this test suddenly run a lot slower.
12:15 PM Changeset in ghc [f002a461]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not combine dictionaries in the EvVarCache when simplEqsOnly is on This fixes Trac #5776; the background is in Note [Simplifying RULE lhs constraints] in TcSimplify
12:14 PM Changeset in ghc [d2420013]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:14 PM Changeset in testsuite [ba1c4ad]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:32 AM Changeset in ghc [cffcc441]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5776
11:32 AM Changeset in testsuite [b5fd784]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5776
11:26 AM Changeset in ghc [46b0313]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Snapshot
10:56 AM Changeset in ghc [1584f29]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Switch TcEvidence to Unix line endings
10:30 AM Changeset in ghc [1aa02284]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:42 AM Ticket #5782 (llvm --enable-tbaa forces LLVM to be 2.9 or above) closed by dterei
fixed: Fixed in 878371810de61632d58962608fb3db588d9c2fbd.
8:35 AM Changeset in nofib [7842462]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update .gitignore
8:35 AM Changeset in ghc [157dd07]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow default superclass methods for multi-parameter type classes They were prohibited by mistake, a historical hangover
8:34 AM Changeset in nofib [05bd357]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fixup Hackage benchmarks.
8:30 AM Changeset in ghc [fee30b7d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Revert "The LLVM backend now only works with 2.9+, don't try it if we have 2.7" This reverts commit 0114212f8588211d3dd6735d55127bce2cc1dad7.
8:30 AM Changeset in testsuite [dd31f20]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Revert "The LLVM backend now only works with 2.9+, don't try it if we have 2.7" This reverts commit 0114212f8588211d3dd6735d55127bce2cc1dad7.
8:23 AM Changeset in ghc [8783718]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Only use TBAA when LLVM > 2.8. (#5782)
3:12 AM Changeset in ghc [7bbc1b05]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:01 AM Ticket #5787 (Add instances to ZipList) created by pumpkin
There was a reasonably uncontroversial vote on the libraries list to add …
2:30 AM Ticket #5786 (Dynanmic way fails when GHC built with LLVM backend) created by dterei
If I build GHC with the LLVM backend then the 'Dyn' testsuite way fails …
2:24 AM Ticket #5785 (Test failures on i386 with LLVM backend) created by dterei
Currently we get the following testsuite results on i386: […] Need to …
2:20 AM Commentary/Compiler/Backends/LLVM edited by dterei
(diff)
2:19 AM Commentary/Compiler/Backends edited by dterei
(diff)
2:15 AM Commentary/Compiler/Backends edited by dterei
(diff)
2:15 AM Commentary/Compiler/Backends edited by dterei
(diff)
2:15 AM Commentary/Compiler/Backends edited by dterei
(diff)
1:25 AM Commentary/Compiler/Backends edited by sigfpe
(diff)
12:11 AM Commentary/SourceTree edited by sigfpe
(diff)

Jan 16, 2012:

11:26 PM Ticket #5784 (Forked thread running infinite loop blocks other threads from running) created by joeyadams
When I compile the following under GHC 7.2.2 with -O1 or -O2, it spins in …
9:31 PM Changeset in nofib [559e77a]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix up Fst benchmark.
8:54 PM Ticket #5783 (Data.Text.isPrefixOf fails to terminate) created by reinerp
The function Data.Text.isPrefixOf fails to terminate with GHC …
8:40 PM Commentary/Rts/HaskellExecution/HeapChecks edited by heisenbug
typo (diff)
8:26 PM Ticket #5782 (llvm --enable-tbaa forces LLVM to be 2.9 or above) created by pmonday
I compiled the latest master against LLVM 2.8. The compile worked …
7:21 PM Changeset in nofib [f6b9af7]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add to .gitignore
7:20 PM Changeset in nofib [95f3d41]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix Laplace benchmark.
6:25 PM Ticket #5781 (Add Data.List.at :: [a] -> Int -> Maybe a) created by nh2
Don't know how this can _not_ exist.
5:39 PM Changeset in ghc [08413e4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Adapt test output
5:39 PM Changeset in testsuite [5304364]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Adapt test output
4:25 PM Changeset in process [c8b30a6]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
Fix processo004(ghci) on Windows
3:45 PM Ticket #5778 (GHCi won't load compiled object files outside of a package) closed by simonmar
invalid: This is a feature, not a bug! GHC has to recompile the source file, just …
3:43 PM Changeset in ghc [cb0f98d0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5745
3:43 PM Changeset in testsuite [b68f2c9]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5745
3:09 PM Changeset in directory [4f47883]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
As per discussion in #2924, filter out permission errors
3:09 PM Changeset in directory [3f672f6]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
Ignore failure in getDirContents002(ghci) on x86/Windows
2:45 PM Changeset in base [1be5e53]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Expand num009 to test more values, and add mingw32 output This test checks that calling trig functions via the FFI gives the same results as the Prelude versions. But it uses an extreme value to test: 1e20, and on Windows this gives slightly different results (for unknown reasons). However, using less extreme values gives reasonable results, so I've added more values to the test to check that the discrepancy is limited to the extreme - indeed it first goes wrong around 1e19, values below that seem to be fine.
2:45 PM Changeset in ghc [db94d0f]wip/T9016wip/ampwip/coveritywip/orf by Simon Marlow <marlowsd@…>
Expand num009 to test more values, and add mingw32 output This test checks that calling trig functions via the FFI gives the same results as the Prelude versions. But it uses an extreme value to test: 1e20, and on Windows this gives slightly different results (for unknown reasons). However, using less extreme values gives reasonable results, so I've added more values to the test to check that the discrepancy is limited to the extreme - indeed it first goes wrong around 1e19, values below that seem to be fine.
2:39 PM Changeset in ghc [b81aa25f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add missing initialisation of cap->disabled
2:11 PM NewAxioms edited by dreixel
(diff)
2:09 PM NewAxioms edited by simonpj
(diff)
2:03 PM Changeset in ghc [e932d308]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Documentation for -XDataKinds
2:00 PM Commentary edited by simonpj
(diff)
1:31 PM Changeset in ghc [199f388]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Parse the ghc --info values using a Haskell program, and cache the results Should improve startup time of make in the testsuite, and it is simpler.
1:31 PM Changeset in ghc [a8f94cc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
The LLVM backend now only works with 2.9+, don't try it if we have 2.7 This fix is very wrong, but I'm drowning in optllvm failures and need to fix this ASAP (it's somewhat suboptimal that I won't be able to run the LLVM tests here until I upgrade the OS or install a later LLVM manually).
1:31 PM Changeset in testsuite [82a5fc7]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Parse the ghc --info values using a Haskell program, and cache the results Should improve startup time of make in the testsuite, and it is simpler.
1:31 PM Changeset in testsuite [0114212]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
The LLVM backend now only works with 2.9+, don't try it if we have 2.7 This fix is very wrong, but I'm drowning in optllvm failures and need to fix this ASAP (it's somewhat suboptimal that I won't be able to run the LLVM tests here until I upgrade the OS or install a later LLVM manually).
1:27 PM Changeset in ghc [25d3e4ba]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove unnecessary extra use of orphan_hash
1:27 PM Changeset in ghc [a9e17cc2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix for tick intervals greater than one second.
1:27 PM Changeset in ghc [fac8ecbb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix bug causing polling instead of blocking in the non-threaded RTS (#5773) This was a regression introduced accidentally in 6b1098511aaabd2c9503ee7be6da1944466f9cb4. We were previously passing a large time value to select() to simulate blocking, and this broke due to a change from unsigned to signed arithmetic. I've refactored it to be less fragile now - we just pass NULL as the timeval parameter to select(), which is the correct way to do blocking.
1:27 PM Changeset in ghc [395ef284]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780) This reverts commit 601c983dd0bada6b49bdadd8f172fd4eacac4b0c.
1:26 PM Ticket #5780 (-faggressive-primops change caused a failure in perf/compiler/parsing001) created by simonmar
The commit 601c983dd0bada6b49bdadd8f172fd4eacac4b0c apparently caused a …
1:22 PM Changeset in ghc [5ff65d76]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Use the new flag -XDataKinds
1:22 PM Changeset in testsuite [37a7f7f]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Use the new flag -XDataKinds
1:18 PM Changeset in ghc [384f609]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Split -XDataKinds from -XPolyKinds
1:15 PM Changeset in ghc [28f619e2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to recomp006 error I think this didn't show up before with --fast?
1:15 PM Changeset in testsuite [7e94e01]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to recomp006 error I think this didn't show up before with --fast?
1:13 PM Changeset in ghc [fcbfdfee]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:13 PM Changeset in testsuite [478e70f]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:13 PM Changeset in ghc [eaae5f42]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add Defer02.stdout
1:13 PM Changeset in testsuite [e8145e1]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add Defer02.stdout
12:10 PM Records/OverloadedRecordFields edited by strake888
(diff)
11:58 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:58 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:29 AM Ticket #5779 (SPECIALISE pragma generates wrong activations) closed by simonpj
invalid: On the contrary it's vital that specialisations don't kick in too early. …
10:46 AM Changeset in nofib [479919b]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix up Repa makefile
10:44 AM Changeset in nofib [d2534d3]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add Repa Volume bechmark.
10:36 AM Changeset in nofib [45989ed]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add Repa Sobel benchmark
10:30 AM Changeset in nofib [b86775a]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add repa Canny benchmark
10:29 AM Changeset in nofib [6faf843]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fixup repa laplace & mmult
10:09 AM Changeset in nofib [4813808]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update FFT3d repa benchmark.
10:05 AM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
10:01 AM Commentary/Compiler/HooplPerformance edited by simonpj
(diff)
9:59 AM Records/OverloadedRecordFields edited by simonpj
(diff)
9:56 AM Changeset in nofib [304e338]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove fibon specific files
9:55 AM Records edited by simonpj
(diff)
9:51 AM Records edited by simonpj
(diff)
9:50 AM Records edited by simonpj
(diff)
9:47 AM Changeset in nofib [9b7ef0e]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fixup Blur
9:25 AM Changeset in nofib [b735a5e]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove Fibon specific files.
9:19 AM Changeset in nofib [29ac83b]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove unused Fibon config files from nofib.
9:18 AM Changeset in nofib [d5fc330]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add repa benchmarks to gitignore
9:17 AM Changeset in nofib [2c792f2]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Add gc benchmarks to gitignore
9:14 AM Changeset in nofib [b6c1fee]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update Repa libraries (fixes Blur for now)
8:39 AM NewAxioms edited by dreixel
(diff)
8:38 AM NewAxioms edited by dreixel
(diff)
8:35 AM NewAxioms created by dreixel
8:35 AM Commentary edited by dreixel
(diff)
8:04 AM Changeset in nofib [0ba9cc1]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove broken ghc benchmark.
8:04 AM Changeset in nofib [94785f4]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Update README
2:01 AM Changeset in ghc [db6d9cd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Adapt DPH tests to classes in the DPH library
2:01 AM Changeset in testsuite [d7cb49b]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Adapt DPH tests to classes in the DPH library
1:58 AM Changeset in ghc [3c67c9a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
DataConIds need to be treated specially in VectInfo

Jan 15, 2012:

10:59 PM Ticket #5779 (SPECIALISE pragma generates wrong activations) created by rl
It seems that in the current HEAD, the SPECIALISE pragma generates a …
10:45 PM Ticket #5778 (GHCi won't load compiled object files outside of a package) created by lpsmith
[…] […]
9:19 PM Changeset in ghc [b68bbd8]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix vectorisation of classes - Make sure that we have no implicit names in ifaces - Any vectorisation info makes a module an orphan module - Allow 'Show' in vectorised code without vectorising it for the moment
9:19 PM Changeset in ghc [5dc73fdb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Merge wibble
9:14 PM Ticket #5740 (Remove tabs from parser/LexCore.hs) closed by igloo
fixed: Applied, thanks.
8:34 PM Records/OverloadedRecordFields edited by strake888
(diff)
8:05 PM Records/OverloadedRecordFields edited by strake888
(diff)
7:21 PM Changeset in ghc [54121ff]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix a #define I don't think it was causing any problems, but TimeToUS(x+y) would have evaluated to x + (y / 1000)
6:42 PM Records/OverloadedRecordFields edited by strake888
misspelt word (diff)
6:26 PM Records/OverloadedRecordFields edited by strake888
(diff)
4:33 PM Ticket #5756 (Specialize sequence into sequence_ automatically) closed by igloo
wontfix: Note that with -Wall you get a warning if you ignore a non-() result: …
4:22 PM Ticket #5755 (cabal install ghc-core fails on Mac Lion on latest Haskell Platform) closed by igloo
invalid: I'm afraid you'll need to mail the maintainer of the package, unless you …
4:11 PM Ticket #5777 (core lint error with arrow notation and GADTs) created by benmos
The following code panics GHC (with 7.0.3, 7.2 and 7.4.0.20111219): …
4:00 PM Ticket #5744 (List layouts) closed by igloo
wontfix: I think there are still some open design questions here that would be …
3:11 PM Changeset in ghc [e0383e2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove trailing whitespace in compiler/parser/LexCore.hs
3:11 PM Changeset in ghc [e4dda61]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
remove tabs (+ ignore tabs option) from LexCore.hs
1:05 PM Changeset in ghc [5601845d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Manuel M T Chakravarty <chak@…>
Adapt 'dph-classes' to class support in dph-lifted-vseg
1:05 PM Changeset in testsuite [9fff56c]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Adapt 'dph-classes' to class support in dph-lifted-vseg
12:55 PM Records/OverloadedRecordFields edited by igloo
(diff)
12:50 AM Changeset in ghc [42dda24]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some "0 +"s that look redundant
12:49 AM Changeset in ghc [10f5847]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove an out-of-date comment

Jan 14, 2012:

11:51 PM Commentary/Compiler/HooplPerformance edited by ezyang
(diff)
11:49 PM Commentary/Compiler/HooplPerformance edited by ezyang
(diff)
11:49 PM Commentary/Compiler/HooplPerformance edited by ezyang
some updates from my perspective (diff)
11:10 PM Changeset in ghc [69bff6a]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
This line accidentiall got deleted in bdb45c59e30184a1f552aeda6a8c2631820b675f.
11:09 PM Changeset in ghc [2e09c82]ghc-7.4 by Ian Lynagh <igloo@…>
When configuring, handle $topdir/ in the ghc --info output It might make more sense for there to be a way to get the "ghc --info" output with $topdir already expanded, but in the mean time this gets things working again.
11:09 PM Changeset in ghc [e71ee1b6]ghc-7.4 by Ian Lynagh <igloo@…>
Define "ar command" correctly in settings file on Windows We want to use the inplace ar, rather than whichever ar the machine that we build on happens to have.
10:17 PM Ticket #5776 (Rule matching regression) created by rl
This shows up in the Quickhull benchmark from the vector package. I …
10:04 PM Changeset in ghc [ee250e51]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
When configuring, handle $topdir/ in the ghc --info output It might make more sense for there to be a way to get the "ghc --info" output with $topdir already expanded, but in the mean time this gets things working again.
9:35 PM Changeset in ghc [2719cacd]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Define "ar command" correctly in settings file on Windows We want to use the inplace ar, rather than whichever ar the machine that we build on happens to have.
7:44 PM Ticket #5699 (Use sharing in the Alternative instance of Maybe) closed by igloo
fixed: Applied: […]
7:43 PM Ticket #5775 (Inconsistency in demand analysis) created by rl
A small program: […] GHC infers the demand LU(L) for loop, only …
6:27 PM Changeset in base [1d97ad1]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use sharing in the Alternative instance of Maybe
6:27 PM Changeset in ghc [a9e976c]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Use sharing in the Alternative instance of Maybe
6:23 PM Changeset in directory [a73b30e]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Fix System.Directory build on Windows
5:07 PM Changeset in directory [d0cab4b]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Switch to using the time package, rather than old-time
5:07 PM Changeset in ghc [08894f96]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Switch to using the time package, rather than old-time
5:06 PM Commentary/Compiler/HooplPerformance edited by nr
link to Google Plus discussion (diff)
5:03 PM Commentary/Compiler/HooplPerformance created by nr
first draft
4:45 PM Commentary edited by nr
creating page for Hoopl performance (diff)
2:59 PM Changeset in ghc [0c8acc39]ghc-7.4 by Ian Lynagh <igloo@…>
Improve the documentation of the Num superclass changes in the release notes
2:58 PM Changeset in ghc [0877e14e]ghc-7.4 by Ian Lynagh <igloo@…>
Document the Num superclass divergence from H98/H2010
2:57 PM Ticket #5593 (Proposal: Remove Num superclass of Bits) closed by igloo
fixed: Thanks, applied: […] commit 804108f0c0fbc2c5f926e4cb4d30b3891443a079
2:57 PM Ticket #5685 (Proposal: Move the instances from Control.Monad.Instances into GHC.Base) closed by igloo
fixed: Thanks, applied: […]
2:01 PM Changeset in ghc [7bc456d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Document the extra instances divergence from H98/H2010 Now that they've moved from Control.Monad.Instances
1:54 PM Changeset in ghc [39291ddb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Document the Bits superclass divergence from Haskell 2010
1:46 PM Changeset in ghc [57b1d54a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Document the Num superclass divergence from H98/H2010
1:04 PM Ticket #5774 (main = forever (putStrLn =<< getLine) continuously saturates a CPU when ...) closed by igloo
duplicate: Duplicate of #5773.
5:34 AM Ticket #5774 (main = forever (putStrLn =<< getLine) continuously saturates a CPU when ...) created by lpsmith
[…]
5:33 AM Ticket #5773 (main = forever (putStrLn =<< getLine) continuously saturates a CPU when ...) created by lpsmith
[…]
2:18 AM Changeset in nofib [11b3e5a]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Fix up smp benchees.
2:14 AM Changeset in ghc [0a797ea]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Update tests after instances are moved out of Control.Monad.Instances The instance-leaks test is now gone, as we now expect the instances to leak into haskell98.
2:14 AM Changeset in testsuite [f7fd2eb]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Update tests after instances are moved out of Control.Monad.Instances The instance-leaks test is now gone, as we now expect the instances to leak into haskell98.
1:18 AM Changeset in base [f99cee0]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove Num superclass of Bits Add and export bitDefault, testBitDefault and popCountDefault from Data.Bits.
1:18 AM Changeset in ghc [139d27a]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Remove Num superclass of Bits Add and export bitDefault, testBitDefault and popCountDefault from Data.Bits.
12:53 AM Changeset in ghc [804108f0]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add extra Num constraints since the Num superclass of Bits is removed

Jan 13, 2012:

11:50 PM Changeset in base [7c1dff5]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Moved the instances from Control.Monad.Instances to GHC.Base and Data.Either
11:50 PM Changeset in ghc [3af923c]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Moved the instances from Control.Monad.Instances to GHC.Base and Data.Either
11:31 PM Changeset in nofib [41da407]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Comment wibbles
10:10 PM Ticket #5745 (import-hidden symbol is still re-exported) closed by simonpj
wontfix: I think this is a bug 7.2, but is not a bug in 7.4 or HEAD. Do …
9:51 PM Changeset in ghc [6b58460]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add some llvm build options to build.mk.sample
9:13 PM Ticket #5772 (Failed kind inference in class declaration (regression error)) closed by dreixel
invalid: This is not really a regression; 7.2 was too liberal. The Haskell report …
9:04 PM Ticket #5772 (Failed kind inference in class declaration (regression error)) created by goldfire
Consider the following code: […] This compiles fine in 7.2.1 but …
8:38 PM Ticket #5771 (Confusing printout with PolyKinds) created by goldfire
If I load the following into ghci: […] and then get the info on …
8:33 PM Ticket #5770 (Non-sensical error message when compiling with PolyKinds and a type family) created by goldfire
When I compile the following code: […] I get the following error …
8:13 PM Ticket #5769 (Incorrect error message when compiling with PolyKinds and a type family) created by goldfire
When trying to compile […] I get the following error message: […] …
8:09 PM Ticket #5767 (Integer inefficiencies) closed by igloo
fixed: Good spot; merged as 102df6a7bc5657eef85f26d88ab6c071ec9b0b24 and I've …
8:07 PM Ticket #5768 (GHC Panic compiling type family with -XPolyKinds) created by goldfire
I received the following error message: […] I was compiling the …
7:02 PM Changeset in ghc [102df6a]ghc-7.4 by Ian Lynagh <igloo@…>
Get the knownKeyNames for doubleFromInteger right There was a trivial typo which meant that important newly-added rules would never fire!
7:01 PM Changeset in testsuite [92d97a2]ghc-7.4 by Ian Lynagh <igloo@…>
Add encodeInteger{Double,Float} to the integerConstantFolding test
7:01 PM Changeset in testsuite [11e6f8e]ghc-7.4 by Ian Lynagh <igloo@…>
Add {double,float}FromInteger to the integerConstantFolding test
6:58 PM Changeset in ghc [655e409]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add encodeInteger{Double,Float} to the integerConstantFolding test
6:58 PM Changeset in testsuite [94d3e96]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add encodeInteger{Double,Float} to the integerConstantFolding test
6:54 PM Changeset in ghc [63afeeb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add {double,float}FromInteger to the integerConstantFolding test
6:54 PM Changeset in testsuite [7c8031d]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add {double,float}FromInteger to the integerConstantFolding test
6:08 PM Changeset in testsuite [b3f571bb]ghc-7.4 by Ian Lynagh <igloo@…>
widen peak_megablocks_allocated for T4801 (64bit/Linux) I checked and there's no regression here, just timing of GCs.
6:08 PM Changeset in testsuite [bee1c61]ghc-7.4 by Ian Lynagh <igloo@…>
widen max_bytes_used for T4801
6:07 PM Changeset in ghc [74af5a6]ghc-7.4 by Ian Lynagh <igloo@…>
last_free_capability should never be NULL
6:07 PM Changeset in ghc [89a0278]ghc-7.4 by Ian Lynagh <igloo@…>
Make "make sdist" generate a testsuite tarball as well as the src tarball
6:07 PM Changeset in ghc [2f0f55d]ghc-7.4 by Ian Lynagh <igloo@…>
Fix typo in Makefile sdist output was being redirected to $src_log, which presumably evaluated to rc_log.
5:50 PM Changeset in ghc [601c983d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add -faggressive-primops plus refactoring in CoreUtils I'm experimenting with making GHC a bit more aggressive about a) dropping case expressions if the result is unused Simplify.rebuildCase, CaseElim equation b) floating case expressions inwards FloatIn.fiExpr, AnnCase In both cases the new behaviour is gotten with a static (debug) flag -faggressive-primops. The extra "aggression" is to allow discarding and floating in for side-effecting operations. See the new, extensive Note [PrimOp can_fail and has_side_effects] in PrimoOp. When discarding a case with unused binders, in the lifted-type case it's definitely ok if the scrutinee terminates; previously we were checking exprOkForSpeculation, which is significantly worse. So I wanted a new function CoreUtils.exprCertainlyTerminates. In doing this I ended up with a significant refactoring in CoreUtils. The new structure has quite a lot of nice sharing: exprIsCheap = exprIsCheap' isHNFApp exprIsExpandable = exprIsCheap' isConLikeApp exprIsHNF = exprIsHNFlike isHNFApp exprIsConLike = exprIsHNFlike isConLikeApp exprCertainlyTerminates = exprIsHNFlike isTerminatingApp
5:31 PM Changeset in ghc [2307516]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Mainly, rename LiteralTy to LitTy
3:51 PM Changeset in ghc [c96022c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:51 PM Changeset in ghc [cacd9825]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Update error message
3:51 PM Changeset in testsuite [026fba4]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update error message
3:48 PM Changeset in ghc [a30c2df]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
3:46 PM Changeset in ghc [1074c2d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Get the knownKeyNames for doubleFromInteger right There was a trivial typo which meant that important newly-added rules would never fire!
2:10 PM Changeset in ghc [919a298]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Optimise FuelUniqSM
2:10 PM Changeset in ghc [f409ff94]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Optimise UniqSM
2:47 AM Changeset in ghc [cea6307]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix validation error
1:56 AM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
1:54 AM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
(diff)
12:42 AM Changeset in ghc [e10589a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Improve LLVM TBAA hierachy (#5567).
12:42 AM Changeset in ghc [c55bb603]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Update '.gitignore'
12:42 AM Changeset in ghc [ba52053]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add '-fllvm-tbaa' flag for controlling LLVM TBAA opt.
12:42 AM Changeset in ghc [167d2d42]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Formatting fixes to flags.xml
12:42 AM Changeset in ghc [4ef5ce6f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add '-freg-liveness' flag to control if STG liveness information is used for optimisation. (enabled by default)
12:42 AM Changeset in ghc [ff4be213]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Consistent: Enbaled -> enabled in flag doc.
12:42 AM Changeset in ghc [e2ec71c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix mistake in flags.xml
12:31 AM Changeset in ghc [f6cea70a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Fix T5430, make output independent of user timezone
12:31 AM Changeset in testsuite [f76da05]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Fix T5430, make output independent of user timezone
12:18 AM Changeset in ghc [38e897c2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Make "make sdist" generate a testsuite tarball as well as the src tarball
12:11 AM Ticket #5767 (Integer inefficiencies) created by rl
Here is a small program: […] GHC 7.2.2 generates this optimal code: …

Jan 12, 2012:

11:56 PM Changeset in ghc [3d52fa8f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
More .gitignore updates.
11:56 PM Changeset in testsuite [180857e]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
More .gitignore updates.
11:53 PM Records/NameSpacing edited by GregWeber
(diff)
11:50 PM Records/NameSpacing edited by GregWeber
comment on update tuple syntax (diff)
10:51 PM Changeset in nofib [4599a07]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Remove old files.
10:35 PM Changeset in ghc [ee599f6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update .gitignore to include generated test files
10:35 PM Changeset in testsuite [50dbd6d]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update .gitignore to include generated test files
10:10 PM Records/NameSpacing edited by strake888
(diff)
8:38 PM Ticket #5766 (Asynchronous exception bugs in readProcess and readProcessWithExitCode) created by basvandijk
As [http://www.haskell.org/pipermail/libraries/2012-January/017406.html
8:36 PM Ticket #5535 (Performance regression vs. 7.2.1) closed by igloo
wontfix: OK, in the end I don't think there's anything bad actually going wrong …
6:19 PM Changeset in ghc [e948d22b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5658b
6:19 PM Changeset in testsuite [d8877bc]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5658b
6:15 PM Changeset in ghc [df587d57]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_run/all.T
6:15 PM Changeset in testsuite [7f24386]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_run/all.T
5:21 PM Changeset in ghc [50fd5a99]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:18 PM Changeset in ghc [4ada19d8]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix if-def-ery for DEBUG
5:18 PM Changeset in ghc [3b75c4e6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
5:18 PM Changeset in ghc [3beb1a83]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5658: strict bindings not floated in Two changes here * The main change here is to enhance the FloatIn pass so that it can float case-bindings inwards. In particular the case bindings for array indexing. * Also change the code in Simplify, to allow a case on array indexing (ie can_fail is true) to be discarded altogether if its results are unused. Lots of new comments in PrimOp about can_fail and has_side_effects Some refactoring to share the FloatBind data structure between FloatIn and FloatOut
5:07 PM Changeset in ghc [f2d090d]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fixed stuff that got changed: * simplifyInfer now takes a bool as first argument, and returns another argument * itName needs a SrcLoc too * PredTy is gone
5:06 PM Changeset in ghc [f8270f76]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fixed some merge conflicts I missed.
4:39 PM Changeset in ghc [9a0ce24]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Make sure the holes have the right class constrains when checking a full module.
4:37 PM Changeset in ghc [e9ea7a63]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
In the same way as pprTypeForUser, correctly strip foralls.
4:37 PM Changeset in ghc [a61a3f95]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Apply mkForAllTys to the hole's type again. Now the result is consistent with the final output. However, it contains a lot of incorrect quantification.
4:37 PM Changeset in ghc [5a148e01]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Do the correct tyding for a module (using a fold).
4:36 PM Changeset in ghc [c96453a]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Tidying is now properly done as a fold. The updated TidyEnv is passed to the next call. This does not make the types of the holes consistent with the final type (as they use a different order), but at least the types of the holes is in itself consistent.
4:35 PM Changeset in ghc [b277ed0]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Added a bunch of trace statements.
4:33 PM Changeset in ghc [bdb45c59]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Added holes in a lot of places in the compiler. This is necessary for ghci to be able to load files with a hole (as it immediately compiles). Also means I had to add Hole to the Core language.
4:31 PM Changeset in ghc [d342f88]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:31 PM Changeset in testsuite [8cc7d30]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:31 PM Changeset in ghc [de271bd8]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Added a couple of outputable instances.
4:30 PM Changeset in ghc [19e38dd]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Store the SrcPos in the Hole. Use a map to map holes to their type.
4:30 PM Changeset in ghc [3a3dcc31]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:26 PM Changeset in ghc [9edcd26]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
I don't think holes should be universally quantified like this.
4:26 PM Changeset in ghc [d22ae0e5]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Storing the TyVar was wrong, it has to store the type.
4:25 PM Changeset in ghc [63d7ee23]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Store TyVars instead of Types. Tidy types before printing. TyVars are Names, so store their src position, however, it seems to not be used here.
4:24 PM Changeset in ghc [902521d]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Added a field to the local environment to store the TyVars of holes. Print the types of these holes in tcRnExpr. Added a lot of debug statements.
4:20 PM Changeset in ghc [2f3e9e0]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Extended the parser to support "__", which will be used to denote a hole.
3:13 PM Changeset in ghc [4c68c2f9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Lots of error message wibbling, following the major TcErrors refactoring
3:13 PM Changeset in testsuite [fbb1f16]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Lots of error message wibbling, following the major TcErrors refactoring
3:11 PM Changeset in ghc [a686d1cb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:10 PM Changeset in ghc [5508ada]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implememt -fdefer-type-errors (Trac #5624) This patch implements the idea of deferring (most) type errors to runtime, instead emitting only a warning at compile time. The basic idea is very simple: * The on-the-fly unifier in TcUnify never fails; instead if it gets stuck it emits a constraint. * The constraint solver tries to solve the constraints (and is entirely unchanged, hooray). * The remaining, unsolved constraints (if any) are passed to TcErrors.reportUnsolved. With -fdefer-type-errors, instead of emitting an error message, TcErrors emits a warning, AND emits a binding for the constraint witness, binding it to (error "the error message"), via the new form of evidence TcEvidence.EvDelayedError. So, when the program is run, when (and only when) that witness is needed, the program will crash with the exact same error message that would have been given at compile time. Simple really. But, needless to say, the exercise forced me into some major refactoring. * TcErrors is almost entirely rewritten * EvVarX and WantedEvVar have gone away entirely * ErrUtils is changed a bit: * New Severity field in ErrMsg * Renamed the type Message to MsgDoc (this change touches a lot of files trivially) * One minor change is that in the constraint solver we try NOT to combine insoluble constraints, like Int~Bool, else all such type errors get combined together and result in only one error message! * I moved some definitions from TcSMonad to TcRnTypes, where they seem to belong more
1:57 PM Changeset in ghc [2ed1fdf4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
widen peak_megablocks_allocated for T4801 (64bit/Linux) I checked and there's no regression here, just timing of GCs.
1:57 PM Changeset in testsuite [33b028b]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
widen peak_megablocks_allocated for T4801 (64bit/Linux) I checked and there's no regression here, just timing of GCs.
1:57 PM Changeset in ghc [5ce0e4e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add reqlib('random')
1:57 PM Changeset in ghc [05306f4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
widen max_bytes_used for T4801
1:57 PM Changeset in testsuite [40bb395]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add reqlib('random')
1:57 PM Changeset in testsuite [12284e5]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
widen max_bytes_used for T4801
1:56 PM Changeset in ghc [c2121ec4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it
12:23 PM Records/NameSpacing edited by GregWeber
(diff)
12:17 PM Records/NameSpacing edited by GregWeber
add Control.Category.<<< (diff)
9:47 AM Ticket #5765 (ghc-cabal build failure with nonsense error message) created by jimstutt
Trying to install a second user instance of ghc-7.2.2 from …
9:37 AM Ticket #5764 (Double addition error) closed by ross
invalid: It's an artifact of fixed-precision floating point not being able to …
9:21 AM Ticket #5764 (Double addition error) created by jimstutt
ghci>0.1+0.2 ghci>3.000000000000004 ghc produces the same result with: …
8:48 AM Changeset in ghc [234a526]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
More improvements to llvm output style (#5750)
8:48 AM Changeset in ghc [0f15f8a7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add Metadata support to LLVM bindings.
8:48 AM Changeset in ghc [71e5ee7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-coghc-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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567) TBAA allows us to specify a type hierachy in metadata with the property that nodes on different branches don't alias. This should somewhat improve the optimizations LLVM does that rely on alias information.
8:14 AM Commentary/Compiler/Backends/LLVM/Alias edited by dterei
Added base type to hierachy. (diff)
1:15 AM Ticket #5631 (Compilation slowdown from 7.0.x to 7.2.x) closed by igloo
fixed: language-python (with a handful of build fixes) just compiled for me …
Note: See TracTimeline for information about the timeline view.