Timeline


and

Sep 14, 2011:

11:56 PM Ticket #4194 (add no spaces allowed in new qualified operators to user guide) closed by igloo
fixed: NewQualifiedOperators was removed, so this ticket is now redundant.
4:23 PM Ticket #5478 (GHC panics when asked to derive Show for ByteArray#) closed by simonpj
fixed: Thanks for finding this bug.
4:21 PM Changeset in ghc [a3661c6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improved debugger output It turns out that the new treatment of Integer literals means that the debugger can see an Integer value more often than before (it's a value not a thunk). That improves the debugger output; hence all these diffs.
4:21 PM Changeset in testsuite [ab0d209]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@…>
Improved debugger output It turns out that the new treatment of Integer literals means that the debugger can see an Integer value more often than before (it's a value not a thunk). That improves the debugger output; hence all these diffs.
2:30 PM Changeset in ghc [54ced85]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Accept error message change
2:30 PM Changeset in testsuite [b42571d]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@…>
Accept error message change
2:30 PM Changeset in ghc [06d452de]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5478
2:30 PM Changeset in testsuite [cede5cb]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 #5478
2:28 PM Changeset in ghc [99a6412]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tighten up the side-condition testing for deriving (again) Fixes Trac #5478
11:05 AM Ticket #5485 (Build failure on powerpc-linux at compiler/stgSyn/CoreToStg.lhs line 188) closed by simonpj
fixed
11:03 AM Changeset in ghc [eecd53bc]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix integer stuff (fixes Trac #5485) In particular, use mkConApp when building the (S# i) constructors in CorePrep
8:38 AM Changeset in ghc [e0e4288]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:13 AM Ticket #5485 (Build failure on powerpc-linux at compiler/stgSyn/CoreToStg.lhs line 188) created by erikd
Current GHC head fails to build on powerpc-linux: […] Resetting to …
7:15 AM KindFact edited by simonpj
(diff)
12:07 AM SafeHaskell edited by dterei
(diff)
12:03 AM SafeHaskell edited by dterei
(diff)

Sep 13, 2011:

11:57 PM Ticket #4117 (GHC does not accept --srcdir) closed by igloo
wontfix: I don't think this will ever be a high priority for us, so I'm going to …
11:48 PM Ticket #4062 (Bad choice of loop breaker?) closed by igloo
invalid: No testcase, so closing
9:42 PM Changeset in ghc [40801eed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #3592
9:42 PM Changeset in testsuite [962a432]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 #3592
9:18 PM Changeset in ghc [e6102923]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some (probably bit-rotted) .NET cases
9:03 PM Ticket #3993 (allow implicit parameter bindings in patterns) closed by igloo
wontfix: This seems to have little support, so I'll close the ticket.
8:38 PM Ticket #3829 (GHC leaks memory when compiling many files) closed by igloo
worksforme: I had a look a --make's memory usage a while ago, but it seemed that the …
8:26 PM Ticket #3743 (type checker fails to infer an implicit parameter constraint in the ...) closed by igloo
fixed: This now works. I've added a test.
8:12 PM Changeset in ghc [3c4cbdf2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Tweak EvalTest to be less sensitive to whitespace changes
8:12 PM Changeset in testsuite [74b0e23]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@…>
Tweak EvalTest to be less sensitive to whitespace changes
8:04 PM Changeset in ghc [0b378db]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix arith013 following integer-gmp changes
8:04 PM Changeset in testsuite [41df3ad]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 arith013 following integer-gmp changes
7:20 PM Changeset in ghc [9935359f]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Export GMP-only functions from the Internals module
7:20 PM Changeset in integer-gmp [053ce5e]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Export GMP-only functions from the Internals module
7:19 PM Changeset in base [47d0d8c]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Import GMP-only functions from a GMP modules
7:19 PM Changeset in ghc [c9b1deee]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Import GMP-only functions from a GMP modules
6:48 PM Changeset in ghc [77d0c63]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
NOINLINE a couple more functions We don't need them to be inlined at all, following changes in how GHC handles Integers.
6:48 PM Changeset in integer-gmp [ebc9691]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
NOINLINE a couple more functions We don't need them to be inlined at all, following changes in how GHC handles Integers.
6:47 PM Changeset in ghc [73aeb7d]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove an old "ToDo" comment
6:47 PM Changeset in ghc [fdac48f3]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
change how Integer's are handled in Core We now treat them as literals until CorePrep, when we finally convert them into the real Core representation. This makes it a lot simpler to implement built-in rules on them.
6:23 PM Changeset in ghc [7a10aeb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add a test for #3743
6:23 PM Changeset in testsuite [d673c4c]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 #3743
6:19 PM Changeset in ghc [cd4d0fb]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Add NOINLINE pragmas Stops code size explosions, and allows the built-in rules to fire
6:12 PM Ticket #3737 (inlining happens on foldl1 and does not happen on direct application of ...) closed by igloo
fixed: Hopefully fixed, and no response from submitter, so closing.
6:09 PM Ticket #3715 (GHC API no longer exports location information for error/warning messages) closed by igloo
fixed: The problem is fixed, so closing the ticket.
5:29 PM Changeset in ghc [97bf1c5]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Don't export gcdInteger, lcmInteger from GHC.Integer integer-simple doesn't export them
5:29 PM Changeset in integer-gmp [6e850c4]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Don't export gcdInteger, lcmInteger from GHC.Integer integer-simple doesn't export them
4:19 PM Ticket #3608 (Build the ghc-bin package in the standard way) closed by igloo
fixed: ghc-bin uses Cabal nowadays.
3:58 PM Changeset in base [c533698]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix build on Windows Now hsc2hs's template doesn't include HsFFI.h for us, we have to do it ourselves.
3:58 PM Changeset in ghc [b685745]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Fix build on Windows Now hsc2hs's template doesn't include HsFFI.h for us, we have to do it ourselves.
11:41 AM Changeset in ghc [6c9c37f]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <igloo@…>
Update imports
10:00 AM Ticket #5465 (deepseq missing NFData instances for (->), Data.Fixed and Data.Version) closed by simonmar
fixed: Pushed.
9:59 AM Changeset in ghc [1b4e251]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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
GHC does build with Alex 3 now - remove the configure trap However, one perf test fails (parsing001) due to extra allocation. I want to look into this so I'm not bumping it just yet.

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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
When 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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix 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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix 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/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
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/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments, 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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:17 AM Changeset in ghc [3723ffd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/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/ampwip/coveritywip/nested-cprwip/orfwip/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/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Revert "Get rid of associated-type default declarations" This reverts commit 5e102e64d6e581e3ea1f290547fc4be6fce20a00.
Note: See TracTimeline for information about the timeline view.