Timeline


and

Jun 28, 2013:

10:00 PM Ticket #8022 (Outdated documentation for the -fwarn-lazy-unlifted-bindings warning) created by asr
The section 4.8 of 'The Glorious Glasgow Haskell Compilation System User's …
9:50 PM Ticket #8021 (Multiple constraint classes - the alternative to superclass) created by wvv
This is alternative to SuperClasses? - multiple constraint Classes Now: …
4:44 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:39 PM Ticket #8020 (Closed type families break substitution) created by goldfire
This code causes a Core Lint error: […] The solution needs to freshen …
4:35 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) closed by guest
duplicate
4:32 PM Changeset in ghc [3ab47180]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add test case T8018
4:32 PM Changeset in testsuite [43e18428]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test case T8018
4:29 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) closed by goldfire
fixed
4:28 PM Changeset in ghc [e56b9d59]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
4:27 PM Changeset in ghc [fb96f13]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #8018. Don't use the zonked-in-the-knot types to create a name for the axiom in a closed type family.
4:14 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) created by guest
Here are two examples illustrating my problem: (test2 and test3 produce …
12:13 PM Changeset in ghc [7f658743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge TcSMonad.matchClass into TcInteract.matchClassInst Just a simple refactoring. There was only one caller, and the intermediate data type was not helping.
12:06 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) created by goldfire
The following code hangs GHC: […]
10:36 AM NewtypeWrappers edited by simonpj
(diff)
8:55 AM Building/Hacking edited by jacintheford
(diff)
8:39 AM Ticket #7939 (RHS of associated type not kind-checked) closed by goldfire
fixed: Most of the above commit are comments in TcHsType detailing the …
8:35 AM Changeset in ghc [01234ec]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
8:34 AM Changeset in ghc [8c5e7346]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #7939, and add kind inference to closed type families. Now, all open type families have result kinds that default to *. Top-level type families have all arguments default to *, and associated type families have all arguments that are not mentioned in the class header default to *. Closed type families perform kind inference, but generalize only over those kind variables that are parametric in their use. This is all a little fiddly and specific, but it seems to follow use cases. This commit also includes a large Note [Kind-checking strategies] in TcHsType that helps keep all of this straight.
8:34 AM Changeset in ghc [9b456df4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix stale comments around closed type families.
8:34 AM Changeset in ghc [6a25e927]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Update user's guide for kind inference for closed type families.
8:06 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:38 AM NewtypeWrappers edited by simonpj
(diff)

Jun 27, 2013:

8:58 PM WorkingConventions edited by mnislaih
(diff)
8:57 PM Building/Hacking edited by mnislaih
(diff)
8:39 PM Changeset in ghc [280a7ec]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Rework LLVM metadata representation to be more accurate.
8:39 PM Changeset in ghc [3b1d920]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Add ability to call functions with metadata as arguments to LLVM backend.
8:39 PM Changeset in ghc [12148d9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Iteration on dterei's metadata design - MetaArgs is not needed, as variables are already meta data - Same goes for MetaVal - its only reason for existing seems to be to support LLVM's strange pretty-printing for meta-data annotations, and I feel that is better to keep the data structure clean and handle it in the pretty-printing instead. - Rename "MetaData" to "MetaAnnot". Meta-data is still meta-data when it is not associated with an expression or statement - for example compile unit data for debugging. I feel the old name was a bit misleading. - Make the renamed MetaAnnot a proper data type instead of a type alias for a pair. - Rename "MetaExpr" constructor to "MetaStruct". As the data is much more like a LLVM structure (not array, as it can contain values). - Fix a warning
8:39 PM Changeset in ghc [99d3922]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Use SDoc for all LLVM pretty-printing This patch reworks some parts of the LLVM pretty-printing code that were still using Show and String. Now we should be using SDoc and Outputable throughout. Note that many get*Name functions become pp*Name here as a side-effect.
8:39 PM Changeset in ghc [720a87c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Extend globals to aliases Also give them a proper constructor - getGlobalVar and getGlobalValue map directly to the accessors.
8:39 PM Changeset in ghc [8f0ecc03]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Rewrite ppLlvmBlock to use standard library "break"
8:39 PM Changeset in ghc [fa6cbdfb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Use full contents size for arrays I am not quite sure at what point it makes sense to look at arrays as pointers, but I ran into at least one use case that strongly suggested doing it this way (calculating the actual size of structures, to be exact).
8:39 PM Changeset in ghc [a948fe8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Major Llvm refactoring This combined patch reworks the LLVM backend in a number of ways: 1. Most prominently, we introduce a LlvmM monad carrying the contents of the old LlvmEnv around. This patch completely removes LlvmEnv and refactors towards standard library monad combinators wherever possible. 2. Support for streaming - we can now generate chunks of Llvm for Cmm as it comes in. This might improve our speed. 3. To allow streaming, we need a more flexible way to handle forward references. The solution (getGlobalPtr) unifies LlvmCodeGen.Data and getHsFunc as well. 4. Skip alloca-allocation for registers that are actually never written. LLVM will automatically eliminate these, but output is smaller and friendlier to human eyes this way. 5. We use LlvmM to collect references for llvm.used. This allows places other than cmmProcLlvmGens to generate entries.
8:39 PM Changeset in ghc [fe44d053]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
LLVM refactor cleanups Slightly more documentation, removed unused label map (huh), removed MonadIO instance on LlvmM to improve encapsulation.
8:01 PM Ticket #8017 (Empty instance) closed by monoidal
duplicate: GHC is technically correct: T1 == T1 is an infinite loop, since by …
7:46 PM Ticket #8017 (Empty instance) created by wvv
Progam […] use ghci (Windows XP, 32 bit) […]
3:10 PM Ticket #8016 (case expression with mixed use of Num instances cause spurious overlap ...) created by bscarlet
[…] produces […]
12:28 PM Changeset in ghc [62e48fbc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
12:28 PM Changeset in testsuite [e38279d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
8:44 AM Changeset in ghc [22a2ba0d]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:44 AM Changeset in ghc [360c75e]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:44 AM Changeset in ghc [82a7ab1c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:44 AM Changeset in ghc [65d8466]th-new-7.6 by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:44 AM Changeset in ghc [97a0e63]th-new-7.6 by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:44 AM Changeset in ghc [56405e2]th-new-7.6 by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:44 AM Changeset in ghc [646b6301]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:44 AM Changeset in ghc [fdce179]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:44 AM Changeset in ghc [71a19227]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:44 AM Changeset in ghc [c1dd142]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:44 AM Changeset in ghc [4001fea]th-new-7.6 by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:44 AM Changeset in ghc [39cf343]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:44 AM Changeset in ghc [5ab6554]th-new-7.6 by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:44 AM Changeset in ghc [262eb16]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:44 AM Changeset in ghc [e439195a]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:44 AM Changeset in ghc [b8ca8849]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:44 AM Changeset in ghc [212d3f5]th-new-7.6 by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:44 AM Changeset in ghc [32f85196]th-new-7.6 by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
3:55 AM Building/Hacking edited by jacintheford
(diff)

Jun 26, 2013:

11:34 PM Ticket #8015 (GHC is inconsistent about where LANGUAGE is unsupported.) created by thoughtpolice
Consider the following file: […] We'd expect this error to occur: …
11:06 PM Changeset in base [100c051]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Catch an illegal pragma and fix a typo
11:06 PM Changeset in ghc [8f23525]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Gabor Greif <ggreif@…>
Catch an illegal pragma and fix a typo
10:23 PM ExposingNewtypeCoercions edited by nomeata
(diff)
10:23 PM NewtypeWrappers edited by nomeata
(diff)
10:21 PM Ticket #8014 (Assertion failure when using multithreading in debug mode.) created by Maxander
Using the -debug compiler option in search of a (hopefully unrelated) bug, …
10:07 PM ExposingNewtypeCoercions created by nomeata
3:02 PM Ticket #8013 (Strange closure type error building hs-kqueue on FreeBSD) created by ahktenzero
Trying to compile hs-kqueue on FreeBSD 9.1 from the port fails with the …

Jun 25, 2013:

1:18 PM Ticket #7989 ("No constructor has all these fields" message can be improved) closed by simonpj
fixed: Thank you! I committed and added some extra comments and a test. Simon
1:16 PM Changeset in ghc [d67b9934]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve "No data constructor has all these fields" message (#7989)
1:16 PM Changeset in ghc [a7798e9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments for Trac #7989
1:14 PM Changeset in ghc [fe2397f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7989
1:14 PM Changeset in testsuite [b8749bb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7989
11:58 AM Changeset in ghc [aa4c36e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos
11:55 AM Changeset in nofib [8122aac]ghc-7.8 by Austin Seipp <aseipp@…>
Also fix reverse-compliment and k-nucleotide. Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:42 AM Changeset in nofib [e4bfef7]ghc-7.8 by Austin Seipp <aseipp@…>
Build fasta.c with optimization enabled. The flags are from the shootout. This also avoids a bizarro linking error when CC=clang Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:36 AM Changeset in nofib [e5f54ac]ghc-7.8 by Austin Seipp <aseipp@…>
Use CC for linker when building fasta.c Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:01 AM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) closed by simonpj
fixed: Actually I found that a further change was needed to allow […] Notice …
10:59 AM Changeset in ghc [8b24aa7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8011
10:59 AM Changeset in testsuite [2d0d426]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8011
10:58 AM Changeset in ghc [0cb60cee]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Further fixes in RnNames, to make associated type exports work You ought to be able to say module M( C( T, foo ) where class C a where type T a foo :: a -> T a i.e. with T in C's sub-item list. This makes it so.
10:58 AM Changeset in ghc [316e8cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document -XTypeOperators, which had escaped documentation altogether thus far
10:58 AM Changeset in ghc [57284dbc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make noteMustPointToIt true of all non-top-level thunks See Note [GC recovery]. To come: clean-up of StgCmmBind.cgRhs.
8:39 AM Commentary/Compiler/TypeChecker edited by adamgundry
update links to new commentary (diff)
6:43 AM Ticket #8012 (Warn when using Enum instance for Float or Double) created by gidyn
The Enum instances for Float and Double have dubious semantics which cause …

Jun 24, 2013:

10:35 PM Changeset in ghc [e0801a0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Update the package database directory's timestamps when rebuilding the package cache. I was seeing many "WARNING: cache is out of date" errors during validation claiming that my package cache was out of date. This patch eliminates those errors by ensuring that when we rebuild the package cache, the modification time of the directory containing the package database is set to be the same as the modification time of the cache.
5:19 PM Ticket #7995 (module Pretty's "text/str" rule doesn't fire) closed by simonpj
fixed: OK, I've fixed this. I'm not sure it's really worth adding a test but I …
5:17 PM Changeset in ghc [b60461e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7995
5:17 PM Changeset in testsuite [13841d3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7995
5:12 PM Ticket #8002 (Type family causing GHC to hang on recompilation) closed by simonpj
fixed: Excellent catch, thank you. Now fixed. The test makes earlier versions of …
5:11 PM Changeset in ghc [57bfe48]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8002
5:11 PM Changeset in testsuite [76ae4756]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8002
5:03 PM Changeset in ghc [3df8953]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to perf tests
5:03 PM Changeset in testsuite [3627c93]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to perf tests
3:19 PM Records/OverloadedRecordFields edited by adamgundry
(diff)
12:10 PM Changeset in ghc [e662c62]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow associated types as sub-names in an import list (Trac #8011)
12:10 PM Changeset in ghc [e1cdaf3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
White space and ordering only
12:10 PM Changeset in ghc [20667021]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Break loop in interface typechecking (fixes Trac #8002)
12:10 PM Changeset in ghc [59d6942f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the segmentation of mdo expressions When we changed 'rec' to *not* do segmentation of any kind, I did it by meddling with the inner loop of grab in glomSegments. But that is really hard to understand! This patch lifts the test out to the top where is is clear.
12:10 PM Changeset in ghc [d2c3630]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make sure that Pretty.text is inlined in stage 0, so that RULE text/str gets a chance to fire (Trac #7995). And make sure that Outputable.text is inlined, so that the underlying Pretty.text rule can fire. The thing is that literal strings only turn into unpackCString# in phase 1.
11:52 AM Building/Hacking edited by ulfn
removed spam (diff)
10:38 AM Commentary/Compiler/DataTypes edited by adamgundry
(diff)
9:41 AM ArrowNotation edited by ross
note first change implemented (diff)
9:04 AM NewAxioms edited by goldfire
(diff)
8:54 AM NewAxioms/TemplateHaskell edited by goldfire
(diff)
8:52 AM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:51 AM NewAxioms/Nonlinearity edited by goldfire
(diff)
8:50 AM NewAxioms edited by goldfire
(diff)
8:38 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
7:28 AM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) closed by simonpj
fixed: Ah, I see. Happily the fix for #7963 fixes this too, so we are good. …

Jun 23, 2013:

12:18 PM Ticket #7456 (GHC API displays linker messages to stdout instead of via log_action) closed by igloo
fixed: Fixed; thanks for the report.
11:54 AM Changeset in ghc [ed341a2a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Re-adjust whitespace
11:49 AM Changeset in ghc [f81e14bb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow the GHCi messages to be overridden via the GHC API; fixes #7456 They now go through log_action. The existing severities all used printDoc, which always adds a trailing newline, which we don't want for the GHCi messages. I therefore added a new severity SevInteractive, which doesn't add a newline.
5:59 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) closed by erikd
fixed: Patch is in gtit HEAD. Since stg_C_FINALIZER_LIST was added after the …
12:16 AM LiterateMarkdown edited by diatchki
(diff)
Note: See TracTimeline for information about the timeline view.