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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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)

Jun 22, 2013:

11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:58 PM LiterateMarkdown edited by diatchki
(diff)
11:57 PM LiterateMarkdown edited by diatchki
(diff)
9:40 PM Ticket #7833 (installed GHC refers to libffi in the build directory) closed by igloo
fixed: Now fixed; thanks for the report!
9:40 PM Ticket #7992 (Wrong invocation of configure script in libffi and integer-gmp) closed by igloo
fixed: Applied; thanks for the patches and diagnosis!
9:31 PM Changeset in ghc [03fbf8ac]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:33 PM Changeset in ghc [7be5b44d]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix dynlib paths in the RTS too; part of #7833
7:34 PM Changeset in ghc [92f36df4]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix the dynmaic library paths in the libs, as well as in the programs Part of #7833
7:23 PM Changeset in ghc [bdc3775]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Add a work-around for #7978. This patch fixes profiling at the cost of losing cost centre accounting in a very small number of cases. I am working on a better fix.
5:02 PM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) created by dsf
If you have a module URL.hs: […] And a module that uses it Tmp.hs: …
3:52 PM Changeset in ghc [499d698]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:52 PM Changeset in ghc [3ae1bc47]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:52 PM Changeset in integer-gmp [e5faefb]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:16 PM Changeset in ghc [9ffe7920]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
On OS X, fix the path to the libffi dynlib; fixes #7833
2:06 PM Changeset in ghc [3660ef9]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build on OS X
2:05 PM Changeset in base [96bf7db]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix build on OS X
2:05 PM Changeset in ghc [44cff44]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix build on OS X
12:53 PM Ticket #8005 (Man page shows -help, but only --help is accepted) closed by igloo
fixed: Fixed, thanks
12:53 PM Ticket #8007 (Missing space in `rec` documentation) closed by igloo
fixed: Fixed, thanks
12:50 PM Changeset in ghc [f792ba4d]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:32 PM Changeset in ghc [451e0dd8]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix syntax in some code in the user guide; fixes #8007
12:24 PM Changeset in ghc [96ca465]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
The help flag is --help, not -help; fixes #8005
12:21 PM Changeset in ghc [74a800bc]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use consistent dashes in the user guide We were using a mixture of "&ndash;&ndash;" and "--". We now consistently use "--", which has the advantage that copy/pasting flags will work.
12:03 PM Changeset in ghc [0cb19bc4]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove extra dashes in a flag name in the user guide
12:02 PM Changeset in ghc [ffe2e22c]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Fix #8009 : Failure to compile on powerpc64-linux. Add definitions for stg_C_FINALIZER_LIST and n_capabilities.
11:11 AM Changeset in ghc [e381543]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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in HeaderInfo
10:55 AM Ticket #7332 (Kind-defaulting omitted leads to deeply obscure type error) closed by igloo
fixed: It's fixed in the 7.8 branch, but not 7.6.
8:16 AM Ticket #8008 (Pretty numbers (like 1`000`000)) closed by carter
invalid: this requires changes to the haskell grammar and I think that theres no …
5:20 AM Ticket #8010 (Add forkOSUnmasked (patch)) created by joeyadams
This patch simply adds forkOSUnmasked to Control.Concurrent: […] I …
5:15 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) created by erikd
Building GHC HEAD at 569b2652 on powerpc64 Linux results in: […]

Jun 21, 2013:

11:23 PM Changeset in ghc [a44e4a7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add another -dynamic-too test
11:23 PM Changeset in testsuite [5be6042]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add another -dynamic-too test
8:11 PM Ticket #8008 (Pretty numbers (like 1`000`000)) created by wvv
Let allow to use pretty numbers in code. Pattern looks like Digit_1 = d …
4:51 PM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) closed by simonpj
invalid: Are you sure? dropWhile is brought into scope by the implicit import of …
4:08 PM Ticket #8007 (Missing space in `rec` documentation) created by guest
One of the code examples in …
1:25 PM Ticket #7713 (Panic! make_exp (App _ (Coercion _)) when compiled with -fext-core) closed by igloo
duplicate: Duplicate of #5630
1:24 PM Ticket #8001 (Coercion causes "impossible" error) closed by igloo
duplicate
1:22 PM Ticket #8003 (Add missing Applicative/Alternative instances (AMP phase 1)) closed by igloo
invalid: We would do this when making the missing instances cause a warning or …
1:10 PM Changeset in ghc [99e3dd7]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:09 PM Changeset in testsuite [73dd57e]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:01 PM Changeset in ghc [0ff54bed]wip/T9016wip/ampwip/coveritywip/orf by Richard Eisenberg <eir@…>
Update to support closed type families.
12:58 PM Changeset in ghc [c30744c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Updates to support closed type families.
12:58 PM Changeset in testsuite [91e974f]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Updates to support closed type families.
12:54 PM Changeset in ghc [569b2652]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Revise implementation of overlapping type family instances. This commit changes the syntax and story around overlapping type family instances. Before, we had "unbranched" instances and "branched" instances. Now, we have closed type families and open ones. The behavior of open families is completely unchanged. In particular, coincident overlap of open type family instances still works, despite emails to the contrary. A closed type family is declared like this: > type family F a where > F Int = Bool > F a = Char The equations are tried in order, from top to bottom, subject to certain constraints, as described in the user manual. It is not allowed to declare an instance of a closed family.
12:51 PM Changeset in ghc [c286f626]overlapping-tyfams by Richard Eisenberg <eir@…>
Typos
12:30 PM Ticket #8006 (Asynchronous exception rethrown synchronously inside runStmt) created by edsko
This bug is related to various bugs to do with asynchronous exceptions …
12:24 PM Ticket #8005 (Man page shows -help, but only --help is accepted) created by nh2
man ghc shows -help as an option. I believe it lacks another -. …
11:45 AM Changeset in ghc [6da9d5e]overlapping-tyfams by Richard Eisenberg <eir@…>
Updates to documentation; detabification; bugfixes.
11:44 AM Changeset in testsuite [f1d2176]overlapping-tyfams by Richard Eisenberg <eir@…>
Wibbles to output.
11:19 AM Ticket #8004 (Applicative/Monad proposal related warnings (AMP phase 1)) created by quchen
Add ad-hoc warnings to GHC telling the user about the following: - …
11:18 AM Ticket #8003 (Add missing Applicative/Alternative instances (AMP phase 1)) created by quchen
Add Functor/Applicative/Alternative? instances to GHC's source where they …
10:59 AM Changeset in ghc [11db9cf8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typo in note
10:46 AM Changeset in base [96d89d7]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Ignore editor backup files
10:46 AM Changeset in ghc [3508495]wip/T9016wip/ampwip/coveritywip/orf by Gabor Greif <ggreif@…>
Ignore editor backup files
9:02 AM Ticket #8002 (Type family causing GHC to hang on recompilation) created by jweijers
I am having a problem with (re)compiling some code I have. I have two …
7:51 AM Changeset in ghc [9216de8]overlapping-tyfams by Richard Eisenberg <eir@…>
Finished updating manual.
7:44 AM Changeset in ghc [2c3a3a16]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
7:44 AM Changeset in testsuite [47a1350]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
7:42 AM Changeset in ghc [f3879c77]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixing merge conflicts.
5:21 AM Changeset in ghc [37e3f3f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Ensure gc_type is StgWord8. Again, the range of gc_type is actually 1-3, which is technically outside the range of rtsBool. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:19 AM Changeset in ghc [fe6db466]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Ensure gc_thread->wakeup is of type StgWord8. rtsBool is defined to only have two inhabitants, which are true (1) and false (0) But the wakeup flag is set to 4 possible values, outside the range of rtsBool. This leads Clang to warn about tautological comparisons. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:10 AM Changeset in ghc [eeeec4f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Don't use -finline-limit with Clang. It's unsupported. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:58 AM Changeset in ghc [88e97d9a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Initialize ptr to NULL to silence Clang warning. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:23 AM Ticket #8001 (Coercion causes "impossible" error) created by gridaphobe
The following, heavily-redacted version of a function in text is causing …

Jun 20, 2013:

11:28 PM Ticket #7167 (Make it a warning (not error) to hide an import that isn't exported) closed by thoughtpolice
fixed: The documentation patch from Paolo - commit 4eb02c1 - is already in HEAD …
11:26 PM Changeset in ghc [e4fc6fd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add release note blurb for Clang support. Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:26 PM Changeset in ghc [3b02251]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Document -fwarn-dodgy-imports changes in release notes. Trac #7167. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:38 PM Changeset in ghc [7cbde84]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on user manual.
10:19 PM Ticket #7678 (GHC should compile cleanly with clang) closed by thoughtpolice
fixed: HEAD as of commit 1a9832 can now build a working stage1 and stage2 …
10:06 PM Changeset in ghc [1a98329a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix rts/package.conf.in ld-options for Clang. Now with less Mac-breakage. With this change, I can get a working stage1/stage2 compiler using Clang 3.4svn, which can be used to link working executables! Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:42 PM Changeset in ghc [c04be8ef]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixing merge errors. Checkpoint on manual update.
9:15 PM Changeset in ghc [a26bf928]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Just moving some tests aroudn to make it easier to see what's going on
9:15 PM Changeset in testsuite [1e37f2b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Just moving some tests aroudn to make it easier to see what's going on
8:59 PM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) created by dsf
Here is one more dump-minimal imports bug - for this module: […] ghc …
7:28 PM Changeset in ghc [7b78543]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Improve the testsuite's LLVM detection
7:28 PM Changeset in testsuite [3b98fc5d]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Improve the testsuite's LLVM detection
5:00 PM Changeset in ghc [1008179]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add Windows expected output for T7859
5:00 PM Changeset in testsuite [4dba727]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add Windows expected output for T7859
4:27 PM Changeset in testsuite [6182247]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: tests/indexed-types/should_fail/all.T
4:24 PM Changeset in ghc [f522956]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint.
4:24 PM Changeset in ghc [e015f506]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on fixing merge errors / writing manual updates.
4:02 PM Changeset in ghc [14bcbcd]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/deSugar/DsMeta.hs compiler/typecheck/FamInst.lhs compiler/types/FamInstEnv.lhs
3:48 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
3:34 PM Changeset in ghc [81bccef]overlapping-tyfams by Richard Eisenberg <eir@…>
Small bugfixes found from testing.
3:33 PM Changeset in testsuite [4b53b18]overlapping-tyfams by Richard Eisenberg <eir@…>
More tests for closed type families, including interactions with TH.
12:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:38 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:00 AM Ticket #7558 (Terrible error message when given and wanted are both insoluble) closed by simonpj
fixed: Good point. Thanks. Simon
9:59 AM Changeset in ghc [5cc6773]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7558
9:59 AM Changeset in testsuite [2593d45]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7558
7:03 AM Ticket #7999 (Support QNXNTO-arm for LLVM backend) closed by thoughtpolice
fixed: Merged, thanks. […]
7:01 AM Changeset in ghc [6ca7525]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Support QNXNTO for arm under LLVM Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:07 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) closed by amosrobinson
duplicate: Hi, This looks like an instance of #5550: ForceSpecConstr? was blowing up …
1:52 AM Ticket #7661 (GHC build system does not detect opt-3.0 and friends) closed by dterei
fixed: Thanks, pushed.
1:51 AM Changeset in ghc [f2c477e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Fix #7661 regression. Patch from singpolyma.
1:22 AM Ticket #7999 (Support QNXNTO-arm for LLVM backend) created by singpolyma
I thought I had submitted this before, but I guess not. This patch just …
12:58 AM Ticket #7998 (Stage1Only does not work) created by singpolyma
I have Stage1Only=YES but the build system continues to building stage2

Jun 19, 2013:

11:59 PM LiterateMarkdown edited by elliottt
(diff)
11:31 PM LiterateMarkdown created by elliottt
10:44 PM Changeset in ghc [9b85f75]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint in adding persistence to incompatibility lists.
10:43 PM Changeset in testsuite [1cad653]overlapping-tyfams by Richard Eisenberg <eir@…>
More test cases for closed families
6:33 PM Ticket #7997 (waitForProcess and getProcessExitCode are unsafe against asynchronous ...) created by dfranke
In this description of the current behavior of waitForProcess, assume …
5:04 PM Changeset in ghc [b899e7e1]overlapping-tyfams by Richard Eisenberg <eir@…>
Implemented compatibility
12:22 PM Changeset in ghc [d8aa577]overlapping-tyfams by Richard Eisenberg <eir@…>
Bugfix
12:21 PM Changeset in testsuite [b169484]overlapping-tyfams by Richard Eisenberg <eir@…>
Wibbles while supporting "type family where"
12:04 PM Changeset in ghc [2bd8f512]overlapping-tyfams by Richard Eisenberg <eir@…>
Added normalisation of closed type families
10:13 AM Ticket #7996 (building GHC HEAD with llvm-3.4(HEAD) fails) closed by igloo
invalid: This is caused by a broken bootstrapping compiler, so I'm closing the …
9:30 AM Changeset in ghc [d0d1120]overlapping-tyfams by Richard Eisenberg <eir@…>
A few bugfixes.
9:29 AM Changeset in testsuite [d6e010f]overlapping-tyfams by Richard Eisenberg <eir@…>
Update to support new syntax for ordered overlapping type families
8:57 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:37 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:18 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
7:41 AM Commentary/Compiler/NewCodeGen edited by jstolarek
(diff)
7:34 AM Changeset in ghc [0cd4e914]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed bug about counting arguments in patterns.
6:27 AM Changeset in ghc [2ca4890d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Re-untabify rts/packages.conf.in Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [1898ea01]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Fix rts/packages.conf.in ld-options for clang." This reverts commit 991f285e681e8541632502d05d8a46de2d44b7bd. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [0ee9287]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Untabify rts/packages.conf.in" This reverts commit ebf97ad146173afd9e094f4975aa33717ed3a11e. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:26 AM Changeset in ghc [32edb6e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Actually fix rts/packages.conf.in ld-options." This reverts commit 5dc74f385f1bbc9248ed950af255b946677c2ff9. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:16 AM Changeset in ghc [e140837]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix typo in header guard. Spotted by Clang. Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:05 AM Ticket #7996 (building GHC HEAD with llvm-3.4(HEAD) fails) created by carter
using the GHC head (commit 5dc74f385f1bbc9248ed950af255b946677c2ff9) and …
4:09 AM Changeset in ghc [5dc74f38]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Actually fix rts/packages.conf.in ld-options. Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:28 AM Changeset in ghc [ebf97ad]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Untabify rts/packages.conf.in Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:28 AM Changeset in ghc [991f285e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix rts/packages.conf.in ld-options for clang. Technically, '-u' is an ld option, not a compiler option, and clang considers this argument unused. Hence, we must explicitly forward this to the linker. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [7b0695a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Use assembler-with-cpp mode when running CPP. This is needed because Clang is very strict about C99 macro rules, which dictate that '#' in a body must have a token immediately following it for string-ification. In practice we break this all the time, because we do very weird stuff like: #define FOOBAR(xyz) \ {-# SOME PRAGMA #-} \ baz :: (xyz) \ baz = ... where the leading '#' in in the macro body clearly breaks this rule. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [232737a0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Suppress some more warnings from Clang. It likes to think lambdas a la: foo $ \u -> ... represent a kind of unicode extended literal. It also gets confused when you have things like: ... thing ... {- comment ... (???) -} where the (???) is mistaken as a trigraph. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:26 AM Changeset in ghc [d8ee2b06]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix many ASSERT uses under Clang. Clang doesn't like whitespace between macro and arguments. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 18, 2013:

4:57 PM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
4:40 PM Changeset in ghc [d64165f]overlapping-tyfams by Richard Eisenberg <eir@…>
First implementation complete. Closed type families are accepted. But, they don't work at all, as expected. Need to do more tests now.
1:29 PM Ticket #7995 (module Pretty's "text/str" rule doesn't fire) created by parcs
In this trivial but characteristic example […] the "text/str" rule, …
1:27 PM Ticket #7954 (Strictness analysis regression) closed by simonpj
fixed: Thanks. I believe it's fine in HEAD. I agree that it is wrong in 7.6.2. …
1:26 PM Changeset in ghc [a67156ee]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7954
1:26 PM Changeset in testsuite [462fa4f]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7954
1:21 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:20 PM Ticket #7994 (Make foldl into a good consumer) created by simonpj
I really want foldl to be a good consumer, but our arity/cardinality …
9:55 AM Changeset in ghc [73991d6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove redundant import, revealed by the fix to #7963
8:40 AM Ticket #7963 (-ddump-minimal-imports should preserve "hiding" imports) closed by simonpj
fixed: Good point, thank you. Simon
8:39 AM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) closed by simonpj
fixed: Good point, thank you. Simon

Jun 17, 2013:

10:03 PM Changeset in ghc [03fe914]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Remove .imports file which isn't part of the repo
10:03 PM Changeset in testsuite [063ec28]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Remove .imports file which isn't part of the repo
10:03 PM Changeset in ghc [5c0012be]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7969
10:03 PM Changeset in testsuite [ab682ae]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7969
9:58 PM Changeset in ghc [82fc261]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7963
9:58 PM Changeset in testsuite [d95e6f1]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7963
9:45 PM Changeset in ghc [b2cde43]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Emit addUsedRdrNames for the datacons in a standalone deriving (Trac #7969)
9:39 PM Changeset in ghc [4c01e10]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use ideclImplicit to filter out only *implict* Prelude imports (Trac #7963) The ideclImplicit flag didn't exist before, but it does now, and it makes this code simpler and makes it easy to fix Trac #7963.
9:32 PM Ticket #7993 (ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x) created by cjwatson
On Debian's s390x architecture (64-bit S/390, Linux kernel), builds of …
4:57 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:51 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:49 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:42 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:41 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
4:23 PM Changeset in ghc [85ccb964]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint on compilation. This change includes the rollback to FamInstEnv.
4:07 PM Records/OverloadedRecordFields/Plan edited by simonpj
(diff)
3:25 PM Ticket #7992 (Wrong invocation of configure script in libffi and integer-gmp) created by merijn
Similar to the fixed cabal issue: …
2:46 PM Ticket #7991 (stm: add mkWeakTVar) created by errge
The motivation is to get rid of an unsafeIOToSTM from pipes-concurrency. …
1:42 PM Ticket #7990 (ghc-pkg warning shows the wrong command) created by mcandre
When ghc-pkg observes your cache is out of date, it displays a helpful …
10:54 AM Changeset in ghc [8f2f7a09]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add some missing clang bits to the build system. Signed-off-by: Austin Seipp <aseipp@pobox.com>
10:54 AM Changeset in ghc [5dc98a0d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Work-around clang weirdness by adding a newline. I really wish this were a joke, but alas... This gets me a working stage1 compiler on Linux with Clang with no modifications. Unfortunately it won't get much farther than that for various other reasons. Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:58 AM Ticket #7989 ("No constructor has all these fields" message can be improved) created by akio
When a record update syntax contains fields from multiple constructors, …
8:11 AM Ticket #6063 (GHC's build-time ld-flag checks are problematic) closed by thoughtpolice
fixed
4:51 AM Building/GettingTheSources edited by domtheo
(diff)
1:29 AM Changeset in ghc [6bd61397]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Release note blurb for Linker fixes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:01 AM Changeset in ghc [71a194d8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Detect linker information at runtime. Fixes Trac #6063 Previously, we did ./configure time checks to see if 'GNU ld' supported certain options. If it does, we bake those options into the link step. See Trac #5240. Unfortunately, the linker we use at runtime can change for several reasons. One is that the user specifies -pgml 'foo'. The other is if /usr/bin/ld or whatnot changes from when GHC was built. Those options mentioned earlier are specific to GNU ld, but many systems support GNU gold too. This is Trac #6063. So we need to check at runtime what linker we're using. This is actually a little bit complicated because we normally use the C compiler as our linker. Windows and OS X are also special here. Finally, this patch also unconditionally gives '--hash-size=31' and '--reduce-memory-overheads' to the system linker if it's GNU ld. These options have been supported for 8+ years from what I can see, and there are probably a lot of other reasons why GHC would not work with such an ancient binutils, all things considered. See Note [Run-time linker info] in SysTools for details. There are plenty of comments as well in the surrounding code. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 16, 2013:

8:32 PM Ticket #7988 (Big integers crashing integer-simple on qnxnto-arm) created by singpolyma
The following program gives a SIGSEGV when run on qnxnto-arm (my …
8:30 PM Ticket #7811 (intermittent 'unexpected' results of test ghcpkg01) closed by igloo
worksforme: I can't reproduce the problem, and can't see anything obviously wrong. I …
7:42 PM Ticket #7744 (Can't install conduit via cabal-install) closed by igloo
worksforme: No response from submitter, so closing.
7:41 PM Ticket #7565 (GHC fails without an error when building text-0.11.2.3) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7362 (GHC generated DLL does not work on Windows XP/Server 2003) closed by igloo
invalid: No response from submitter, so closing.
7:41 PM Ticket #7327 (Inconsistent behavior for relative paths in runProcess) closed by igloo
worksforme: As far as I can see, everything is working correctly here.
7:39 PM Ticket #6084 (Add stg_ap_pnnv and related call patterns) closed by igloo
wontfix: No response from submitter, so closing.
7:35 PM Ticket #5787 (Add instances to ZipList) closed by igloo
invalid: No response from submitter, so closing.
7:23 PM Changeset in base [fb92baf]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:23 PM Changeset in ghc [4780c7ae]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix hSetBuffering004 to work with dynamic ghci We need to actually consume the rest of stdin, or ghci will try to interpret it as commands.
7:16 PM Changeset in base [80b02b2]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
7:16 PM Changeset in ghc [f2ade3f]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix hClose002 with the threaded RTS IO manager If 'close fd' failed, then the MVars in the callbackTables would be left empty, which caused deadlocks when we tried to 'take' them again. Now we use 'finally' to ensure that they are refilled even if 'close' throws an exception.
6:41 PM Ticket #7987 (GHC Build Error) created by singpolyma
Trying to build HEAD as a native compiler (not cross-compiler). Build …
5:47 PM Changeset in process [e380844]ghc-7.8 by Ian Lynagh <ian@…>
Fix process007 with dash as /bin/sh dash doesn't support 2-digit FD numbers with the 0<&10 syntax, and some ways were using FDs that high. So now we have a little C program to do the job instead.
4:12 PM Changeset in ghc [08da2825]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
4:12 PM Changeset in testsuite [b525448]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix annrun01 with dynamic GHC
3:56 PM Changeset in ghc [9e5f86a1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:56 PM Changeset in testsuite [b8961b1]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix apirecomp001 with dynamic GHC
3:47 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
3:46 PM Changeset in ghc [a595130]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
3:46 PM Changeset in testsuite [2e7b17e]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix qq00{7,8} with dynamic ghc Untested, but I think they should pass for the profiling ways too now, so those ways are no longer omitted.
10:37 AM Building/GettingTheSources edited by merijn
Removed spam links. (diff)
7:40 AM Ticket #7986 (make newBroadcastTChanIO match newBroadcastTChan) created by WrenThornton
While looking through the pull requests for stm-chans I came across a …

Jun 15, 2013:

8:54 PM Changeset in ghc [b097dc9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix ghci crash when the user code closes stdin Now that we share stdin with the program, we have to check for handle-closed as well as EOF, as the program might have closed stdin.
7:50 PM Ticket #693 (dynamic locking) closed by igloo
fixed: Thanks; I've pushed a similar patch which also optimises the C users of …
6:07 PM Changeset in ghc [75947bb6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimise lockClosure when n_capabilities == 1; fixes #693 Based on a patch from Yuras Shumovich.
4:43 PM Ticket #7847 (Maintain per-generation lists of weak pointers) closed by igloo
fixed: All applied, thanks
4:28 PM Changeset in ghc [4895155]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:28 PM Changeset in testsuite [4d2a20b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:23 PM Ticket #7933 (JavaScript Cmm backend) closed by bosu
wontfix: Thank you all for the comments! I fully agree that the patch is better to …
4:08 PM Changeset in ghc [9a8c20d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace and braces only
3:41 PM Changeset in ghc [4ca86427]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add braces for clarity
3:41 PM Changeset in ghc [fe652a8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Maintain per-generation lists of weak pointers (#7847)
3:38 PM Changeset in base [9afb928]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:38 PM Changeset in ghc [5257404]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:36 PM Changeset in ghc [6770663]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Check for a weak pointer being dead before we do any allocation for it
3:23 PM Changeset in ghc [d61c623e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow multiple C finalizers to be attached to a Weak# The commit replaces mkWeakForeignEnv# with addCFinalizerToWeak#. This new primop mutates an existing Weak# object and adds a new C finalizer to it. This change removes an invariant in MarkWeak.c, namely that the relative order of Weak# objects in the list needs to be preserved across GC. This makes it easier to split the list into per-generation structures. The patch also removes a race condition between two threads calling finalizeWeak# on the same WEAK object at that same time.
2:27 PM Changeset in base [452008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix a comment
2:27 PM Changeset in ghc [9dc3418]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix a comment
12:52 PM Ticket #7427 (Proposal: Add setEnv/unsetEnv to System.Environment) closed by igloo
fixed: The base split is now scheduled or post-7.8-branch, and as the amount of …
12:51 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) closed by igloo
fixed: Applied, thanks!
12:23 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Those 3 files are no longer created/used. The tests should clean up after …
12:19 PM Changeset in ghc [5d9e686]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimization for takeMVar/putMVar when MVar left empty; fixes #7923 We only need to apply the write barrier to an MVar when it acquires a reference to live data; when the MVar is left empty in the case of a takeMVar/putMVar, we can save a memory reference. Patch from Edward Z. Yang.
11:46 AM Changeset in base [60d5d2e]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
11:46 AM Changeset in ghc [3be61012]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
3:36 AM Ticket #7985 (Allow openFile on unknown file type) created by singpolyma
There should be an "unknown" file type, to allow for special file types to …
1:04 AM Ticket #7984 (hsc2hs --cross-compile does not handle negative #enum) created by singpolyma
[…] Output with hsc2hs or even hsc2hs --cross-safe : […] Output …
12:49 AM Ticket #7983 (Bug in hsc2hs --cross-safe) created by singpolyma
The following test succeeds with hsc2hs --cross-safe but fails with hsc2hs …

Jun 14, 2013:

9:02 PM Changeset in ghc [9e4348e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in rts/storage/SMPClosureOps.h
7:31 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Thanks, I've added cleaning for the extra files.
7:03 PM Changeset in ghc [da80f8e9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
7:03 PM Changeset in testsuite [8ae14cc]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
5:58 PM Changeset in base [16f71d6]data-proxyghc-7.8 by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:58 PM Changeset in ghc [7fef22a]wip/T9016wip/ampwip/coveritywip/orf by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:33 PM Changeset in ghc [725a16b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint while compiling. Need Simon's input on design.
2:49 PM Changeset in ghc [3343182]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to try compiling.
1:40 PM Changeset in ghc [5483b14]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Cleaning fixes, and other build system tweaks; part of #7941
12:40 PM PrimBool edited by jstolarek
(diff)

Jun 13, 2013:

10:15 PM Changeset in unix [e712803]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
10:15 PM Changeset in directory [571f32b]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
8:21 PM Ticket #7843 (GHC should be able to list all possible command line options) closed by igloo
fixed: Applied, thanks!
8:20 PM Ticket #7948 (hp2ps --help typo) closed by igloo
fixed: Applied, thanks!
7:49 PM Changeset in ghc [a532f40f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo in hp2ps help output As spotted by Julian Gilbey and reported at http://bugs.debian.org/710305
7:49 PM Changeset in ghc [2280f96]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
--show-options lists all flags. Add user documentation for #7843
3:35 PM Changeset in ghc [f2a178b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working on typechecker.
3:03 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) created by goldfire
[…] […] This was tested on a checkout from 22 May.

Jun 12, 2013:

9:13 PM Ticket #7981 (Lack of packages from category theory at Platform) closed by monoidal
invalid: This tracker is for problems specific to GHC. To suggest a package for …
8:45 PM Ticket #7981 (Lack of packages from category theory at Platform) created by wvv
There are lack of basics packages from category theory at Platform. Some …
6:25 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) created by totherme
I'm using ghc 7.6.2 on Ubuntu 13.04. To reproduce, put the following line …
1:31 PM Changeset in ghc [db9b6310]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Avoid generating empty llvm.used definitions. LLVM 3.3rc3 complains when the llvm.used global is an empty array, so don't define llvm.used at all when it would be empty.
11:05 AM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) closed by simonpj
fixed: Thank you for reporting this. It exposed one real bug, and one …
11:03 AM Changeset in ghc [133b500]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in testsuite [79c6532]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in ghc [bab5720]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7967
11:03 AM Changeset in testsuite [6432ecf]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7967
10:41 AM Ticket #7885 (LLVM build broken) closed by gmainland
fixed
10:12 AM PrimBool edited by jstolarek
(diff)
10:11 AM PrimBool edited by jstolarek
(diff)
8:52 AM Changeset in ghc [92b2e4ea]th-new 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:52 AM Changeset in ghc [6356813]th-new by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:52 AM Changeset in ghc [18934998]th-new by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:52 AM Changeset in ghc [147bb859]th-new by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:52 AM Changeset in ghc [97d316b8]th-new by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:52 AM Changeset in ghc [30a19ba3]th-new by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:52 AM Changeset in ghc [51ca37f9]th-new by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:52 AM Changeset in ghc [85813f6]th-new by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:52 AM Changeset in ghc [fe521cc]th-new by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:52 AM Changeset in ghc [a9abb46]th-new by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:52 AM Changeset in ghc [03e0ea63]th-new 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:52 AM Changeset in ghc [1301b10]th-new by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:52 AM Changeset in ghc [a167aa5e]th-new by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:52 AM Changeset in ghc [753ebe2a]th-new 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:52 AM Changeset in ghc [418a3340]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:52 AM Changeset in ghc [6f4cba0f]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:52 AM Changeset in ghc [627f982]th-new by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:52 AM Changeset in ghc [af607888]th-new by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
8:51 AM Changeset in testsuite [1746d9e]th-new by Geoffrey Mainland <mainland@…>
Fix test wibble.
8:51 AM Changeset in testsuite [da3c7f9]th-new by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
8:51 AM Changeset in testsuite [c2135a9]th-new by Geoffrey Mainland <mainland@…>
Adjust tests for new Template Haskell. From the new Template Haskell proposal at http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal A declaration group is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not including the next top-level declaration splice. Then the type environment seen by reify includes all the declaration up to the end of the immediately preceding declaration block, but no more. This change adds '$(return [])' where necessary to allow following declarations to see (module-local) top-level definitions.
8:51 AM Changeset in testsuite [27c8361]th-new by Geoffrey Mainland <mainland@…>
Fix test wibbles for new Template Haskell. Because splices are now run in the renamer, we do not get the same error context as we would when running in the type checker. In most cases we get less context, and in some cases I have added additional context. Error messages should at least tell the user that an error occurred in a splice; dropping context beyond that point is not judged a great loss. Note that we may now report only one error when multiple errors were reported before because splices are now run in the renamer.
8:51 AM Changeset in testsuite [3a07227]th-new by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
8:51 AM Changeset in testsuite [59e8e8b]th-new by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. splices are run in the renamer, so they only get run once.
8:43 AM Changeset in ghc [289be61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code
8:43 AM Changeset in ghc [355d57a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove trace that sometimes causes a loop
8:43 AM Changeset in ghc [262cab0f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the constraint simplifier (Trac #7967) Richard's bug report showed up a couple of subtleties in the constraint solver * We can strengthen the kind invariants on CTyEqCan and CFunEqCan See Note [Kind orientation for CTyEqCan] and Note [Kind orientation for CFunEqCan] in TcRnTypes There are some changes to reOrient and checkKind in TcCanonical to support these stronger invarants. * In TcSimplify we must make sure that we re-simplify if defaultTyVar does anything. See Note [Must simplify after defaulting] in TcSimplify. The usual round of refactoring follows!
6:23 AM Ticket #7979 (./configure script does not properly detect missing header files) created by jstolarek
I was trying to compile GHC on a fresh installation of Debian Wheezy and I …
2:22 AM Building/GettingTheSources edited by domtheo
(diff)
2:19 AM Building/Hacking edited by domtheo
(diff)

Jun 11, 2013:

10:32 PM Changeset in base [2f8c5bf]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in base [07f8524]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:32 PM Changeset in ghc [72901d41]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in ghc [089c686b]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:30 PM Changeset in ghc [4aa7fc89]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment out function; consequence of reverting a553f18
10:30 PM Changeset in ghc [91979ed]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Add support for byte endian swapping for Word 16/32/64." This reverts commit 1c5b0511a89488f5280523569d45ee61c0d09ffa.
9:39 PM Changeset in ghc [2f9278d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typo in comment
9:37 PM Changeset in base [a123775]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Fix some typos
9:37 PM Changeset in ghc [b9138a8]wip/T9016wip/ampwip/coveritywip/orf by Gabor Greif <ggreif@…>
Fix some typos
9:27 PM Changeset in ghc [57fa4375]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
punctuation in comment
9:22 PM Ticket #7978 (Profiling broken) created by gmainland
The cardinality analysis patch broke profiling. This can be seen in the …
6:57 PM Building/Architecture/Idiom/StandardTargets edited by nfrisby
(diff)
6:53 PM Building/Using edited by nfrisby
just updated a broken link (diff)
6:01 PM Changeset in testsuite [9069fb7]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fix test case to reflect banning nonlinear standalone instances." This reverts commit 50bfe9ae6b68270120a93c420618eabfcaa817af.
5:59 PM Changeset in ghc [0f22bc8e]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit 41365aeba8020d31391784bc1b9887007e78c306.
5:56 PM Changeset in ghc [780d4b9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource" This reverts commit 33582704caaf2ba4cd6f06360ff2834667d2ce6d.
5:56 PM Changeset in ghc [508d2351]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. Working in FamInst on newFamInst." This reverts commit 9b8dc727296fc72942d2b32efe853adf795ba9ad.
5:56 PM Changeset in ghc [6c91510b]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. About to compile." This reverts commit adc506253558332086699c43e8de929e5e041cbd.
5:56 PM Changeset in ghc [c26be08]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint during compilation." This reverts commit 0276b4966bd1ec50c7236cdc9d480873f0c33b2b.
5:55 PM Changeset in ghc [5e740d8]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint." This reverts commit 09a8a7fd96b44b20d168fbb167cdee20006ebb32.
5:55 PM Changeset in ghc [55fa3d6]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. The sources compile, but the libraries don't yet." This reverts commit 0d0c71eab258d03c5ab47f7323c392014565e2b7.
5:44 PM Changeset in ghc [8e0e3a3]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fixed interface loading bug, and a few other little changes." This reverts commit e8fbb019e83aedfe334d8f2ce638d0637ab15752.
5:44 PM Changeset in ghc [0763ebd]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Code compiles. Now, on to the testsuite. Also, documentation updated." This reverts commit d82a62855de5d8cc75d67fd181b47386d9f90f58.
2:50 PM Ticket #7977 (Optimization: Shift dropped list heads by coeffecient to prevent thunk ...) created by schyler
Consider the following snippet(s) equivalent to ([a..b] !! n), the source …
2:16 PM Building/GettingTheSources edited by stefan
Removed spam (diff)
1:54 PM Changeset in ghc [716c2ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:49 PM Changeset in ghc [2333148]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
1:49 PM Changeset in testsuite [c33fc66]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
9:04 AM Ticket #7976 (Failure building master (perf) on i686-pc-linux-gnu) created by nickie
It seems that the nightly builds on x86 for the master branch fail since …
8:50 AM Ticket #7272 (PolyKinds and mutually recursive modules) closed by simonpj
fixed: Maybe now I have finally done it :-)
8:49 AM Changeset in ghc [6ecfa98]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Actually make the change described in 'Fix egregious typo in cmpTypeX' I reverted it to try something else and forgot to put it back! Fixes Trac #7272 (again!).
7:27 AM Ticket #7975 ("impossible" failure while type checking) closed by simonpj
duplicate: Thanks. I'm guessing this is a dup of #7927, #7920, #7905, etc. Works in …
4:29 AM Ticket #7975 ("impossible" failure while type checking) created by jonnadal
$ cat failure.hs […] $ ghc failure.hs […]
2:34 AM SafeHaskell edited by domtheo
(diff)
2:33 AM SafeHaskell edited by domtheo
(diff)

Jun 10, 2013:

6:53 PM SafeHaskell edited by dkasak
Remove spam. (diff)
5:31 PM Ticket #7974 (Panic on a context with additional variable) closed by simonpj
fixed: Thank you! A palpable bug squashed. Simon
5:30 PM Changeset in ghc [5bd297cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:30 PM Changeset in testsuite [342c481e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:28 PM Changeset in ghc [fc927b3d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Trace statements only
5:28 PM Changeset in ghc [1cbfddb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make sure we quantify over the context in data constructors This was exposed by Trac #7974. A stupid bug!
5:27 PM Changeset in ghc [0239d783]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix egregious typo in cmpTypeX Reported in Trac #7272. "tv1" should be "tv2"! However, things weren't as simple as they sound, because treating (x:Open) as different from (x:*) gave rise to new failures; see Note [Comparison with OpenTypeKind] in Type. My hacky solution is to treat OpenKind as equal to * and #, at least in Core etc. Hence the faff in Type.cmpTc. I do not like this. But it seems like another messy consequence of including sub-kinding. Sigh.
10:52 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by simonpj
fixed: Great point. Exposed a subtle bug, which I have now fixed. Thank you! …
10:05 AM Changeset in ghc [436f896]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:05 AM Changeset in testsuite [cf46e11]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:04 AM Changeset in ghc [8c846f71]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix substitution but in liftCoSubst (Trac #7973) Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]
4:30 AM Building/GettingTheSources edited by domtheo
(diff)
4:26 AM SafeHaskell edited by domtheo
(diff)
4:23 AM ViewPatterns edited by domtheo
(diff)
12:27 AM Ticket #7974 (Panic on a context with additional variable) created by monoidal
File: […] Result with HEAD: […] I got it by attempting to …

Jun 9, 2013:

9:40 PM Ticket #7964 (GADTs in Haskell98 style) closed by goldfire
invalid: Sounds like this is resolved then. I'll close the ticket. If I've missed …
7:49 PM Changeset in ghc [31b2706]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't create mk/stamp-h I don't think we are using it for anything any more.
7:14 PM Changeset in ghc [4c497724]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Rarrange the distclean list; part of #7941
6:24 PM Changeset in ghc [96eca81]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how we check that we have a suitable 'make' We now check in the same way that the testsuite does.
5:56 PM Changeset in ghc [22690c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove ghc.spec It doesn't look like it would work now, and doesn't really belong in the GHC tree anyway.
2:52 PM Changeset in ghc [68ba223]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a comment
1:48 PM Changeset in ghc [f7c8c3d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only
1:30 PM Commentary/Rts/Storage/GC/RememberedSets edited by igloo
(diff)
12:24 PM Ticket #7902 (Add support for byte endianness swapping exposed as a primops) closed by igloo
fixed: Applied, thanks!
12:18 PM Changeset in ghc [63889324]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [cb5a00c7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix cgrun072
11:53 AM Changeset in testsuite [4122100]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix cgrun072
11:41 AM Changeset in ghc [86ca77e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix warnings
11:12 AM Changeset in ghc [c5d5e3a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:12 AM Changeset in testsuite [95996c1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:10 AM Changeset in ghc [1c5b051]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add support for byte endian swapping for Word 16/32/64. * Exposes bSwap{,16,32,64}# primops * Add a new machops MO_BSwap * Use a Stg implementation (hs_bswap{16,32,64}) for other implementation in NCG. * Generate bswap in X86 NCG for 32 and 64 bits, and for 16 bits, bswap+shr instead of using xchg. * Generate llvm.bswap intrinsics in llvm codegen. Patch from Vincent Hanquez.
11:06 AM Changeset in ghc [da7db199]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:06 AM Changeset in ghc-prim [585bdc6]ghc-7.8 by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:01 AM Changeset in base [3ef0f91]data-proxyghc-7.8 by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
11:01 AM Changeset in ghc [5ae2385]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
1:30 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by diatchki
duplicate: This is the same as #7973.
1:28 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
1:27 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
12:11 AM Changeset in ghc [16dc39eb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Outline 7.8.1 release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 8, 2013:

8:35 PM Changeset in base [86c5358]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:35 PM Changeset in ghc [f177fdb9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:28 PM Ticket #7653 (incorrect handling of StackOverflow exception in the event manager) closed by igloo
fixed: Fixed by […]
8:10 PM Changeset in base [9450515]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:10 PM Changeset in ghc [c7ef98d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:09 PM Changeset in base [13ac46d]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add a test for #7653
8:09 PM Changeset in ghc [bbf6c02]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add a test for #7653
7:43 PM Changeset in ghc [98265b39]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:43 PM Changeset in testsuite [ea99af5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:35 PM Changeset in base [e843e73]data-proxyghc-7.8 by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
7:35 PM Changeset in ghc [2d5eccdf]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
5:54 PM Changeset in base [1f81187]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
5:54 PM Changeset in ghc [55a5f05d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
4:06 PM Changeset in base [ddbe37f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
4:06 PM Changeset in ghc [68288cf9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
3:22 PM Ticket #7971 (doesDirectoryExist description differs from its behavior) created by dsf
The documentation for doesDirectoryExist should read: The operation …
2:36 PM Ticket #7718 (ios patch no 8: adjustor pools) closed by igloo
fixed: OK, thanks Stephen. I've applied a slightly simplified version of the …
2:22 PM Changeset in ghc [972c044d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
use libffi for iOS adjustors; fixes #7718 Based on a patch from Stephen Blackheath.
1:55 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) created by joeyadams
In the following program, an IORef is garbage collected after a …

Jun 7, 2013:

9:41 PM Ticket #7739 (Testsuite failures for HPC way tests on Windows) closed by igloo
fixed: The tix and exe.tix files are now cleaned in pretest_cleanup, so I …
9:37 PM Changeset in ghc [0d860381]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Improve the version numbers generated by the build system If we can't find a better date to use, then use today's date.
5:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:26 PM Commentary/Compiler/TypeType edited by simonpj
(diff)
1:47 PM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) created by dsf
If a module contains a "deriving instance Show Foo" declaration, the …
11:31 AM Commentary/Compiler/TypeType edited by erikd
un-wiki ByteArray?# (diff)
11:26 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) created by jstolarek
I noticed that sometimes fft2 program in nofib benchmark suite returns …
10:40 AM Changeset in base [d4d008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:40 AM Changeset in ghc [374fcdd0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:12 AM Commentary/Compiler/TypeType edited by erikd
Update Type representation to refect GHC 7.7.20130606 (diff)
10:01 AM Commentary/Compiler/TypeType edited by erikd
fix typoes (diff)
8:03 AM Ticket #7894 (Crash on :i M.->) closed by simonpj
fixed: The panic in OccName.isDataOcc looked like this: […] I see no good …
8:00 AM Changeset in ghc [b52a0a2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7894
8:00 AM Changeset in testsuite [2449037]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7894
6:19 AM ViewPatterns edited by guest
removed spam (diff)

Jun 6, 2013:

9:13 PM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) created by goldfire
In doing some routine dependently typed hackery, I wrote the following: …
7:29 PM Changeset in ghc [a28731b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Add --show-options to list all flags (Fixes #7843)
7:13 PM Building/RunningTests/Running edited by dterei
Make a little more concise (diff)
7:06 PM Changeset in ghc [09de957]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update readme to markdown and expand.
7:06 PM Changeset in testsuite [a3828255]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update readme to markdown and expand.
7:05 PM Changeset in ghc [cc1b579]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in testsuite [bc45165]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in ghc [6599d469]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update gitignore.
7:05 PM Changeset in testsuite [dcb92f7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update gitignore.
5:31 PM Changeset in base [5bd176f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix import warnings
5:31 PM Changeset in ghc [4c6faba]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix import warnings
4:55 PM Changeset in ghc [cfe92a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove old representation of CSEnv; part of #5996
3:23 PM Changeset in ghc [c0e4eefe]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/simplCore/CSE.lhs
1:38 PM Changeset in base [b801f5f]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in base [6d1b0d6c]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in base [2227e5e]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in base [a97ebe3]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in base [9b7c1b1]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:38 PM Changeset in ghc [8d87b5bf]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in ghc [a8ede1e9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in ghc [b3afa0a]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in ghc [ad6696e]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in ghc [404327a9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:32 PM Changeset in ghc [70ceb7b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:32 PM Changeset in testsuite [2d01b47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:29 PM Changeset in ghc [9616743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Take proper account of over-saturated functions in CoreUnfold
1:29 PM Changeset in ghc [7f2a10f4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Better computeDiscount for ValAppCtxt
1:29 PM Changeset in ghc [821b077]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Traces and comments only
1:29 PM Changeset in ghc [3e7e5ba8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use checkRecTc to improve demand analysis slightly We now look inside one layer of recursive types, thanks to checkRecTc. It does mean we need an additional environment field, ae_rec_tc. I also commented out the apparently over-conservative test at coercions. I'm not 100% sure I'm right here, but I can't see why the simpler code will go wrong, so I'm going to suck it and see.
1:29 PM Changeset in ghc [66733860]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Transfer strictness on trivial right-hand sides See Note [Trivial right-hand sides]
1:29 PM Changeset in ghc [4669c9e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add important missing case for bothCPR If either side diverges, both do!
1:29 PM Changeset in ghc [b2ba8ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the simplifier propagate strictness through casts E.g. (f e1 |> g) e2 If f is strict in two aguments, we want to see that in e2 Hence ArgSpec in SimplUtils
1:29 PM Changeset in ghc [6265312]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles (merg-os) to ticky-ticky
1:29 PM Changeset in ghc [a1a67b5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add TyCon.checkRecTc, and use in in typeArity This just formalises an abstraction we've been using anyway, namely to expand "recursive" TyCons until we see them twice. We weren't doing this in typeArity, and that inconsistency was leading to a subsequent ASSERT failure, when compiling Stream.hs, which has a newtype like this newtype Stream m a b = Stream (m (Either b (a, Stream m a b)))
1:29 PM Changeset in ghc [9b817e5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove bogus-looking check, which was causing Trac #7894
1:29 PM Changeset in ghc [99d4e5b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implement cardinality analysis This major patch implements the cardinality analysis described in our paper "Higher order cardinality analysis". It is joint work with Ilya Sergey and Dimitrios Vytiniotis. The basic is augment the absence-analysis part of the demand analyser so that it can tell when something is used never at most once some other way The "at most once" information is used a) to enable transformations, and in particular to identify one-shot lambdas b) to allow updates on thunks to be omitted. There are two new flags, mainly there so you can do performance comparisons: -fkill-absence stops GHC doing absence analysis at all -fkill-one-shot stops GHC spotting one-shot lambdas and single-entry thunks The big changes are: * The Demand type is substantially refactored. In particular the UseDmd is factored as follows data UseDmd = UCall Count UseDmd | UProd [MaybeUsed] | UHead | Used data MaybeUsed = Abs | Use Count UseDmd data Count = One | Many Notice that UCall recurses straight to UseDmd, whereas UProd goes via MaybeUsed. The "Count" embodies the "at most once" or "many" idea. * The demand analyser itself was refactored a lot * The previously ad-hoc stuff in the occurrence analyser for foldr and build goes away entirely. Before if we had build (\cn -> ...x... ) then the "\cn" was hackily made one-shot (by spotting 'build' as special. That's essential to allow x to be inlined. Now the occurrence analyser propagates info gotten from 'build's stricness signature (so build isn't special); and that strictness sig is in turn derived entirely automatically. Much nicer! * The ticky stuff is improved to count single-entry thunks separately. One shortcoming is that there is no DEBUG way to spot if an allegedly-single-entry thunk is acually entered more than once. It would not be hard to generate a bit of code to check for this, and it would be reassuring. But it's fiddly and I have not done it. Despite all this fuss, the performance numbers are rather under-whelming. See the paper for more discussion. nucleic2 -0.8% -10.9% 0.10 0.10 +0.0% sphere -0.7% -1.5% 0.08 0.08 +0.0% -------------------------------------------------------------------------------- Min -4.7% -10.9% -9.3% -9.3% -50.0% Max -0.4% +0.5% +2.2% +2.3% +7.4% Geometric Mean -0.8% -0.2% -1.3% -1.3% -1.8% I don't quite know how much credence to place in the runtime changes, but movement seems generally in the right direction.
1:29 PM Changeset in ghc [507c897]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments about the Name Cache
1:29 PM Changeset in ghc [da4ff65]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
12:47 PM Ticket #7959 (Panic on deriving nullary typeclass) closed by simonpj
fixed
12:45 PM Changeset in ghc [9e7d0dcb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:45 PM Changeset in testsuite [d61cc89]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:41 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Thanks; they should all be added now.
12:39 PM Changeset in ghc [e36f28b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:39 PM Changeset in testsuite [d8296b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:25 PM Ticket #7966 ('make distclean' does not work in nofib) created by jstolarek
I noticed that make distclean and make maintainer-clean don't work for …
7:40 AM GhcKinds/PolyTypeable edited by dreixel
(diff)
7:25 AM Ticket #7965 (The 'impossible' happened!) closed by simonpj
duplicate: Thanks. Yes, it's GHC's most often-reported bug (just search the Trac), …
1:35 AM Ticket #7965 (The 'impossible' happened!) created by adit
I'm working on a haskell package (code here: …

Jun 5, 2013:

9:18 PM Ticket #7964 (GADTs in Haskell98 style) created by wvv
it would be nice if it is possible to write GADTs in Haskell98 style, like …
7:32 PM Ticket #7963 (-ddump-minimal-imports should preserve "hiding" imports) created by dsf
An input file like […] compiled with -ddump-minimal-imports produces …
5:17 PM Changeset in ghc [99da484e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7959
5:17 PM Changeset in testsuite [c746681e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7959
5:16 PM Changeset in ghc [967f7469]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix panic on deriving a nullary typeclass (#7959)
5:04 PM Changeset in ghc [ac785e6c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
4:54 PM Changeset in ghc [4770877]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Imrove Lint to check unfoldings
4:47 PM Changeset in ghc [fc60a54]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [bd321fc]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [fafaa28]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [7f0de92]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:35 PM Changeset in ghc [fb3bbcf]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
3:31 AM Ticket #7962 ("ghc -e <invalid expression>" should return non-zero exit status) created by timmaxw
When GHC is run in expression-evaluation mode (i.e. with the "-e" flag) …
2:37 AM Ticket #7961 (Remove restrictions on promoting GADT's) created by danharaj
(Also allow the promotion of data types whose kind is not (* -> ... -> *)) …

Jun 4, 2013:

10:19 PM KindSystem edited by goldfire
(diff)
10:18 PM KindSystem edited by goldfire
(diff)
8:28 PM Ticket #7509 (Changing the second prompt. :{ modules| No setting available to change.) closed by igloo
fixed: All applied, thanks!
8:27 PM Changeset in ghc [2642fe6a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update docs for "set prompt2"
8:13 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Applied, thanks!
7:52 PM Changeset in ghc [d43d63f5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix thunk leak in CoreM's CoreWriter
7:52 PM Changeset in ghc [557fa200]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Remove some cruft
7:52 PM Changeset in testsuite [1ad2fda]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove some cruft
7:51 PM Changeset in ghc [753ab0b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:51 PM Changeset in testsuite [3dfc05e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:31 PM Changeset in ghc [cef115f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only
7:31 PM Changeset in ghc [9ac83e95]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Reformat help message for `:show` to fit into 80 cols again.
7:30 PM Changeset in ghc [22e5b884]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Formatting only: fix alignment.
7:30 PM Changeset in ghc [bc44435]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add the ability to customize the continuation prompt. - Remove unused property `def_prompt`.
6:40 PM Ticket #7859 (runghc should give an error when the path to ghc is invalid) closed by igloo
fixed: We now get: […]
6:13 PM Changeset in ghc [65b35319]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7859
6:13 PM Changeset in testsuite [c6e9f29]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7859
11:41 AM Ticket #7960 (Compiling profiling CCS registration .c file takes far too long) created by duncan
When compiling executables for profiling, ghc generates a .c file …

Jun 3, 2013:

6:28 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
6:27 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:54 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:37 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
2:51 PM Ticket #7959 (Panic on deriving nullary typeclass) created by monoidal
[…] Both data A deriving C and deriving instance C cause panic. …
12:20 PM Changeset in ghc [9a2f8ccc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [a7403029]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f39ca29]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f05cbb1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:15 PM Changeset in process [2cdacc6]ghc-7.8 by Geoffrey Mainland <mainland@…>
Fix warning about unused result. This error was breaking validate on Linux for me.
11:57 AM Ticket #7958 ('Cannot continue after interface file error' during compilation) created by jstolarek
I'm trying to compile …
8:20 AM Ticket #7957 (-ddump-minimal-imports should honour -outputdir) created by hvr
When enabling the -ddump-minimal-imports feature for emitting …
2:49 AM Ticket #7956 (ghci segfaults with -vN command-line options) created by mvanier
Invoking ghci with the -vN options (-v0, -v1, -v2, -v3) segfaults.

Jun 2, 2013:

9:18 PM Changeset in process [2b87e24]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 on Windows
9:13 PM Changeset in process [0c4f7b1]ghc-7.8 by Ian Lynagh <ian@…>
Add Windows output for process004 and process010
8:19 PM Changeset in process [206fd81]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Windows
8:10 PM Changeset in process [a079a25]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 following the error improvements
7:57 PM Changeset in process [6cdeb1e]ghc-7.8 by Ian Lynagh <ian@…>
Fix process010 on OS X true and false aren't in /bin on OS X. Now we don't hardcode the path.
7:01 PM Changeset in process [06bb9851]ghc-7.8 by Ian Lynagh <ian@…>
Add a test for better exceptions when ewxecuting programs
6:47 PM Changeset in process [df810a5]ghc-7.8 by Ian Lynagh <ian@…>
Give more meaningful error message when trying to run programs On non-Windows, the child thread now comunicates any errors back to the parent thread via pipes.
5:34 PM Ticket #7955 (CApiFFI doesn't produce wrappers for #defined values in GHCi) created by merijn
When using the FFI's capi calling convention to get access to #defined …
5:29 PM Ticket #7954 (Strictness analysis regression) created by chad.scherrer
The sum function from the Prelude relies on GHC's strictness analysis. …
5:00 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
5:00 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
3:07 PM Changeset in process [c018c63]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:36 PM Changeset in process [f45bb7b]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:09 PM Changeset in process [5933e48]ghc-7.8 by Ian Lynagh <ian@…>
Add some braces for clarity
2:08 PM Changeset in process [95e17b4]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
12:25 PM Changeset in ghc [8c4d1eac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a comment Make expands things even in comments
11:47 AM Changeset in base [5fe76f3]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:47 AM Changeset in ghc [f3c261bc]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:43 AM Changeset in base [4b0addb]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove an import loop
11:43 AM Changeset in ghc [889b5bb]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove an import loop

Jun 1, 2013:

6:16 PM Changeset in ghc [f83994e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a comment

May 31, 2013:

10:57 PM Ticket #7715 (threadDelay causes segfault on Mac if compiled by 32bit GHC) closed by kazu-yamamoto
duplicate: This ticket was moved to: #7953
6:01 PM Changeset in base [d901b4c]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:01 PM Changeset in ghc [de1ae80b]wip/T9016wip/ampwip/coveritywip/orf by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:22 PM Changeset in ghc [da345e4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Use the symmetric version of the newtype coercion.
3:12 PM Changeset in ghc [fc9229df]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Build statically when using LLVM. The LLVM back end does not yet work when building dynamically.
2:25 PM Ticket #7953 (Segfault on x86 with -O2) created by igloo
First reported by Kazu Yamamoto in …
10:51 AM TemplateHaskell/Typed edited by gmainland
(diff)
2:58 AM Changeset in base [14bd3c1a]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
2:58 AM Changeset in ghc [dac845cb]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
1:25 AM Changeset in base [a9a9ce6]data-proxyghc-7.8 by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594
1:25 AM Changeset in ghc [cb2f2d4]wip/T9016wip/ampwip/coveritywip/orf by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594

May 30, 2013:

11:41 PM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) closed by igloo
fixed: Applied, thanks!
11:41 PM Ticket #7945 (Fix build on platform which does not support shared libraries.) closed by igloo
fixed: Applied, thanks!
11:08 PM Changeset in base [216d590]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
11:08 PM Changeset in ghc [3730af0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
10:07 PM Changeset in ghc [8e51a7ab]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
add arm-unknown-linux to platforms which do not support shared libs This patch disables shared libs support on arm-unknown-linux platform. It unbreaks ghc-stage2 on this platform after recent Ian's changes in dynamic/shared libs domain. The reason why ghc-stage2 fails when linked with shared libs is still unknown so this is just a workaround at the moment, but it at least recovers previous "correct" behavior of ghc-stage2 on ARM/Linux
10:07 PM Changeset in ghc [192a8f9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs
9:03 PM Changeset in ghc [d0ecba6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a trailing case in making FamInstTyCon, where the invariant didn't hold, leading to subsequent chaos. Happily an ASSERT caught it.
9:03 PM Changeset in ghc [3d81b68]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Define chkAppend, and use it Somtimes we need (xs ++ ys) in situations where ys is almost always empty. Utils.chkAppend checks for that case first.
8:26 PM NewAxioms edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies created by goldfire
8:13 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
7:40 PM Changeset in ghc [7849266c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:38 PM Changeset in ghc [26c7d94]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Run ghc-pkg check during validate Should help to track down cache-out-of-date problems
6:18 PM Changeset in ghc [896d0f1a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
When verbose, give more information about cache status
4:20 PM Changeset in ghc [ac330cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Add a primitive for coercing values into dictionaries in a special case. The details of this are described in Note [magicSingIId magic] in basicTypes/MkId.lhs
3:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:38 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:37 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:34 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:18 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:15 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:12 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:51 PM Ticket #7786 (strange errors when deducing constraints) closed by simonpj
fixed
2:48 PM Changeset in base [898fd6c]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:48 PM Changeset in ghc [822ce01e]wip/T9016wip/ampwip/coveritywip/orf by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:22 PM Changeset in ghc [bc5bf1b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove an out-of-date comment
2:20 PM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: OK done. Do you want to look at #7401? Simon
2:19 PM Changeset in ghc [5b08752]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:19 PM Changeset in testsuite [f35851f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:18 PM Changeset in ghc [71178ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:18 PM Changeset in testsuite [286314f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:12 PM Changeset in ghc [30059bd8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Read for empty data types (again; Trac #7931)
2:03 PM Changeset in ghc [9051d7fc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
2:03 PM Changeset in testsuite [245e5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
1:43 PM Ticket #7797 (re-enable the defun RULE from a SPECIALISE instance pragma) closed by simonpj
fixed: Finally done! I hope this will improve some old regressions. Simon
1:30 PM Ticket #7785 (Module-local function not specialized with ConstraintKinds) closed by simonpj
fixed: Thanks for pointing this out. I've fixed it now. Simon
1:29 PM Changeset in ghc [967f6852]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in ghc [56f4215e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in testsuite [029a95a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in testsuite [8854b27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in ghc [2e7d1fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:29 PM Changeset in testsuite [0d3fcf2f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:28 PM Changeset in ghc [4112b1f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:28 PM Changeset in testsuite [e0481fc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in ghc [4316bc3f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in testsuite [ae9f9737]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:21 PM Ticket #4185 (Deriving higher-arity instances for newtype family instances fails) closed by simonpj
fixed: Sorry it has taken so long, but finally done! Simon
1:20 PM Ticket #7903 (Failure to find class instance specified with extra parentheses) closed by simonpj
fixed: OK I think I've done it. This is a very unsavoury part of the compiler. …
1:17 PM Ticket #7809 (Silly error message suggesting LiberalTypeSynonyms) closed by simonpj
fixed
1:16 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:15 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:09 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:07 PM Changeset in ghc [0a5065a8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in ghc [182e34b4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:07 PM Changeset in testsuite [d9f7af8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in testsuite [c4ea06f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:06 PM Changeset in ghc [827cc50]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eta-reduce data/newtype family instance axioms (Trac #4185) This long-overdue fix arranges to eta-reduce the axiom for a data/newtype instance in the same way that we have longq eta-reduced the axiom for a newtype. See Note [Eta reduction for data family axioms] in TcInstDcls and Note [Deriving, type families, and partial applications] in TcDeriv.
1:03 PM Changeset in ghc [8d49ef1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use new TcHsType.zonkSigType to establish Type invariants Finally (I hope) fixes Trac #7903. See Note [Zonking inside the knot] in TcHsSyn
1:03 PM Changeset in ghc [936001c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve validity check to give better error message Fixes Trac #7809
1:03 PM Changeset in ghc [5949ff2d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refine 'type_determines_value' in Specialise. Fix Trac #7785. See Note [Type determines value] in Specialise.
12:48 PM Changeset in base [b1fc627]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:48 PM Changeset in ghc [95853c70]wip/T9016wip/ampwip/coveritywip/orf by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:28 PM Changeset in nofib [4445d7b]ghc-7.8 by Ian Lynagh <ian@…>
Default to 'ghc' rather than '$(HC)' for BOOT_HC It's likely that $(HC) won't have all the packages installed that we need to compile nofib-analyse. Whatever ghc is in the path is a better bet.
11:09 AM Changeset in ghc [762b7775]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in testsuite [7456a2b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in ghc [4039397]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:09 AM Changeset in testsuite [442cc21]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:08 AM Changeset in ghc [1ed04090]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make 'SPECIALISE instance' work again This is a long-standing regression (Trac #7797), which meant that in particular the Eq [Char] instance does not get specialised. (The *methods* do, but the dictionary itself doesn't.) So when you call a function f :: Eq a => blah on a string type (ie a=[Char]), 7.6 passes a dictionary of un-specialised methods. This only matters when calling an overloaded function from a specialised context, but that does matter in some programs. I remember (though I cannot find the details) that Nick Frisby discovered this to be the source of some pretty solid performanc regresisons. Anyway it works now. The key change is that a DFunUnfolding now takes a form that is both simpler than before (the DFunArg type is eliminated) and more general: data Unfolding = ... | DFunUnfolding { -- The Unfolding of a DFunId -- See Note [DFun unfoldings] -- df = /\a1..am. \d1..dn. MkD t1 .. tk -- (op1 a1..am d1..dn) -- (op2 a1..am d1..dn) df_bndrs :: [Var], -- The bound variables [a1..m],[d1..dn] df_con :: DataCon, -- The dictionary data constructor (never a newtype datacon) df_args :: [CoreExpr] -- Args of the data con: types, superclasses and methods, } -- in positional order That in turn allowed me to re-enable the DFunUnfolding specialisation in DsBinds. Lots of details here in TcInstDcls: Note [SPECIALISE instance pragmas] I also did some refactoring, in particular to pass the InScopeSet to exprIsConApp_maybe (which in turn means it has to go to a RuleFun). NB: Interface file format has changed!

May 29, 2013:

9:24 PM Ticket #7952 (Can cost-centre annotations be included in -ddump-simpl?) created by nr
I'm trying to diagnose an allocation problem. I'm using both explicit …
8:19 PM Records/OverloadedRecordFields/Plan created by adamgundry
6:28 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:28 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:27 PM Ticket #7949 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
5:41 PM Ticket #7948 (hp2ps --help typo) created by nomeata
Says       -c  colour ouput instead of       -c  colour output Patch …
3:02 PM Ticket #7947 (Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified ...) created by a.ulrich
The bug is triggered by the following minimal example. Types A.A and B.B …
2:38 PM NewAxioms edited by goldfire
(diff)
2:38 PM NewAxioms edited by goldfire
(diff)
2:36 PM NewAxioms/TypeSpaces created by goldfire
2:31 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
2:28 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
2:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:02 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:00 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:58 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:57 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:49 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:47 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:40 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:23 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
1:12 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:59 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
12:44 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:43 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:42 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
11:42 AM NewAxioms/Nonlinearity created by goldfire
11:28 AM NewAxioms edited by goldfire
(diff)
8:53 AM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) created by kgardas
This patch disables shared libs support on arm-unknown-linux platform. It …
8:49 AM Ticket #7945 (Fix build on platform which does not support shared libraries.) created by kgardas
The problem with current HEAD is that DYNAMIC_GHC_PROGRAMS = YES even if …
8:13 AM Changeset in testsuite [34a7f7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'overlapping-tyfams' of ssh://github.com/goldfirere/testsuite into overlapping-tyfams
8:12 AM Changeset in testsuite [50bfe9a]overlapping-tyfams by Richard Eisenberg <eir@…>
Fix test case to reflect banning nonlinear standalone instances.
4:49 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) created by bos
I ran across a peculiar case this evening: a benchmark that I can't …
Note: See TracTimeline for information about the timeline view.