Timeline


and

Jun 10, 2012:

11:58 PM Changeset in ghc [08e6453d]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to filter the set of solved evidence. This function is used when we are purging shadowed implicit parameters: we remove and given or solved IP predicates the have the same name as an IP that enters scope. XXX: Is there a more efficient way to write this?
11:55 PM Changeset in ghc [82ee7cf]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to deconstruct IP predicates.
11:46 PM Ticket #6156 (Optimiser bug on linux-powerpc) created by erikd
Found a small chunk of code in the cryptocipher package that when compiled …
10:30 PM Changeset in base [c6ff62c]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Switch back to simple IP class.
9:50 PM Changeset in base [c1177ef]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into imp-param-class
9:46 PM Changeset in ghc [545afb0]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Merge with Master, and resolve conflicts. Conflicts: compiler/iface/IfaceEnv.lhs compiler/rename/RnTypes.lhs compiler/typecheck/Inst.lhs compiler/typecheck/TcBinds.lhs compiler/typecheck/TcExpr.lhs compiler/typecheck/TcMType.lhs compiler/types/Type.lhs
8:41 PM Changeset in base [4917efe]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into imp-param-class
2:27 PM TFvsFD edited by Lemming
Haskellwiki: Functional dependencies vs. type families (diff)
11:38 AM Repositories edited by igloo
(diff)
9:12 AM Ticket #6155 (-C causes panic "the impossible happened") closed by pcapriotti
fixed: Thanks for the report. This is fixed in HEAD by commit …
8:24 AM Ticket #6155 (-C causes panic "the impossible happened") created by Basti
1. Intent To find out where a segfault arises, maybe by adding debbuging …
8:23 AM Milestone 7.4.2 completed

Jun 9, 2012:

9:32 PM Ticket #6151 (typePrimRep: UbxTupleRep) closed by batterseapower
fixed: I think I fixed this with my commit …
9:26 PM Changeset in ghc [ad6af5f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Attempt to fix the bytecode generator for unboxed tuples, given the latest changes to unboxed tuple support
6:40 PM Ticket #6127 (Build for MIPS N32 host fails due to references to 64-bit support code) closed by pcapriotti
fixed: Pushed: […]
4:40 PM Ticket #6103 (Interrupted program cannot produce biographical heap profile) closed by pcapriotti
Merged as bbd055c6f46e543c236998bf90bd58ac9351b485.
4:39 PM Ticket #6146 (Segmentation fault with eager blackholing) closed by pcapriotti
Merged as 3b9d1750b6823dfc9f2d1fb7ff883b81bf746c33.
4:35 PM Ticket #4968 (openTempFile fails on Windows if a directory exists with the file name it ...) closed by pcapriotti
fixed: Merged as 84c41020a2c286c5e37a7ecd72ddf45a57fba4cf and …
4:32 PM Changeset in ghc [b3dd207]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Don't use 64-bit support functions on MIPS N32. It uses native 64-bit instructions instead of these, despite having 32-bit pointers.
6:26 AM LightweightConcurrency edited by fryguybob
Fixed type of switchTo. (diff)

Jun 8, 2012:

11:14 PM Ticket #6154 (ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error: ...) closed by igloo
invalid: Thanks for the report. However, it look like your current GHC cannot …
11:03 PM Ticket #6154 (ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error: ...) created by paulkoer
Dear all, Trying to compile the release candidate for ghc-7.4.2 on a …
8:39 PM Ticket #6121 (Very poor constant folding) closed by igloo
fixed: This now works in HEAD.
7:39 PM Changeset in ghc [ba5c1e9]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 more cases to the integer constant folding test
7:39 PM Changeset in testsuite [272341f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add more cases to the integer constant folding test
7:38 PM Changeset in ghc [dff06f8e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add some more Integer rules
6:42 PM Ticket #6153 (writeChan not properly protecting again async exceptions) created by klao
In the current code of writeChan from Control.Concurrent.Chan: […] if …
3:57 PM Ticket #5704 (Bug in the handling of wired-in packages (like template-haskell)) closed by simonmar
wontfix: I'm going to close this. It just doesn't work to have multiple versions …
3:55 PM Changeset in base [35c9071]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Allow openTempFile to retry when it hits a directory (#4968). Windows returns an EACCES error instead of EEXIST when a call to `open` fails due to an existing directory, so add a special case for this situation. MERGED from commit 6172212097337923b621be9e12b3542c34cad10e
3:44 PM Changeset in ghc [35073a0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Avoid using deprecated package-conf GHC flags.
3:44 PM Changeset in testsuite [bc19e1f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Avoid using deprecated package-conf GHC flags.
3:29 PM Ticket #5390 (Hard-coded /Developer path in Mac ghc) closed by simonmar
fixed
3:13 PM Changeset in ghc [f3cb7ec]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_compile/all.T
3:13 PM Changeset in testsuite [bc5f47c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_compile/all.T
3:07 PM Changeset in ghc [19cc357]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:07 PM Changeset in ghc [3891a056]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Significant refactoring of TcSimplify, in particular simplifyInfer and simplifyTop, code beautification etc. Important things: (a) New top-level defaulting plan, gotten rid of the SimplContext field. See Note [Top-level Defaulting Plan] (b) Serious bug fix in the floatEqualities mechanism See Note [Extra TcS Untouchables],[Float Equalities out of Implications] The changes are mostly confined in TcSimplify but there is a simplification wave affecting other modules as well.
3:02 PM Changeset in ghc [19e6a35b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Emitting Derived constraints for Given dictionary interactions with functional dependencies, and interactions with the top-level, as well as minor refactoring.
2:58 PM Changeset in ghc [5c65388b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Removing stale and commented out code.
2:54 PM Changeset in ghc [2ed41c1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios.Vytiniotis <dimitris@…>
Forgotten entry.
2:54 PM Changeset in testsuite [5ea10f7]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Forgotten entry.
2:53 PM Changeset in ghc [4f882db9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios.Vytiniotis <dimitris@…>
Testing new top-level defaulting plan.
2:53 PM Changeset in testsuite [e03ad36]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Testing new top-level defaulting plan.
2:52 PM Changeset in ghc [8a40940b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios.Vytiniotis <dimitris@…>
Testing of generating Derived equalities from Given dictionaries with functional dependencies.
2:52 PM Changeset in testsuite [066498c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Testing of generating Derived equalities from Given dictionaries with functional dependencies.
2:50 PM Changeset in ghc [0d36d57b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios.Vytiniotis <dimitris@…>
Testcases for floating equalities ouf of implications and for recording extra untouchable variables.
2:50 PM Changeset in testsuite [90b1a38]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Testcases for floating equalities ouf of implications and for recording extra untouchable variables.
2:49 PM Changeset in base [84c4102]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Refactor findTempName: factor out file creation. Add openNewFile function, which creates a new file and returns a file descriptor for it. MERGED from commit cd94cd74527ff3d812a083d903f68c1f9bd571b2
2:47 PM Changeset in ghc [bbd055c]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
throwTo: unlock the MSG_THROWTO object before returning (#6103) MERGED from commit 20ba7f1a7a7b05acd81124f1567a3a103bcd0d1b
2:47 PM Changeset in ghc [3b9d1750]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix for earger blackholing of thunks with no free variables (#6146) A thunk with no free variables was not getting blackholed when -feager-blackholing was on, but we were nevertheless pushing the stg_bh_upd_frame version of the update frame that expects to see a black hole. I fixed this twice for good measure: - we now call blackHoleOnEntry when pushing the update frame to check whether the closure was actually blackholed, and so that we use the same predicate in both places - we now black hole thunks even if they have no free variables. These only occur when optimisation is off, but presumably if you say -feager-blackholing then that's what you want to happen. MERGED from commit 21a53a1cd5a9784aca7b78cc972f917e71938124
2:38 PM Changeset in ghc [aab1fe26]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Deprecate old -package-conf flags.
2:19 PM Changeset in base [a0395aa]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Fix warning.
2:04 PM Ticket #6152 (Type synonym for Type family + DataKinds won't recompile due to internal ...) closed by simonpj
fixed: Thanks. Happily, already fixed in HEAD. I added a regression test.
2:03 PM Changeset in ghc [751f030]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 #6152
2:03 PM Changeset in testsuite [185ee1f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6152
1:57 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
1:24 PM Changeset in ghc [1197ed0]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Merge remote-tracking branch 'origin/pretty-build'
1:11 PM Ticket #6152 (Type synonym for Type family + DataKinds won't recompile due to internal ...) created by konn
I have following program: […] This program compiles successfully, but …
10:58 AM NewAxioms edited by spl
Capitalization (diff)
10:02 AM WorkingConventions/BugTracker edited by bravit
fixed typo (diff)
8:52 AM Changeset in ghc [0cdd5337]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Typo in comment
8:50 AM Ticket #6134 (Incorrect ambiguity error with functional dependencies) closed by simonpj
fixed
8:50 AM Ticket #6088 (GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints) closed by simonpj
fixed: Thanks for pointing this out. Easily fixed. […] The log message is …
8:48 AM Ticket #6151 (typePrimRep: UbxTupleRep) created by simonmar
A handful of new failures appeared in the nightly build recently, perhaps …
8:47 AM Changeset in ghc [7fb4a5b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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
8:46 AM Changeset in ghc [29d83fe]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
8:46 AM Changeset in testsuite [fe4793d0]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:46 AM Changeset in ghc [c85a85f]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 #6088
8:46 AM Changeset in testsuite [a42dcba]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6088
8:45 AM Changeset in ghc [1600508]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 #6134
8:45 AM Changeset in testsuite [dc9bfb8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6134
8:45 AM Changeset in ghc [09d687b]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@…>
tcfail098 now passes because of UndecidableInstances (I've added comments in TcMType.checkValidInstance)
8:45 AM Changeset in testsuite [3eb7529]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
tcfail098 now passes because of UndecidableInstances (I've added comments in TcMType.checkValidInstance)
8:44 AM Changeset in ghc [bb639e4a]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@…>
Wibble to error message
8:44 AM Changeset in testsuite [39e8900]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
8:44 AM Changeset in ghc [3a266f13]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow equalities in a derived instance context Fixes Trac #6147
8:43 AM Changeset in ghc [dc0ef28]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the ambiguity check more conservative so that it does not reject valid programs See Note [The ambiguity check for type signatures] in TcMType, and Trac #6134, which this change fixes. A bit of refactoring as usual.
8:38 AM Commentary/Compiler/Kinds edited by simonpj
(diff)
8:38 AM Commentary/Compiler edited by simonpj
(diff)
8:37 AM Commentary/Compiler edited by simonpj
(diff)
8:36 AM Commentary/Compiler/Kinds edited by simonpj
(diff)
8:34 AM Commentary/Compiler/Kinds edited by simonpj
(diff)
8:26 AM Commentary/Compiler/TypeType edited by simonpj
(diff)
8:25 AM Commentary/Compiler/TypeType edited by simonpj
(diff)
8:25 AM Commentary/Compiler/TypeType edited by simonpj
(diff)
8:24 AM Commentary/Compiler/Kinds edited by simonpj
(diff)
8:24 AM Commentary/Compiler/Kinds created by simonpj
8:18 AM Commentary/Compiler edited by simonpj
(diff)
8:18 AM Commentary edited by simonpj
(diff)
8:12 AM NewAxioms edited by simonpj
(diff)
8:02 AM Ticket #6150 (Nested instances) closed by simonpj
invalid: Lots of reasons not to do this: * You propose to give printBool this …
7:12 AM Ticket #6150 (Nested instances) created by exFalso
With the introduction of DataKinds? it became possible to define class …

Jun 7, 2012:

9:48 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:47 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:46 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:29 PM Changeset in ghc [3fc546fe]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:04 PM Changeset in base [40d1be1]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
add forkFinally This is a more robust version of "forkIO (m `finally` k)", because it closes a window between thread creation and the finally where the thread can receive an async exception. Useful for layers over threads that need to catch threads dying with absolute certainty. forkFinally :: IO a -> (Either SomeException a -> IO ()) -> IO ThreadId forkFinally action and_then = mask $ \restore -> forkIO $ try (restore action) >>= and_then
4:03 PM Changeset in ghc [1e169cf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
test for #6146
4:03 PM Changeset in testsuite [eb18b0a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
test for #6146
4:02 PM Ticket #6146 (Segmentation fault with eager blackholing) closed by simonmar
fixed: Thanks, nice bug.
4:01 PM Ticket #6103 (Interrupted program cannot produce biographical heap profile) closed by simonmar
fixed: Punting on a regression test, because it's too hard to make one.
3:59 PM Changeset in ghc [21a53a1c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix for earger blackholing of thunks with no free variables (#6146) A thunk with no free variables was not getting blackholed when -feager-blackholing was on, but we were nevertheless pushing the stg_bh_upd_frame version of the update frame that expects to see a black hole. I fixed this twice for good measure: - we now call blackHoleOnEntry when pushing the update frame to check whether the closure was actually blackholed, and so that we use the same predicate in both places - we now black hole thunks even if they have no free variables. These only occur when optimisation is off, but presumably if you say -feager-blackholing then that's what you want to happen.
3:59 PM Changeset in ghc [20ba7f1a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
throwTo: unlock the MSG_THROWTO object before returning (#6103)
3:57 PM Ticket #5553 (sendWakeup error in simple test program with MVars and killThread) closed by simonmar
worksforme: Replying to bit: > I am the original reporter of this bug. > …
3:50 PM Ticket #3222 (GLFW 0.3 build fails w/ SSE error in 6.10.3, works in 6.10.1) closed by simonmar
worksforme: Thanks altaic. Let's assume it has been fixed then.
3:47 PM Ticket #6125 (GHCi crash) closed by simonmar
worksforme: either #4245 or #5588, I expect. Please try with a more recent version of …
3:41 PM Changeset in base [cd94cd7]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Refactor findTempName: factor out file creation. Add openNewFile function, which creates a new file and returns a file descriptor for it.
3:41 PM Changeset in base [6172212]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Allow openTempFile to retry when it hits a directory (#4968). Windows returns an EACCES error instead of EEXIST when a call to `open` fails due to an existing directory, so add a special case for this situation.
3:11 PM Changeset in directory [97609dc]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
remove type signatures in comments, they bitrot (#6142)
2:42 PM Ticket #6145 (DataCon do not have location info) closed by simonpj
fixed: OK, with a bit of fiddling I made the test work.
2:41 PM Changeset in ghc [91ea5b4c]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 #6145
2:41 PM Changeset in testsuite [f1a7042]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6145
2:26 PM Changeset in ghc [d814d505]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge win:/cygdrive/c/m64/reg14
2:26 PM Changeset in ghc [20c50eed]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a missing closing brace
2:08 PM Changeset in ghc [5f715b0]ghc-7.4 by Ian Lynagh <igloo@…>
Set RELEASE back to NO
1:55 PM Ticket #6140 (segfault in OS X GHCi when dealing with infinite integers) closed by simonmar
worksforme
1:48 PM Changeset in ghc [596fc11e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge win:/cygdrive/c/m64/reg14
1:45 PM Changeset in ghc [88e989a4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:41 PM Changeset in ghc [d58036e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
1:40 PM Changeset in ghc [93e7e262]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
scheduleYield: avoid doing a GC again if we just did one If we are interrupted to do a GC, then we do not immediately do another one. This avoids a starvation situation where one Capability keeps forcing a GC and the other Capabilities make no progress at all.
1:31 PM Ticket #6148 (63-tuples are not rejected when written using (,,,)) closed by simonpj
fixed: Thanks!
1:30 PM Ticket #6129 (Failure when using promoted data family instances, again) closed by simonpj
fixed
1:30 PM Ticket #6137 (Different behaviour between a GADT and a data family with regards to kind ...) closed by simonpj
fixed
1:29 PM Ticket #6049 (Kind variable generalization error in GADTs) closed by simonpj
fixed
1:28 PM Ticket #6093 (Kind polymorphism fails with recursive type definition using different ...) closed by simonpj
fixed
1:13 PM NewAxioms edited by spl
Minor fixes (diff)
1:08 PM Changeset in base [babbe78]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Make Sing kind-polymorphic
1:08 PM Changeset in ghc [9f3cf8c]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 #6148
1:08 PM Changeset in testsuite [d0a651cc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6148
1:07 PM Changeset in ghc [84917279]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 #6049, #6093, #6129, #6137
1:07 PM Changeset in testsuite [f7a5b4c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6049, #6093, #6129, #6137
1:07 PM Changeset in ghc [e8ec5798]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@…>
Error message wibbles
1:07 PM Changeset in testsuite [9e4fb57]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles
1:04 PM Changeset in ghc [fe0ae8d5]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Complain if we use a tuple tycon or data-con that is too big Previously (Trac #6148) we were only complaining for the distfix syntax (a,b,c).
1:02 PM Changeset in ghc [177134e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to the last merge, to fix the build
12:57 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:55 PM NewAxioms edited by simonpj
(diff)
12:47 PM NewAxioms edited by simonpj
(diff)
12:46 PM NewAxioms edited by simonpj
(diff)
12:23 PM GhcKinds edited by simonpj
(diff)
12:20 PM GhcKinds edited by simonpj
(diff)
12:18 PM GhcKinds edited by simonpj
(diff)
12:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:29 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:17 AM Changeset in ghc [a0018441]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
11:17 AM Changeset in testsuite [5a4406a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
11:14 AM Changeset in ghc [208fa3a]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
11:14 AM Changeset in testsuite [43d7852]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:10 AM Changeset in ghc [13602a46]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/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
11:10 AM Ticket #6149 (ghc-7.4.2 tests for profasm seg-fault under solaris) created by maeder
I've compiled …
11:09 AM Changeset in ghc [07a27407]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve assertion
11:09 AM Changeset in ghc [c911720]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Support polymorphic kind recursion This is (I hope) the last major patch for kind polymorphism. The big new feature is polymorphic kind recursion when you supply a complete kind signature for a type constructor. (I've documented it in the user manual too.) This fixes Trac #6137, #6093, #6049. The patch also makes type/data families less polymorphic by default. data family T a now defaults to T :: * -> * If you want T :: forall k. k -> *, use data family T (a :: k) This defaulting to * is done whenever there is a "complete, user-specified kind signature", something that is carefully defined in the user manual. Hurrah!
10:41 AM Changeset in ghc [cb269f5]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix doc uploading in the nightly builds The bindist install directory was wrong.
10:32 AM Ticket #5899 (RTS crash w/ strange closure type 603975781 on OS X 10.8) closed by simonmar
worksforme: I just did a validate using an existing installation of GHC 7.0.3 on OS X …
9:45 AM Ticket #5527 (mkTopLevEnv: not interpreted) closed by pcapriotti
fixed
8:57 AM Changeset in ghc [b8e00747]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Better error messages for setContext (#5527). Make InteractiveEval.setContext throw a clearer exception when it is asked to add an IIModule which is not a home module or is not interpreted.
8:50 AM Changeset in ghc [f964e7d4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Re-order case branches
8:49 AM Changeset in ghc [28485e9]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make PolyKinds imply KindSignatures
8:48 AM Changeset in ghc [2119bda3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
8:48 AM Changeset in ghc [a3f68ca]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not promote data families
7:14 AM GhcKinds edited by simonpj
(diff)
6:28 AM Changeset in ghc [bb08287c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve docs on FlexibleInstances/TypeSynonymInstances

Jun 6, 2012:

9:37 PM Changeset in ghc [c60977e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
9:37 PM Changeset in testsuite [523d442]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
9:34 PM Changeset in ghc [5f7c1a7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:33 PM Changeset in ghc [9a767ff9]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 more tests to integerConstantFolding
9:33 PM Changeset in testsuite [d1d37a9]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add more tests to integerConstantFolding
9:33 PM Changeset in ghc [b1f40f14]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add rules for intToInteger and wordToInteger
8:50 PM Changeset in directory [169bed2]ghc-7.6ghc-7.8 by David Terei <davidterei@…>
fix comment mistake
7:58 PM Changeset in ghc [2ef5cd26]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Put the Integer type, rather than the mkIntegerId, inside LitInteger This will make it possible to write PrelRules that produce an Integer result without having Integer arguments.
6:26 PM Changeset in ghc [c7c4428]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Tell built-in rules the Id that the rule has matched This will let us get at the types of the Id, which in particular means that for a rule for intToInteger :: Int# -> Integer we can get the "Integer" type, which we can use to build an Integer literal.
11:39 AM Ticket #6139 (Data.Time.Day read instance too liberal) closed by igloo
invalid: Thanks for the report, but please send bugs in the time library to the …
11:21 AM Ticket #6148 (63-tuples are not rejected when written using (,,,)) created by guest
Corner case with tuples: 'b' should give the same error as 'a'. […]
11:10 AM Ticket #6147 (GeneralizedNewtypeDeriving should fail with data families) created by rl
Here is an example: […] The deriving(C) clause on Foo should fail …
10:57 AM Ticket #6099 (filepath library a lot bigger in 7.4.2 RC 1) closed by pcapriotti
fixed: Merged as 4fa3f16ddb9fa8e5d59bde5354918a39e0430a74.
10:06 AM Ticket #5493 (@instance Control.Applicative.Applicative Q@) closed by beroal
fixed
8:02 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:01 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:01 AM Status/SLPJ-Tickets edited by simonpj
(diff)
1:28 AM Changeset in ghc [fa3449e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix whitespace in specialise/Rules.lhs
12:49 AM NewAxioms/DiscussionPage edited by sweirich
(diff)
12:35 AM NewAxioms edited by sweirich
Added comment about not having reflexivity reasoning. (diff)

Jun 5, 2012:

9:24 PM Ticket #6146 (Segmentation fault with eager blackholing) created by emcdowell
When very simple programs are compiled using the -feager-blackholing and …
8:43 PM Changeset in ghc [466138d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix whitespace in utils/Panic.lhs
7:20 PM TFvsFD edited by illissius
(diff)
6:33 PM Changeset in ghc [224b98de]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
6:33 PM Changeset in testsuite [f0e3f27]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
6:31 PM Ticket #6145 (DataCon do not have location info) created by JeanPhilippeMoresmau
A data constructor does not have a valid source location associated with …
6:04 PM TFvsFD edited by atnnn
(diff)
4:30 PM Changeset in base [06df263]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Re-export Fingerprint in Data.Typeable.Internal.
3:47 PM Changeset in ghc [0076786]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'
3:44 PM Changeset in ghc [ad4020d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Fix testcase for #5971. The error message was altered by commit aea8974888b74e5e85564aaed79c7871345f4f31.
3:44 PM Changeset in testsuite [aa9b04b]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix testcase for #5971. The error message was altered by commit aea8974888b74e5e85564aaed79c7871345f4f31.
2:50 PM Changeset in ghc [64910ca7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'
2:50 PM Changeset in testsuite [872d7a3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'
2:21 PM Changeset in ghc [eb02ad91]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
2:00 PM Ticket #6106 (GHCi does not always detect when modules become stale during compilation) closed by pcapriotti
fixed: Merged as 9c68db9dbd57cbd01008df1affe542a7ad572381.
1:59 PM Ticket #6105 (GHCi does no respect -fforce-recomp) closed by pcapriotti
fixed: Merged as cd00c7714ad794b1efbc815d1521c263bca76079.
1:25 PM Changeset in ghc [9c68db9d]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Read the source file timestamp *before* preprocessing (#6106) MERGED from commit d82da293078b00d0f2d85c947e70382d398aab64
12:35 PM Changeset in ghc [cb705a3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add sensible locations to record-selector bindings
12:34 PM Changeset in ghc [6dfa594]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Pretty-printing improvements
12:11 PM Changeset in ghc [cd00c77]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
checkStability: respect -fforce-recomp (#6105) MERGED from commit c95342cef63fad2edfaf3868de11ff7781b440c8
12:11 PM Changeset in ghc [7a2ef5a]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Tabs -> Spaces in GhcMake.hs.
11:56 AM Changeset in ghc [37863195]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
escape(): don't forget the final '\0' Hopefully should fix random "bad heap profile" failures in the nightly builds. MERGED from commit 634fb8d3b569276504be317783ade54508633b10
11:06 AM Ticket #6114 (ghc: panic! occurred with use of isInstance, newName and a type splice) closed by simonpj
fixed: The error message is this: […] So the crash is fixed, and the error …
10:44 AM Changeset in ghc [daf8066a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use checkNoErrs around calls to the renamer in TcSplice See Note [Renamer errors]. Fixes Trac #6114
10:43 AM Changeset in ghc [aea89748]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Modify error message slightly
10:43 AM Changeset in ghc [d69f5e46]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use a *constructor* name when promoting a type This is when converting from TH -> HsSyn Thanks to Richard Eisenberg
10:42 AM Changeset in ghc [808e1dfa]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@…>
Wibble in error message
10:42 AM Changeset in testsuite [2ad230ed]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble in error message
10:42 AM Changeset in ghc [08a4aa7]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 #6114
10:42 AM Changeset in testsuite [452e0b7]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6114
10:31 AM Ticket #6144 (Preprocessor line control suppressed by comments) created by holzensp
Using the preprocessor and "purely functional" parser from the GHC API, …
10:00 AM Ticket #6143 (Regression: lots of documentation missing) created by simonmar
Something is wrong with the Haddock docs in the HEAD, such that most (but …
8:31 AM Changeset in ghc [3ae7138]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
8:31 AM Changeset in testsuite [b36e0a0]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:03 AM Status/SLPJ-Tickets edited by simonpj
(diff)
6:56 AM Blog: New directions for Template Haskell edited by simonpj
2:11 AM Changeset in ghc [243439e6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Change how macros like ASSERT are defined By using Haskell's debugIsOn rather than CPP's "#ifdef DEBUG", we don't need to kludge things to keep the warning checker happy etc.
1:04 AM TFvsFD created by atnnn
Note: See TracTimeline for information about the timeline view.