Timeline


and

Sep 12, 2011:

9:27 PM Changeset in ghc [121a9a2]known-key-serialization by Max Bolingbroke <batterseapower@…>
Cleverer serialization for IfExtName so IfaceType can be dumber
2:32 PM Ticket #5484 (HEAD build fails with ghc-7.2.1) created by daniel.is.fischer
Buidling HEAD with ghc-7.2.1 as bootstrapping compiler fails with a …
1:56 PM KindFact edited by simonpj
(diff)
1:54 PM KindFact edited by simonpj
(diff)
12:59 PM KindFact edited by simonpj
(diff)
11:22 AM Changeset in ghc [c46faf3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add a test for #3103
11:22 AM Changeset in testsuite [f796f0f]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 test for #3103
9:57 AM Ticket #5483 (Eta-reduced term has wrongly inferred monomorphic type) closed by simonpj
invalid: * Why rowtotals' is monomorphic: …
9:46 AM Ticket #1799 (Retain export-list order in ModIface, use it in :browse) closed by igloo
fixed: The order is now stable, so closing. We may in the future use info from …
9:45 AM Ticket #3507 (In TH, allow e.g. (type T) rather than ''T) closed by igloo
wontfix: No support for this, so closing as wontfix.
9:35 AM Ticket #5483 (Eta-reduced term has wrongly inferred monomorphic type) created by darchon
Hi, When creating a file with the following two definitions: […] And …

Sep 11, 2011:

9:14 PM Changeset in ghc [bdf6ede]known-key-serialization by Max Bolingbroke <batterseapower@…>
Change the way IfaceExtName is serialized so (most) wired-in names get special representation The only exceptions are the names of implicit parameter TyCons and the Any tycons, because these form infinite families and do not get special representation as Names.
7:53 PM Changeset in ghc [4027a7d]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
When checking FFI types are IO, don't look through abstract newtypes; #3008
6:13 PM Ticket #2897 (HsFFI.h is not in the default include path for hsc2hs) closed by igloo
fixed: I'm going to declare this fixed by: […]
5:46 PM Ticket #5481 (Associated type defaults + MultiParamTypeClasses error) closed by batterseapower
fixed
5:43 PM Ticket #2911 (Error messages have the wrong qualified names) closed by igloo
wontfix: I'm going to close this as not worth fixing. After all, errors are already …
5:40 PM Ticket #5482 (isSymbolicLink doesn't work) closed by igloo
worksforme: I suspect you're using getFileStatus rather than …
5:24 PM Ticket #5482 (isSymbolicLink doesn't work) created by DmitryBespalov
This function from System.Posix.Files (unix-2.5.0.0) always returns False …
4:50 PM Ticket #2281 (properFraction implemented with modf primitive?) closed by igloo
wontfix: I'm going to close this ticket, but I suggest that if anyone is interested …
4:09 PM Changeset in ghc [d7114e7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Max Bolingbroke <batterseapower@…>
Test #5481
4:09 PM Changeset in testsuite [ee78629]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 #5481
4:09 PM Changeset in ghc [7ca27dce]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Fix associated type default instantiation check (#5481)
2:46 PM Ticket #5353 (Cabal bug building haddock, alex, happy, etc) closed by igloo
fixed: Fixed by […] in Cabal HEAD, and Duncan says he'll make a new stable …
2:14 PM Ticket #5481 (Associated type defaults + MultiParamTypeClasses error) created by illissius
If I try this with GHC HEAD as of yesterday: […] I get this error: …
1:49 PM Ticket #5477 (Missing space in Windows cmd.exe invocation breaks shell command ...) closed by igloo
fixed: Applied, thanks: […]
1:30 PM Ticket #5450 (copy-pasto in IntMap docs) closed by milan
fixed: Thanks, fixed. Also improved the documentation of fromListWith.
12:51 PM Changeset in process [14900d3]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Fix "system" on wine; trac #5477 A missing space in the Windows cmd.exe invocation broke shell command invocation on Wine. Patch from A1kmm.
12:50 PM Changeset in ghc [055c632]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Whitespace only in basicTypes/Literal.lhs
12:50 PM Changeset in ghc [f5084f6]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix warnings in basicTypes/Literal.lhs
12:50 PM Changeset in ghc [2818cfd]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Whitespace only in codeGen/CgUtils.hs
12:50 PM Changeset in ghc [af536ac]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix warnings in codeGen/CgUtils.hs
10:55 AM Ticket #5479 (The impossible happened!) closed by igloo
duplicate: Thanks for the report. I'll close this ticket as it's a duplicate of …
10:19 AM Ticket #5480 (Ghc 7.2.1 does not build anymore on NetBSD) created by adegroot
While ghc 7.0.4 builds fine, changes between 7.0.4 and 7.2.1 breaks the …
7:22 AM Ticket #5479 (The impossible happened!) created by adityadennis
Running my haskell script gives me the following error: eliza.hs: …

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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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-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/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/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/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/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/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/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/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/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/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/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/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/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/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/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 …
Note: See TracTimeline for information about the timeline view.