Timeline


and

Dec 25, 2011:

6:11 PM Ticket #5725 (Mark all modules from the stm packages as Trustworthy) created by basvandijk
The attached patch allows modules from the stm package to be imported …
1:11 PM Ticket #5663 (integer-gmp passes arguments to __gmpn_gcd_1() in contravention of the ...) closed by igloo
worksforme: I can't reproduce this either on amd64/Linux using Debian's GMP …
2:18 AM Ticket #5724 (Confusing warning message for incomplete patterns) created by AntoineLatter
The following code […] Produces the warning […] While accurate, …

Dec 24, 2011:

2:28 PM Ticket #5723 (GHCi (7.4.0.20111219) sometimes segfaults when reading .ghci) created by konn
If ~/.ghci is set to load some module when startup, GHCi sometimes raises …
2:46 AM Ticket #5722 (GHC inlines class method forever) created by benmachine
irene-knapp showed me this over IRC, I refined the test case a bit: …
12:18 AM CrossCompilation edited by heisenbug
another typo (diff)

Dec 23, 2011:

11:39 PM CrossCompilation edited by heisenbug
typo (diff)
11:33 PM Ticket #5721 (Panic when quoting a scoped type variable) created by benmachine
[…] […] The function is probably nonsense, but the error message …
6:02 PM Ticket #5720 (Unit unboxed tuple behaving oddly) closed by simonpj
fixed: OK I've made this change. It's a feature change, so don't merge. Simon
6:02 PM Ticket #5719 (Empty tuple doesn't have kind Constraint) closed by simonpj
fixed: Merge if you like, but I don't think its needed.
6:00 PM Ticket #5712 (Can't define constructors to be infix (as far as Show is concerned) with ...) closed by simonpj
fixed: OK I've done this. No need to merge -- it's a feature change.
5:57 PM Changeset in ghc [4976d0e0]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
5:57 PM Changeset in testsuite [974cdfa]atomicsdata-kind-syntaxghc-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
5:57 PM Changeset in ghc [4716851]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:27 PM Changeset in ghc [cfcddaae]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make RnEnv.lookupBindGroupOcc work on Orig RdrNames Such names can come from Template Haskell; see Trac #5700 Easily fixed, happily. I also renamed lookupSubBndr to lookupSubBndrOcc, which is more descriptive.
5:25 PM Changeset in ghc [bffff2ef]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add an ASSERT on 'pick'
5:24 PM Changeset in ghc [d3c9c1d]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 #5700
5:24 PM Changeset in testsuite [69d6a42]atomicsdata-kind-syntaxghc-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 #5700
4:16 PM Changeset in ghc [89c0f09]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implemnt Trac #5712: show method for infix GADT constructors This is a tiny feature improvement; see the ticket. I have updated the user manual too.
4:08 PM Changeset in ghc [374e7b5]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@…>
Adjust test to handling of unit unboxed tuple
4:08 PM Changeset in testsuite [485c179]atomicsdata-kind-syntaxghc-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@…>
Adjust test to handling of unit unboxed tuple
4:08 PM Changeset in ghc [7eb58c0c]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@…>
Minor wibbles to error messages, as a result of fiddling with the handling of default declarations
4:08 PM Changeset in testsuite [b9cced4]atomicsdata-kind-syntaxghc-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@…>
Minor wibbles to error messages, as a result of fiddling with the handling of default declarations
4:07 PM Changeset in ghc [6a70b5a]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 #5719
4:07 PM Changeset in testsuite [3aa59bbd]atomicsdata-kind-syntaxghc-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 #5719
4:06 PM Changeset in ghc [fd9bfbd5]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 #5712
4:06 PM Changeset in testsuite [0ff326e0]atomicsdata-kind-syntaxghc-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 #5712
4:05 PM Changeset in ghc [416c590]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use HsTupleTy [] for unit tuples, uniformly This is just a tidy-up triggered by #5719. We were parsing () as a type constructor, rather than as a HsTupleTy, but it's better dealt with uniformly as the former, I think. Somewhat a matter of taste.
4:03 PM Changeset in ghc [8785726]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix an outright bug in the implementation of default decls for associated types (fixes Trac #5719) The bug was that we ended up quantifying the new AT instance over the wrong set of type variables, and that led to confusing chaos.
4:01 PM Changeset in ghc [ddeb70b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the behaviour of the unit unboxed tuple (# #) See Trac #5720: make the unit unboxed tuple (# #) behave uniformly with the unit boxed tuple () This is actually a change in behaviour, but in a very dark corner, so I don't think this is going to hurt anyone, and the current behaviour is deeply strange.
3:52 PM Changeset in ghc [18e5476]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve ASSERT error message
12:47 PM Ticket #5720 (Unit unboxed tuple behaving oddly) created by simonpj
I’ve just discovered something very peculiar with unboxed tuples in GHC. …
9:56 AM Ticket #5718 (Misplaced SPECIALIZE instance pragma silently ignored) closed by simonpj
wontfix: Quite right. But 7.4 has the bug fixed and I don't think it's worth …
9:44 AM Ticket #5719 (Empty tuple doesn't have kind Constraint) created by simonpj
Bas reports that this program does not work: […] There's a complaint …
5:29 AM Changeset in ghc [e08432d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
More Safe Haskell tests
5:29 AM Changeset in testsuite [4341b73]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
More Safe Haskell tests
5:27 AM Changeset in ghc [afe7da4f]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
simplify code.
5:27 AM Changeset in ghc [a20cdb93]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix safe imports to work in GHCi.
5:27 AM Changeset in ghc [541781f2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix :issafe safe haskell ghci command
5:27 AM Changeset in ghc [ddb50b3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Move function from where clause to top level
5:27 AM Changeset in ghc [394a68a9]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Doc wibble

Dec 22, 2011:

11:43 PM Changeset in base [0e1a02b]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Iavor S. Diatchki <diatchki@…>
Export "readEither" and add "readMaybe". This commit implements the change discussed in the following thread on the Haskell libraries list: http://www.haskell.org/pipermail/libraries/2011-December/thread.html#17290 NOTE: This only implements the change for GHC, but the change makes sense for Hugs too... Perhaps we should simply re-implement 'readEither' in terms of 'reads'?
4:30 PM Changeset in ghc [f031ce2e]ghc-axioms by Jose Pedro Magalhaes <jpm@…>
Represent type family instances by CoAxioms, not TyCons. A few issues still remain to be addressed.
3:03 PM Ticket #5718 (Misplaced SPECIALIZE instance pragma silently ignored) created by asr
The user's guide for GHC 7.2.2 says that a SPECIALIZE instance pragma must …
2:23 PM Changeset in testsuite [a9b8b60]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' into ghc-defer
2:22 PM Changeset in ghc [979221c]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Merge branch 'master' into ghc-defer Conflicts: compiler/typecheck/TcErrors.lhs compiler/typecheck/TcEvidence.lhs
2:10 PM Changeset in base [d92162f]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Jose Pedro Magalhaes <jpm@…>
Re-export Constraint from GHC.Exts
2:05 PM Ticket #5717 (ScopedTypeVariables and PolyKinds) created by dreixel
The following code panics: […] I believe the problem is an interaction …
2:02 PM Ticket #5716 (Failure when using promoted data family instances) created by dreixel
The following code should fail (since we don't promote data families), but …
1:03 PM Ticket #5001 (makeCorePair: arity missing) closed by simonpj
fixed
12:09 PM Changeset in ghc [e1a8d3fd]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
11:46 AM Changeset in ghc [53fb26e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Now the constraint simplifier solves kind constraints as well.
11:41 AM Changeset in ghc [477946c7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Introduced new form of TcEvidence for KindCasts, this patch also fixes a bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.
11:39 AM Changeset in testsuite [ba9aa6a]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Tests for -fwarn-type-errors
11:36 AM Changeset in ghc [221f409d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Very small tweaks to pave the way for solving kind constraints in the simplifier.
11:08 AM Changeset in ghc [e7c534a]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Less duplication in deferred error warnings
11:08 AM Changeset in ghc [7d3f8065]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Simplify the AppTy case in canEq
10:46 AM Changeset in ghc [e5ed6896]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Error change following up kind constraint solving modificatios.
10:46 AM Changeset in testsuite [af5a802]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Error change following up kind constraint solving modificatios.

Dec 21, 2011:

9:05 PM Ticket #5696 (haskell98-2.0.0.0:Prelude can't be safely imported! The module itself ...) closed by dterei
fixed: Yes not present in 7.4
8:20 PM Repositories edited by dterei
update branches (diff)
8:19 PM Changeset in ghc [625bb553]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Improve sync-all usage doc
2:42 PM DeferErrorsToRuntime edited by dreixel
(diff)
11:21 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:11 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:10 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:09 AM DeferErrorsToRuntime edited by dreixel
(diff)
11:06 AM DeferErrorsToRuntime edited by dreixel
(diff)
9:03 AM DeferErrorsToRuntime edited by dreixel
(diff)
9:03 AM DeferErrorsToRuntime edited by dreixel
(diff)
8:56 AM Changeset in ghc [aebccdf1]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Typo
8:54 AM Changeset in ghc [735ba6f]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Implement -fwarn-type-errors
8:53 AM Changeset in ghc [0ff7c17]ghc-defer by Jose Pedro Magalhaes <jpm@…>
Do not throw type unification errors in TcUnify; defer instead This paves the way for delaying static type errors to runtime.
8:53 AM DeferErrorsToRuntime edited by dreixel
(diff)
8:51 AM DeferErrorsToRuntime created by dreixel
8:51 AM Commentary edited by dreixel
(diff)
8:50 AM Commentary edited by dreixel
(diff)
6:50 AM Ticket #5715 (Inliner fails to inline a function, causing 20x slowdown) created by bos
Alexey filed [https://github.com/bos/mwc-random/pull/6 a bug against the …

Dec 20, 2011:

5:33 PM Changeset in ghc [44ab8cd]ghc-7.4 by Ian Lynagh <igloo@…>
The dph libraries are not required in the 7.4 branch And we don't build them by default, as they shouldn't go into the release.
2:31 PM Changeset in ghc [9cbd546]ghc-7.4 by Ian Lynagh <igloo@…>
Fix hoopl's previous version number
2:00 PM GhcKinds edited by dreixel
(diff)
1:59 PM GhcKinds edited by dreixel
(diff)
1:47 PM GhcKinds edited by dreixel
(diff)
1:25 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:25 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:20 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:18 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
1:13 PM GhcKinds edited by dreixel
(diff)
1:12 PM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
10:46 AM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
10:45 AM Commentary/Compiler/GenericDeriving edited by dreixel
(diff)
9:01 AM Changeset in ghc [6b90fe4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update Safe Haskell tests
9:01 AM Changeset in testsuite [a3e1187]atomicsdata-kind-syntaxghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update Safe Haskell tests
8:21 AM Changeset in ghc [0909d1b]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 #5657
8:21 AM Changeset in testsuite [5470b9c]atomicsdata-kind-syntaxghc-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 #5657
3:13 AM Changeset in ghc [6a42e96]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [e7e771d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix warnings
3:13 AM Changeset in ghc [a3bd0b7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [565f97b2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [4ff7d0bb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Refactor Safe Haskell check to provide hscCheckSafe GHC API
3:13 AM Changeset in ghc [c779a71]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
3:13 AM Changeset in ghc [82e19ff]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Ignore -fpackage-trust if no other Safe Haskell flags
3:13 AM Changeset in ghc [44d6b6e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-axiomsghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Tabs -> Spaces
Note: See TracTimeline for information about the timeline view.