Timeline


and

Sep 10, 2011:

3:55 PM Ticket #5299 (ghc.exe: panic! (the 'impossible' happened)) closed by igloo
worksforme: No response from submitter.
3:54 PM Ticket #5271 (Compilation speed regression) closed by igloo
worksforme: If you still think there's a problem, please reopen and include some way …
3:52 PM Ticket #5212 (waitForProcess: does not exist (No child processes)) closed by igloo
worksforme: No response from submitter.
3:48 PM Ticket #5048 (Wrong SrcSpan on AbsBinds) closed by igloo
fixed: No response from submitter, so assuming it's fixed.
3:45 PM Ticket #4987 (darcs: internal error: stg_ap_v_ret (GHC version 7.0.1 for ...) closed by igloo
wontfix: No testcase, so closing.
3:43 PM Ticket #4805 (segfault in Data.HashTable, triggered by long Agda runs) closed by igloo
invalid: Please reopen if you have a way to reproduce this.
3:42 PM Ticket #4473 (GHC --make switch does not set file timestamp correctly) closed by igloo
fixed: No response from submitter, so closing.
3:27 PM Ticket #813 (-optc-O2 used by default in GhcRtsHcOpts while building 6.5, leading make ...) closed by igloo
fixed: No response, so let's assume it's fixed.
3:25 PM Ticket #68 (Warnings for unitialized fields) closed by igloo
wontfix: There doesn't seem to be a consensus that anything should be done, so I'm …
1:31 PM Changeset in ghc [9a3d8247]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Test irreducible-evidence self-interactive
1:31 PM Changeset in testsuite [723804d]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Test irreducible-evidence self-interactive
1:31 PM Changeset in ghc [a7ac381]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Solve irreducible evidence from itself
12:51 PM Ticket #5478 (GHC panics when asked to derive Show for ByteArray#) created by hvr
The following Haskell […] caused GHC to panic with […]
7:53 AM Changeset in ghc [e3f4a1b]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Adapt vectoriser to disappearing PredTy
6:59 AM Changeset in ghc [4d7033df]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Report bindings that cannot be vectorised - Toplevel bindings that cannot be vectorised are reported as a warning - '-ddump-vt-trace' has even more information about unvectorised code - Fixed some documentation
5:11 AM Ticket #5477 (Missing space in Windows cmd.exe invocation breaks shell command ...) created by A1kmm
Consider this code example: […] When compiled and run on Wine, using …

Sep 9, 2011:

10:27 PM Ticket #5476 (Cap memory usage for one thread without disrupting other threads) created by joeyadams
I would like to be able to programmatically guard against runaway memory …
8:05 PM Ticket #5068 (Possible loss of sharing: big performance change) closed by bos
wontfix: I am not sure this is worth addressing. At the very least, I won't have …
6:35 PM CodeOwners edited by dterei
(diff)
6:34 PM CodeOwners edited by dterei
(diff)
6:33 PM SafeHaskell edited by dterei
update for -XPackageTrust and safe inference (diff)
3:57 PM Changeset in ghc [5c312b42]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:47 PM Ticket #5475 (Unthrown exceptions) created by daniel.is.fischer
With today's HEAD, I got five unexpected failures because some exceptions …
1:25 PM Changeset in ghc [02a0b7d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Bump T3294 a bit higher again due to high variance
1:25 PM Changeset in testsuite [b2edda8]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Bump T3294 a bit higher again due to high variance
1:11 PM Changeset in ghc [b3bc5f4f]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Merge branch 'no-pred-ty' Conflicts: compiler/iface/BuildTyCl.lhs compiler/iface/MkIface.lhs compiler/iface/TcIface.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/types/Class.lhs compiler/utils/Util.lhs
12:40 PM Changeset in ghc [09af1e9b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Merge branch 'no-pred-ty' Conflicts: tests/safeHaskell/safeLanguage/all.T tests/safeHaskell/unsafeLibs/all.T tests/typecheck/should_compile/all.T tests/typecheck/should_compile/tc250.hs tests/typecheck/should_compile/tc251.hs
12:40 PM Changeset in testsuite [87d9c75]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Merge branch 'no-pred-ty' Conflicts: tests/safeHaskell/safeLanguage/all.T tests/safeHaskell/unsafeLibs/all.T tests/typecheck/should_compile/all.T tests/typecheck/should_compile/tc250.hs tests/typecheck/should_compile/tc251.hs
12:31 PM Changeset in ghc [99a52b0]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Move exprIsConApp_maybe to CoreSubst so we can use it in VSO. Fix VSO bug with unlifted let bindings.
12:29 PM Changeset in ghc [9857fca7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Tweak tcrun043 to test constraint tuple codegen
12:29 PM Changeset in testsuite [c37e9c70]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Tweak tcrun043 to test constraint tuple codegen
12:29 PM Changeset in ghc [0d963be]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Accept increase in T3294 allocation
12:29 PM Changeset in testsuite [e807408]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Accept increase in T3294 allocation
12:10 PM Ticket #5474 (Add facility for emitting heap profile marker) created by hvr
When analysing heap profile diagrams I often want correlate certain points …
11:50 AM Changeset in ghc [ffada1e]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Record selectors should be Exported Ids We don't want to drop record selectors as dead code, even if they aren't exported in the module header. The data type decl in the inteface file advertises their presenece, and we may get at them via Template Haskell. module M( f ) where data T = MkT { boo :: Int } f :: T -> T f = <blah> We don't want to drop the record selector for 'boo'. See Trac #4946
11:47 AM Ticket #4946 (reify does not work on data structures defined in files without Language ...) closed by simonpj
invalid: Yes, you need to compile DataStructures.hs either with …
9:54 AM Changeset in ghc [ff94f97]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments, and rename FactTuple to ConstraintTuple
9:52 AM Changeset in ghc [c2bd94c]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactoring and code moving-around, following Max's AT-default patch
9:20 AM Ticket #5441 (unsafeCoerce'ing function to GHC.Prim.Any causes segfault) closed by simonpj
fixed: Ulf, thank you for identifying a nice small test case. Very helpful. …
9:18 AM Changeset in ghc [4b17d749]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:17 AM Changeset in ghc [3723ffd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:17 AM Changeset in testsuite [da86648]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-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
9:07 AM Changeset in ghc [6529337]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:04 AM Changeset in ghc [1466b0ca]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Obey the exprArity invariants! Fixes Trac #5441 We were giving arity 2 to a function whose type was Int -> Any That contradicts the exprArity invariant (see Note [exprArity invariant] in CoreArity), and in turn led to function whose actually code-generated arity was different that advertised in the interface file. Result: seg-fault city.
9:03 AM Ticket #5473 (sortBy is no longer a good consumer in GHC 7) created by lpsmith
The …
8:12 AM Changeset in ghc [4714d50a]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:27 AM Changeset in ghc [4c35337]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Documentation for associated type instance defaults
7:26 AM Changeset in ghc [de8c8d68]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Implement associated type defaults Basically, now you can write: class Cls a where type Typ a type Typ a = Just a And now if an instance does not specify an explicit associated type instance, one will be generated afresh based on that default. So for example this instance: instance Cls Int where Will be equivalent to this one: instance Cls Int where type Typ Int = Just Int
7:25 AM Changeset in ghc [eaf6a58a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Test associated type defaults
7:25 AM Changeset in testsuite [8acdfa2]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Test associated type defaults
7:21 AM Changeset in ghc [967633d]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Revert "Get rid of associated-type default declarations" This reverts commit 5e102e64d6e581e3ea1f290547fc4be6fce20a00.

Sep 8, 2011:

8:36 PM Changeset in ghc [0074dc0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5441
8:36 PM Changeset in testsuite [8b971c7]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-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 #5441
3:15 PM Ticket #5472 (eventlog file should drop ".exe" exetention for consistency.) created by shelarcy
GHC profiler always drop ".exe" extention in output file's name. But …
2:26 PM Ticket #5471 (Incorrect InterruptibleFFI test) created by shelarcy
It seems that …
2:06 PM Ticket #5468 (Implement deepseq->{array,containers} dependancy reversal proposal) closed by igloo
fixed: deepseq is now a core package, and the containers instances are in the …
12:59 PM Changeset in ghc [ced8474]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix typos in comments
12:59 PM Changeset in ghc [e18f03a]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add deepseq as a core package
12:59 PM Changeset in ghc [6ff6895e]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add deepseq as a core package; part of #5468
11:26 AM Changeset in ghc [07060024]wip/T9016 by Jose Pedro Magalhaes <jpm@…>
Break the GHC.Generics / GHC.Types import loop. Also related to #5464. Now GHC.Generics imports GHC.Types, and the Generic instances for primitive types use StandaloneDeriving.
11:26 AM Changeset in ghc-prim [60a85ba]ghc-7.4ghc-7.6ghc-7.8 by Jose Pedro Magalhaes <jpm@…>
Break the GHC.Generics / GHC.Types import loop. Also related to #5464. Now GHC.Generics imports GHC.Types, and the Generic instances for primitive types use StandaloneDeriving.
11:24 AM Changeset in ghc [7bde01d]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Fix #5464: Change the way the extra bindings for the generic representation are generated. This is an initial commit; things seem to work but some clean up is still necessary (renaming functions, adding comments, etc.)
7:35 AM Ticket #5470 (The DPH library needs to support PData and PRepr instances for more than ...) created by chak
Currently, Data.Array.Parallel.PArray.PDataInstances only generates …
2:53 AM Ticket #5065 (dph tests failing) closed by roldugin
fixed: Closed by commits 26c608a0c31d56917099e4f48bf58c1d1e92e61c Fix …

Sep 7, 2011:

10:48 PM Changeset in ghc [c2b1e0d]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Daniel Fischer <daniel.is.fischer@…>
Correct a few typos
5:56 PM Changeset in ghc [193ad9f]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Daniel Fischer <daniel.is.fischer@…>
Added repack command to sync-all
5:52 PM Changeset in ghc [df05656]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Daniel Fischer <daniel.is.fischer@…>
Whitespace only
4:44 PM Changeset in ghc [c4c9810]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Nuke isCertainlyPredReprTy
4:44 PM Changeset in ghc [aba74afd]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and layout
4:00 PM Changeset in ghc [faa2503]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
ConstraintKind -> ConstraintKinds
4:00 PM Changeset in testsuite [47ac738]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
ConstraintKind -> ConstraintKinds
3:29 PM Changeset in ghc [a0d7ffb]at-defaults by Max Bolingbroke <batterseapower@…>
Don't generate a full TyCon for the AT defaults
3:23 PM Changeset in ghc [536359d4]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add Constraint as a legitmiate tycon in Kinds
3:22 PM Changeset in ghc [0bdafd5c]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
ConstraintKind -> ConstraintKinds
3:22 PM Changeset in ghc [80d19632]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Minor refactoring of dsLCoercion, plus comments
3:14 PM Changeset in ghc [f92f720]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make the test nicer, now that associated types can mention type variables not in the class
3:14 PM Changeset in testsuite [55c7ab7]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make the test nicer, now that associated types can mention type variables not in the class
3:13 PM Changeset in ghc [400842c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test abstracting over a type variable of kind Constraint
3:13 PM Changeset in testsuite [3ee5684]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test abstracting over a type variable of kind Constraint
3:08 PM Blog: Let generalisation in GHC 7.0 edited by simonpj
2:00 PM Changeset in ghc [6d940f6e]at-defaults by Max Bolingbroke <batterseapower@…>
Simplify treatment of default associated type decl typechecking
1:59 PM Changeset in testsuite [470c4bc]at-defaults by Max Bolingbroke <batterseapower@…>
Commited a changed test but not the new output - oops
8:33 AM Changeset in ghc [bfb7d73]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code
8:33 AM Changeset in ghc [bad0252]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibble in tickyDynAlloc (only affects -ticky) Fall-out from codegen refactoring, undiscovered because we don't usually build with -ticky
8:31 AM Ticket #5469 (Reorganisation of exports in template-haskell library) created by reinerp
When working on documentation for the template-haskell library (see …
7:32 AM Ticket #5468 (Implement deepseq->{array,containers} dependancy reversal proposal) created by hvr
See also the related #4868 proposal Implementing the proposal …
7:19 AM InterMapTxt edited by hvr
revert revert of hackage interwiki prefix (sorry for the noise) (diff)
7:16 AM InterMapTxt edited by hvr
revert hackage InterWiki prefix (diff)
7:15 AM InterMapTxt edited by hvr
(diff)
7:14 AM InterMapTxt edited by hvr
add hackage: InterWiki prefix resolving to HackageDB urls (diff)
4:50 AM Ticket #5467 (Template Haskell: support for Haddock comments) created by reinerp
I would like Template Haskell to be aware of Haddock comments. Here's a …
4:10 AM Ticket #5466 (Documentation for Chan could be better) created by pumpkin
The summary is two words, and none of the operations say whether they …

Sep 6, 2011:

7:48 PM Changeset in ghc [9729fe7]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Implement -XConstraintKind Basically as documented in http://hackage.haskell.org/trac/ghc/wiki/KindFact, this patch adds a new kind Constraint such that: Show :: * -> Constraint (?x::Int) :: Constraint (Int ~ a) :: Constraint And you can write *any* type with kind Constraint to the left of (=>): even if that type is a type synonym, type variable, indexed type or so on. The following (somewhat related) changes are also made: 1. We now box equality evidence. This is required because we want to give (Int ~ a) the *lifted* kind Constraint 2. For similar reasons, implicit parameters can now only be of a lifted kind. (?x::Int#) => ty is now ruled out 3. Implicit parameter constraints are now allowed in superclasses and instance contexts (this just falls out as OK with the new constraint solver) Internally the following major changes were made: 1. There is now no PredTy in the Type data type. Instead GHC checks the kind of a type to figure out if it is a predicate 2. There is now no AClass TyThing: we represent classes as TyThings just as a ATyCon (classes had TyCons anyway) 3. What used to be (~) is now pretty-printed as (~#). The box constructor EqBox :: (a ~# b) -> (a ~ b) 4. The type LCoercion is used internally in the constraint solver and type checker to represent coercions with free variables of type (a ~ b) rather than (a ~# b)
5:50 PM Ticket #5465 (deepseq missing NFData instances for (->), Data.Fixed and Data.Version) created by hvr
5:36 PM Building/RunningTests/Running edited by igloo
(diff)
4:31 PM Changeset in ghc [dcb2d63]wip/T9016 by Max Bolingbroke <batterseapower@…>
Add a data type we can use to box up equality evidence for -XConstraintKind
4:31 PM Changeset in ghc-prim [c7623fc]ghc-7.4ghc-7.6ghc-7.8no-pred-ty by Max Bolingbroke <batterseapower@…>
Add a data type we can use to box up equality evidence for -XConstraintKind
4:28 PM Changeset in ghc [8b5a2b43]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Test the ConstraintKind extension and related changes
4:28 PM Changeset in testsuite [4754da5]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Test the ConstraintKind extension and related changes
4:28 PM Changeset in ghc [49eee08]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Clean more in the plugin tests
4:28 PM Changeset in ghc [84cf6cd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Clean more stuff in the safeHaskell tests
4:28 PM Changeset in testsuite [ac153aa]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Clean more in the plugin tests
4:28 PM Changeset in testsuite [446bdf9]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Clean more stuff in the safeHaskell tests
4:25 PM Changeset in ghc [69cf252a]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Make an import unconditional Fixes build on non-Intel/PPC platforms
4:21 PM Changeset in ghc [12850c11]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
4:21 PM Changeset in testsuite [13c24ae1]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
4:21 PM Changeset in ghc [b98267ad]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Remove the "Ghastly special case" from dataTcOccs This special case was introduced in 228c4743 to 'Fix problem with :i for (:)' but the associated Note doesn't explain why (:) deserves this treatment but not e.g. Left and Right. Removing the special case does not break anything (including :i (:)) so I guess this is no longer necessary. Conflicts: compiler/rename/RnEnv.lhs
4:18 PM Changeset in ghc [c02ff7c7]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Zap demand information if the simplifier reduces the arity: fixes CoreLint failure
4:17 PM Changeset in ghc [902d4606]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Fix handing of CoVars in SetLevels: it wasn't renaming occurrences of case-bound coercion variabes Conflicts: compiler/simplCore/SetLevels.lhs
4:17 PM Changeset in ghc [d9826222]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
There are no predicate kinds in external core: remove Keq
4:16 PM Changeset in ghc [6bad38a]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Remove bogus isCoercionKind function and its sole use
4:12 PM Changeset in process [26c0066]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
3:48 PM Changeset in ghc [877dc99e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
3:48 PM Changeset in testsuite [0f66046]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
2:35 PM Changeset in ghc [89f34a4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
2:35 PM Changeset in testsuite [810860e]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
2:14 PM Changeset in ghc [f11bec6]at-defaults by Max Bolingbroke <batterseapower@…>
Documentation for associated type instance defaults
1:50 PM Ticket #5457 (Please whitelist architectures supporting registered builds) closed by simonmar
fixed: I fixed this and put the wrong ticket number in the commit, oops. commit …
1:47 PM Ticket #5451 (HEAD: biographical profiling totally broken) closed by simonmar
fixed
1:47 PM Ticket #5459 (Please add s390x to list of known architectures) closed by simonmar
fixed: Applied: 559f375f05d45d813f8c4ef8d4a6cba5150226be
1:46 PM Ticket #5460 (Build failure on powerpc-linux) closed by simonmar
fixed
1:27 PM Changeset in ghc [aa658153]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add a Makefile
1:27 PM Changeset in testsuite [49ac52c]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add a Makefile
1:13 PM Ticket #5448 (GHC stuck in infinite loop compiling with optimizations) closed by simonmar
wontfix: So I presume we want to close this bug then?
1:05 PM Changeset in ghc [fedb6a99]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add missing import (fixes #5460).
1:02 PM Changeset in ghc [559f375f]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add s390x to list of supported architectures
1:00 PM Changeset in ghc [0f0a3c97]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix GhcUnregisterised default, and add kfreebsdgnu to OsSupportsGhci (#5441)
12:48 PM Changeset in ghc [6ffaf6ff]atomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix the eager-blackholing check, which I inadvertently broke in 1c2f89535394958f75cfb15c8c5e0433a20953ed (symptom was broken biographical profiling, see #5451).
11:42 AM Changeset in ghc [83db11b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
11:42 AM Changeset in testsuite [7e21855]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
9:13 AM Changeset in testsuite [1711bbde]at-defaults by Max Bolingbroke <batterseapower@…>
Test associated type defaults
8:41 AM Changeset in ghc [676d24c]at-defaults by Max Bolingbroke <batterseapower@…>
Move code from TcInstDcls to TcCyClsDecls to avoid module loop introduced with default associated type instances
8:14 AM Changeset in ghc [b4ac30d]at-defaults by Max Bolingbroke <batterseapower@…>
Revert "Get rid of associated-type default declarations" This reverts commit 5e102e64d6e581e3ea1f290547fc4be6fce20a00.
8:14 AM Changeset in ghc [1995895]at-defaults by Max Bolingbroke <batterseapower@…>
Implement associated type defaults Basically, now you can write: class Cls a where type Typ a type Typ a = Just a And now if an instance does not specify an explicit associated type instance, one will be generated afresh based on that default. So for example this instance: instance Cls Int where Will be equivalent to this one: instance Cls Int where type Typ Int = Just Int
7:41 AM Ticket #5464 (Change the way the extra bindings for the generic representation are ...) created by dreixel
This ticket serves to record an email conversation in which it was agreed …
7:03 AM CapabilitiesAndScheduling edited by nathanhowell
Fixing typos (diff)
5:46 AM Commentary/Rts/HaskellExecution/Registers edited by nathanhowell
Fix broken source links (diff)

Sep 5, 2011:

10:52 PM Changeset in ghc [1ba832e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files in driver/
10:52 PM Changeset in testsuite [16c5c0d]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files in driver/
8:54 PM Changeset in ghc [3ff21bd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Don't clean tests that we aren't running This can make it a lot faster to run a single test. You can run make CLEANUP=1 CLEAN_ONLY=YES to clean everything without running any tests.
8:54 PM Changeset in testsuite [2f262d7]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Don't clean tests that we aren't running This can make it a lot faster to run a single test. You can run make CLEANUP=1 CLEAN_ONLY=YES to clean everything without running any tests.
8:42 PM Ticket #5111 (linux-powerpc : segfault in stage2 compiler) closed by erikd
duplicate
8:32 PM Changeset in ghc [04fd366e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
8:32 PM Changeset in testsuite [806374e]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
6:56 PM Ticket #5463 (SPECIALISE pragmas generated from Template Haskell are ignored) created by NickSmallbone
Hi, I have the following program which contains a SPECIALISE pragma: …
5:54 PM Changeset in ghc [e9fab19c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
5:54 PM Changeset in testsuite [c4af4fa]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix some more written-but-not-cleaned files
4:36 PM Ticket #5455 (strange behaviour of -fwarn-incomplete-uni-patterns) closed by simonpj
fixed: Good point, thank you. Fixed. Simon
4:33 PM Changeset in ghc [14f977ad]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Minor wording change
4:33 PM Changeset in ghc [be53e4f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5455: be a bit more selective in mkSelectorBinds See Note [mkSelectorBinds]
4:32 PM Changeset in ghc [a6b7bb8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles for Trac #5455 test
4:32 PM Changeset in testsuite [0551f7e]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles for Trac #5455 test
3:59 PM Changeset in ghc [a6c37348]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Reduce context stack max depth, to avoid validate running out of memory
3:59 PM Changeset in testsuite [cd727ff]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Reduce context stack max depth, to avoid validate running out of memory
3:59 PM Changeset in ghc [a305d0d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5455
3:59 PM Changeset in testsuite [86b3aaa]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5455
3:41 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:23 PM Ticket #5462 (Deriving clause for arbitrary classes) created by simonpj
Currently, you can use a deriving clause, or standalone-deriving …
2:59 PM Ticket #5461 (Reconfigurable pretty-printing in GHCi) created by simonpj
Phil Wadler wants to control the pretty-printer used to display output in …
2:25 PM Commentary edited by simonpj
(diff)
2:25 PM DependencyTracking edited by simonpj
Name changed from Template to DependencyTracking (diff)
2:25 PM DependencyTracking edited by simonpj
(diff)
2:23 PM Commentary edited by simonpj
(diff)
2:21 PM DependencyTracking edited by simonpj
(diff)
10:23 AM Ticket #5460 (Build failure on powerpc-linux) created by erikd
[…]
9:31 AM Ticket #5454 (reify seems to needlessly remove kind ascriptions from type synonym RHSs) closed by simonpj
wontfix: I'm afraid it's deliberate. 'reify' tells what is in the type …
9:08 AM Changeset in ghc [4346c12]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Daniel Fischer <daniel.is.fischer@…>
Fix typo (TT5458 -> T5458)
9:08 AM Changeset in testsuite [fb462ca]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Daniel Fischer <daniel.is.fischer@…>
Fix typo (TT5458 -> T5458)
9:08 AM Changeset in ghc [c5aa25e0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Daniel Fischer <daniel.is.fischer@…>
Whitespace only
9:08 AM Changeset in testsuite [b7d7794]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Daniel Fischer <daniel.is.fischer@…>
Whitespace only
8:51 AM DependencyTracking created by snoyberg
8:39 AM Ticket #5456 (the 'impossible' happened : Ix{Int}.index: Index (7168) out of range ...) closed by simonpj
fixed: Ha! I didn't spot it because I don't compile my libraries with -O0. …
8:38 AM Changeset in ghc [8595c61c]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eliminate isHiBootTyCon in favour of isAbstractTyCon Fixes Trac #5456, which was a buglet arising from commit de9b85fa3fb6d4cd593366e1f2383cd0b492c056 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Fri Sep 2 17:43:53 2011 +0100 Export a tiny bit more info with AbstractTyCon (fixes #5424) It only shows up when compiling with -O0!
8:28 AM Commentary edited by snoyberg
(diff)
7:59 AM Ticket #5453 (Floating a non-exhaustive case can cause seg-faults) closed by simonpj
fixed: Fixed
7:58 AM Ticket #5458 (Phantom types confuse SpecConstr) closed by simonpj
fixed: The main patch is this […]
7:41 AM Ticket #5459 (Please add s390x to list of known architectures) created by nomeata
ghc-7.0.4 compiles and runs fine on s390x, after an initial bootstrap via …
7:35 AM Changeset in ghc [35d7722f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
7:35 AM Changeset in testsuite [f731a87]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
7:34 AM Changeset in ghc [9ca6350]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5458
7:34 AM Changeset in testsuite [a345dd2]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5458
7:32 AM Changeset in ghc [69ecb07]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Link the de-synonym change to ticket Trac #5458
7:31 AM Ticket #5458 (Phantom types confuse SpecConstr) created by simonpj
This program […] gave a Lint error in SpecConstr (use -O2). Reason: …
7:25 AM Changeset in ghc [cb41ea30]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5453
7:25 AM Changeset in testsuite [a27f2ed]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5453
7:21 AM Changeset in ghc [bd6f5de7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix two bugs in caes-floating (fixes Trac #5453) The problem is documented in the ticket. The patch does two things 1. Make exprOkForSpeculation return False for a non-exhaustive case 2. In SetLevels.lvlExpr, look at the *result* scrutinee, not the *input* scrutinee, when testing for evaluated-ness
7:18 AM Changeset in ghc [26a1acb]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
7:16 AM Changeset in ghc [e45c35f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
De-synonym the types of the abtracted term variables in SpecConstr This was making Text.PrettyPrint.HughesPJ give a lint-bug when the libraries were compiled with -O2. It's all caused by phantom type synonyms (which are, generally speaking, a royal pain). The fix is simple, but a bit brutal. See Note [Free type variables of the qvar types].
Note: See TracTimeline for information about the timeline view.