Timeline


and

Oct 5, 2013:

8:56 PM Ticket #8170 (Remove _scc_) closed by monoidal
fixed: I've applied the changes, except for the megapatch to one happy-generated …
8:49 PM Changeset in nofib [b9d8bcd]ghc-7.8 by Krzysztof Gogolewski <krz.gogolewski@…>
Remove deprecated _scc_ (#8170)
8:11 PM Changeset in ghc [9cd6e6e1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Change deprecated _scc_ to {-# SCC #-} (#8170)
8:11 PM Changeset in testsuite [d7b4529]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Change deprecated _scc_ to {-# SCC #-} (#8170)
8:10 PM Changeset in ghc [3e0109b]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Remove deprecated _scc_ (#8170)
6:23 PM Ticket #8411 (TypeSynonymInstances with partial type) closed by monoidal
invalid: Unfortunately, this is by design. Partial application of type synonyms is …
5:23 PM Ticket #4364 (Template Haskell: Cycle in type synonym declarations) closed by monoidal
fixed: This is now fixed thanks to new TH. Woo hoo!
5:22 PM Ticket #6062 (TH treats non-functions in function position inconsistently) closed by monoidal
fixed: This is now fixed thanks to new TH. Woo hoo!
5:19 PM Ticket #4170 (Invalid "duplicate instance" error) closed by monoidal
fixed: This is now fixed thanks to new TH. Woo hoo!
5:16 PM Ticket #4124 (GHC rejects instance quotations with splices in the instance head) closed by monoidal
fixed: This is now fixed thanks to new TH. BTW for older GHC you could work …
5:14 PM Ticket #4128 (Can't capture classes inside a template haskell type quotation) closed by monoidal
fixed: This test was already working as of GHC 7.6; I think this was fixed by …
5:10 PM Changeset in ghc [aa8559d7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Add tests for new TH #4124, #4128, #4170, #4364, #6062
5:10 PM Changeset in testsuite [e595c81]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Add tests for new TH #4124, #4128, #4170, #4364, #6062
5:09 PM Building/RunningTests/Settings edited by nomeata
document SKIP_PERF_TESTS (diff)
5:08 PM Ticket #8413 (testsuite: Allow to skip performance tests) closed by nomeata
fixed: After encouragement on IRC, pushed.
4:32 PM Ticket #8414 (ghc-pkg prevents dynamic library only packages) created by AndreasVoellmy
GHC supports compiling Haskell libraries as dynamic libraries and building …
4:28 PM Changeset in base [5fcdb2a]ghc-7.8 by Austin Seipp <aseipp@…>
Port ThreadDelay001 to the "time" library ... as "old-time" isn't built when cross-compiling. Issue #8395. Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:28 PM Changeset in ghc [0fcb06e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <aseipp@…>
Port ThreadDelay001 to the "time" library ... as "old-time" isn't built when cross-compiling. Issue #8395. Signed-off-by: Austin Seipp <aseipp@pobox.com>
3:22 PM Ticket #8410 (NCG sometimes produces code like `addl $0 ...`) closed by rwbarton
fixed: This is fixed already in HEAD, hooray. (And for anyone planning to …
3:07 PM Changeset in ghc [718e86b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Flag to test suite: SKIP_PERF_TESTS More often than not the output of the performance tests is in the way, rather than helping. This allows the use of `make SKIP_PERF_TESTS=YES` to skip these tests. Fixes #8413
3:07 PM Changeset in testsuite [7d29fbf]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Flag to test suite: SKIP_PERF_TESTS More often than not the output of the performance tests is in the way, rather than helping. This allows the use of `make SKIP_PERF_TESTS=YES` to skip these tests. Fixes #8413
3:07 PM Ticket #8413 (testsuite: Allow to skip performance tests) created by nomeata
More often than not the output of the performance tests is in the way, …
2:35 PM Changeset in ghc [3e7b7c3]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Add release note item for new Monoid Const instance See [6f3a194accd2a1a75a3f86c1b4dca30521488110/base] Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
1:57 PM Ticket #8412 (TH allows negative type-level integers) created by monoidal
Similar to #8306, it is possible to create type-level -1 via […] Easy …
1:42 PM Changeset in base [6f3a194]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `instance Monoid a => Monoid (Const a b)` For more details, see original proposal at http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20369 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
1:42 PM Changeset in ghc [a333f7b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Herbert Valerio Riedel <hvr@…>
Add `instance Monoid a => Monoid (Const a b)` For more details, see original proposal at http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20369 Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
11:59 AM Ticket #8411 (TypeSynonymInstances with partial type) created by wvv
TypeSynonymInstances? allow only full synonyms. With […] I got next …
11:12 AM TeamGHC edited by thoughtpolice
(diff)
11:12 AM TeamGHC edited by thoughtpolice
(diff)
11:08 AM Status/GHC-7.8 edited by thoughtpolice
(diff)
7:23 AM Ticket #8410 (NCG sometimes produces code like `addl $0 ...`) created by schyler
See the haskell and ASM output; …
7:17 AM Ticket #8409 (nofib-analyse: compile allocations) created by leroux
In response to comment:13:ticket:8173: > Did you look at the amount of …
3:40 AM Ticket #8297 (Allow implicit parameters to take a default value) closed by carter
invalid: this seems more a case for using the convention of having a function with …
12:10 AM Ticket #8408 (Ambiguity in TH reify based on compilation method) created by errge
The attached tar.gz contains a simple example where compiling with --make …

Oct 4, 2013:

10:58 PM Ticket #8260 (Parallel build behaves erratic under Windows) closed by schyler
fixed: The mailing list suggested using MSYS2, which has a working make w/ -j. …
10:57 PM Ticket #8259 (HEAD won't build on Windows) closed by schyler
fixed
9:57 PM Changeset in ghc [d5075dc]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <gmainlan@…>
Remove tab.
9:55 PM Changeset in ghc [3db76508]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <mainland@…>
Merge New Template Haskell branch.
9:55 PM Changeset in testsuite [b141e5e]wip/nested-cprwip/pattern-synonyms by Geoffrey Mainland <mainland@…>
Merge New Template Haskell branch.
9:54 PM Changeset in ghc [982267f]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Merge New Template Haskell branch.
9:52 PM Changeset in ghc [e7394be]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <gmainlan@…>
Merge New Template Haskell branch.
9:22 PM Changeset in ghc [1e6a941]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
9:22 PM Changeset in ghc [047b3b8c]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
9:22 PM Changeset in ghc [db6cb113]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
9:22 PM Changeset in ghc [5246e123]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/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.
9:22 PM Changeset in ghc [9145629]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
9:22 PM Changeset in ghc [cb441238]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
9:22 PM Changeset in ghc [c6033dc]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/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.
9:22 PM Changeset in ghc [2d1b4a7]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/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.
9:22 PM Changeset in ghc [5e1fda81]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
9:22 PM Changeset in ghc [96c6fa00]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
7:02 PM Changeset in ghc [f8dd6504]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <mainland@…>
Fix test wibble.
7:02 PM Changeset in ghc [27c2fd71]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
7:02 PM Changeset in testsuite [a0e87e0]wip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Fix test wibble.
7:02 PM Changeset in testsuite [c0e50e9]wip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
7:01 PM Changeset in ghc [6a82b92d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. Splices are now run in the renamer instead of the type checker, so they only get run once.
7:01 PM Changeset in testsuite [26eaf88]wip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. Splices are now run in the renamer instead of the type checker, so they only get run once.
6:58 PM Changeset in ghc [4ccdc32]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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.
6:58 PM Changeset in ghc [1d43475b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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.
6:58 PM Changeset in ghc [c2dc3369]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
6:58 PM Changeset in testsuite [bea08b3]wip/nested-cprwip/pattern-synonymswip/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.
6:58 PM Changeset in testsuite [de2d29f]wip/nested-cprwip/pattern-synonymswip/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.
6:58 PM Changeset in testsuite [1baab5b]wip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
6:58 PM Changeset in ghc [29ea943]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Add TExp data type.
6:58 PM Changeset in ghc [4d226b3]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Add a method to the Quasi type class that adds new top-level declarations.
6:58 PM Changeset in ghc [9caca0a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Make a TExp a wrap a TH.Exp instead of a TH.ExpQ. We also provide two new helper functions: unTypeQ :: Q (TExp a) -> Q Exp unsafeTExpCoerce :: Q Exp -> Q (TExp a)
6:58 PM Changeset in ghc [6b676e79]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Add the TExpQ type alias.
6:58 PM Changeset in ghc [18f2e523]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Correctly pretty-print let and do expressions.
6:58 PM Changeset in ghc [bb89c59]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Add support for top-level finalizers
6:58 PM Changeset in ghc [8b084408]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Geoffrey Mainland <mainland@…>
Add Template Haskell state. The Quasi monad can now carry state, and this state can be shared amongst quasiquoters/splices/etc. State is stored in a finite map of Dynamic values and is indexed by TypeReps.
6:58 PM Changeset in ghc [22818ab]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
6:58 PM Changeset in ghc [0cc2bb5]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
6:58 PM Changeset in ghc [6af0bd8a]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/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.
6:58 PM Changeset in ghc [96456c6]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
6:58 PM Changeset in ghc [639714ba]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
6:58 PM Changeset in ghc [459a03e]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/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.
6:58 PM Changeset in ghc [d0d47ba]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
6:58 PM Changeset in ghc [e036ddc]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
5:55 PM Changeset in ghc [c5806bf6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error messsage wibblification
5:55 PM Changeset in testsuite [8012433]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error messsage wibblification
5:51 PM Changeset in ghc [5863ce4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8383
5:51 PM Changeset in testsuite [4b16eaa]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8383
5:50 PM Changeset in ghc [1745779]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify the plumbing for checkValidTyCl Instead of walking over the source decls, and looking up the Name to find the TyCon or whatever, we just walk over the list of TyThings that have been brought into scope. This is much tidier. The only wrinkle is that, since we don't have the original declaration, we don't have its SrcSpan to put in the error message. I fixed this by making the SrcSpan for the TyCon itself be the span of the whole declaration. This actually makes sense anyway. There are bunch of error message wibbles in consequence.
5:47 PM Changeset in ghc [8d82954]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
5:45 PM Changeset in ghc [8755758]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify printing of boot-file mis-matches, by using PprTyThing.pprTyThing
5:43 PM Changeset in ghc [acccbf36]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify PprTyThing In particular, don't import GHC (a historical hangover), which makes this module live much lower down in the module hierarchy. This in turn means we can call it from TcRnDriver
5:42 PM Changeset in ghc [da46a00]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Improve pretty-printing of IfaceSyn type families
5:41 PM Changeset in ghc [a9649c4]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the bytecode genreation for tagToEnum# (Trac #8383) Reid Barton's diagnosis was right on the mark, though the fix wasn't quite right. See Note [Implementing tagToEnum#]. As usual I did some refactoring.
2:40 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:11 AM Changeset in ghc [1de7975]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Wibble in user docs
11:11 AM Changeset in ghc [429397f]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
9:07 AM ModuleReexports edited by nomeata
(diff)
9:02 AM Building/Preparation/Linux edited by guest
I found that I needed llvm (using raspbian wheezy, building GHC 7.6.3 /on/ … (diff)
8:27 AM Changeset in ghc [30a046fb]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Herbert Valerio Riedel <hvr@…>
Update `bytestring` library to latest upstream HEAD
7:33 AM ModuleReexports created by nomeata
7:33 AM Ticket #8407 (Module re-exports at the package level) created by nomeata
For various package reorganization purposes, especially for possibly …
4:16 AM Ticket #8406 (Invalid object in isRetainer() or Segfault) created by crockeea
When compiling with -rtsopts -threaded -prof -fprof-auto -caf-all and …
12:39 AM Changeset in ghc [4462992]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <diatchki@…>
Fix a failing test. GHC.TypeLits does not export `Sing` anymore, so we just define it locally.
12:39 AM Changeset in testsuite [34eafd6]wip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <diatchki@…>
Fix a failing test. GHC.TypeLits does not export `Sing` anymore, so we just define it locally.

Oct 3, 2013:

11:28 PM Changeset in ghc [cd504d85]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <diatchki@…>
Fixup basic type-lits test. There is still one more test that needs fixing: indexed-types/should_fail T7786 [stderr mismatch] (normal) I need to understand what is going on there, as it appears to be using the `Sing` constructors a bunch.
11:28 PM Changeset in testsuite [8c799a0]wip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <diatchki@…>
Fixup basic type-lits test. There is still one more test that needs fixing: indexed-types/should_fail T7786 [stderr mismatch] (normal) I need to understand what is going on there, as it appears to be using the `Sing` constructors a bunch.
10:52 PM Ticket #8133 (T7881 fails with hpc) closed by monoidal
fixed: It was fixed with #8384.
10:33 PM Ticket #8405 (experiment with using function-sections for linking (for smaller libs and ...) created by carter
currently the only support we have for making small (ish) executables …
10:25 PM Changeset in base [a75446f]ghc-7.8 by Iavor S. Diatchki <diatchki@…>
Add fixity declaration for type-level functions.
10:25 PM Changeset in ghc [add3bae]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Add fixity declaration for type-level functions.
10:25 PM Changeset in base [e5b3b3f]ghc-7.8 by Iavor S. Diatchki <diatchki@…>
Rename someSymVal to someSymbolVal
10:25 PM Changeset in ghc [40e7236]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Rename someSymVal to someSymbolVal
10:16 PM Changeset in ghc [0773f767]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Edward Z. Yang <ezyang@…>
s/pathalogical/pathological/ Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:04 PM Changeset in ghc [4f85aab]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Edward Z. Yang <ezyang@…>
s/Heep/Heap/ Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:39 PM Changeset in base [5eaba36]ghc-7.8 by Iavor S. Diatchki <diatchki@…>
Remove all but the basic operations on type-level literals. The plan is to have the more sophisticated operations in a separate library.
9:39 PM Changeset in ghc [ccd6d58]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Remove all but the basic operations on type-level literals. The plan is to have the more sophisticated operations in a separate library.
8:05 PM Ticket #8368 (Panic in rejigConRes) closed by monoidal
fixed: Done!
7:58 PM Changeset in ghc [0c7d2d7]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix Trac #8368. Two different fixes were necessary here. First, we need to fail eagerly in kcConDecl, to prevent the return-type error in tcConDecl from firing twice. (This wasn't caught earlier because of the eager fail in the datatype kind-checking code -- which isn't used for data instances!) We also must check again in tcDataFamInstDecl, because it's possible for a data instance return type to have the right head but the wrong body (i.e., doesn't conform to the data instance type patterns). This check is only possible *after* desugaring from HsType to Type, so it can't be done in tcConRes with the first check. This is documented in a comment at check_valid_data_con, a local function within tcDataFamInstDecl.
4:58 PM Changeset in ghc [f76d68d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
New tests for #8368.
4:58 PM Changeset in testsuite [e3e28cd]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
New tests for #8368.
4:43 PM Ticket #8390 (regression in handling of type variables in constraints on instances which ...) closed by goldfire
invalid: That is option 3, above, fixing my definition of ambiguous. Yes, OK. Many …
4:09 PM Ticket #8404 (Default to turning on architecture specific optimizations in the codegen) created by tibbe
LLVM defaults to turning on whatever architecture specific optimizations …
2:41 PM Ticket #8357 (Pretty printing of kind-involving inferred types) closed by simonpj
fixed
2:40 PM Changeset in ghc [80d2a085]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8357
2:40 PM Changeset in testsuite [06afa91]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8357
2:11 PM Ticket #8403 (Pretty-printing of long types) created by monoidal
Low priority, but this ghci output could be more packed. […]
11:17 AM Ticket #8384 (-fwarn-empty-enumerations doesn't work with -fhpc) closed by simonpj
fixed: Thanks; easy fix. Simon
11:16 AM Changeset in ghc [d371092]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Trac #T7881 now works for hpc way again As a result of fixing Trac #8384
11:16 AM Changeset in testsuite [c340764]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Trac #T7881 now works for hpc way again As a result of fixing Trac #8384
11:12 AM Ticket #8391 (FunDeps coverage condition check failure with PolyKinds) closed by simonpj
fixed: Fixed thank you. Simon
11:10 AM Changeset in ghc [be98618]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8391
11:10 AM Changeset in testsuite [d16da2f]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8391
9:53 AM Ticket #8402 (throwTo segfaults under -prof -threaded -with-rtsopts=N2) created by akio
Save the following module as throwto.hs […] Then compile it …
8:29 AM Ticket #8392 (Suggest AllowAmbiguousTypes) closed by simonpj
fixed
8:25 AM Changeset in ghc [65128ed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8392
8:25 AM Changeset in testsuite [41f708b]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8392
7:36 AM Changeset in ghc [43856a00]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Improve -XAllowAmbiguousTypes (Trac #8392) * Add a suggestion to add AllowAmbiguousTypes when there is an ambiguity error * Move some of the logic to tcSimplifyAmbiguityCheck * Report inaccessible code regardless of the ambiguity check
7:36 AM Changeset in ghc [7e444802]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Tiny comment on the change from StgWord8 to StgWord c.f. commit 0b0fec536e35769b64b8bc5397c84138fa512155
7:36 AM Changeset in ghc [9d908c52]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Close over kinds when checking fundep coverage (Trac #8391) See Note [Closing over kinds in coverage] in FunDeps
7:36 AM Changeset in ghc [9864edf2]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Look through tick-boxes when looking for integral literals in the desugarer Fixes Trac #8334
7:36 AM Changeset in ghc [7996d8f]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the commit for Trac #3725 In particular, the mi_ann_fn field in ModIface was only being used totally locally in MkIface, so I made it local. Other than that I just refactored data types slightly, * Adding synonym Annotations.AnnPayload for the cryptic Serialized * Adding MkIface.IfaceIdExtras to common up some of the identical code
1:38 AM Ticket #8401 (parsec issues) created by dsamperi
Built ghc-7.7 using BuildFlavour? quick under Fedora 18 Linux and I …
12:14 AM Ticket #8400 (Migrate the RTS to use libuv (or libev, or libevent)) created by schyler
This is mainly a reference discussion ticket. libuv …

Oct 2, 2013:

11:53 PM Changeset in nofib [6be7dd6]ghc-7.8 by Edward Z. Yang <ezyang@…>
Add a copy of HashTable to keep hash GC benchmark working. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
6:42 PM Ticket #8399 (Of Bird tacks and non-blank blank lines) created by tinctorius
[…] According to the Haskell 1.2 report, code in Bird tacks must be …
5:46 PM Changeset in ghc [b84fbabb]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Initialize gc_thread.mut_spin to the 'acquired' state
1:24 PM Ticket #8398 (reify module list in TH) created by errge
This patch is for the use-case detailed in #7867. The added Q monad …
1:01 PM Changeset in ghc [067f78b2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles following ambiguity check changes
1:01 PM Changeset in testsuite [4bf7d5e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles following ambiguity check changes
12:35 PM Ticket #8397 (reify annotations in TH) created by errge
For the use-case detailed in #7867, this patch adds annotation reification …
9:44 AM Changeset in ghc [a15ece4e]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Remove glasgow-exts from :help It's deprecated
9:44 AM Changeset in ghc [986250e]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Update manual regarding unboxed tuples Since 7.6 they can be used as function arguments
8:01 AM Changeset in ghc [6b56962]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Further testsuite wibbles following changes to kind suppression
8:01 AM Changeset in testsuite [46da2e5]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Further testsuite wibbles following changes to kind suppression
6:29 AM Changeset in ghc [5af8ae5]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Release note updates. Signed-off-by: Austin Seipp <austin@well-typed.com>
6:14 AM Ticket #7971 (doesDirectoryExist description differs from its behavior) closed by thoughtpolice
fixed: Merged, thanks.
6:14 AM Changeset in directory [ff6265b]ghc-7.8 by Austin Seipp <austin@…>
doesDirectoryExist also accepts symbolic links This closes #7971 Signed-off-by: Austin Seipp <austin@well-typed.com>
6:01 AM Ticket #8393 (hsc2hs copies #define/#undef directives to generated .hs file when ...) closed by thoughtpolice
fixed: Merged, although I totally botched the commit references... […]
5:59 AM Ticket #8256 (adding locality levels to prefetch# and friends) closed by thoughtpolice
fixed: Merged, thanks!
5:59 AM Ticket #8340 (support for generating annotations from TH) closed by thoughtpolice
fixed: Merged, thanks!
5:58 AM Ticket #8395 (Various testsuite fixes for cross-compilation/i386/etc.) closed by thoughtpolice
fixed: Merged, thanks!
5:58 AM Ticket #8283 (utils/fingerprint/fingerprint.py doesn't work on Windows) closed by thoughtpolice
fixed: Merged, thanks!
5:57 AM Ticket #8343 (Interrupting readProcess doesn't work) closed by thoughtpolice
fixed: Merged, thanks!
5:56 AM Ticket #3725 (Annotations not written to interface files) closed by thoughtpolice
fixed: Merged, thanks!
3:45 AM Ticket #8396 (cleanup / refactor native code gens) created by carter
the native code gen could use some cleanup / love. 1. Catchup with …
2:49 AM Changeset in ghc [c949f8b5]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <austin@…>
Add TH support for annotations (#8340) Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:26 AM Changeset in ghc [fd740140]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Add support for prefetch with locality levels. This patch adds support for several new primitive operations which support using processor-specific instructions to help guide data and cache locality decisions. We have levels ranging from [0..3] For LLVM, we generate llvm.prefetch intrinsics at the proper locality level (similar to GCC.) For x86 we generate prefetch{NTA, t2, t1, t0} instructions. On SPARC and PowerPC, the locality levels are ignored. This closes #8256. Authored-by: Carter Tazio Schonwald <carter.schonwald@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:20 AM Changeset in ghc [e6632902]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add tests for prefetch primops (#8256) Authored-by: Carter Tazio Schonwald <carter.schonwald@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:20 AM Changeset in testsuite [14b1439]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Add tests for prefetch primops (#8256) Authored-by: Carter Tazio Schonwald <carter.schonwald@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:07 AM Changeset in ghc [627d1e0]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Add TH support for annotations (#8340) Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:06 AM Changeset in ghc [40177b2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Add 32-bit output for T7919 Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:06 AM Changeset in testsuite [881038a]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Add 32-bit output for T7919 Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in ghc [61e0979]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Skip integerGmpInternals in ghci (no unboxed tuples) Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in testsuite [47189a3]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Skip integerGmpInternals in ghci (no unboxed tuples) Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in ghc [1e412574]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <austin@…>
Mark those tests which depend on libraries not built when cross-compiling Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in testsuite [47bd048]wip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <austin@…>
Mark those tests which depend on libraries not built when cross-compiling Issue #8393 Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in ghc [70ccf23f]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
fingerprint.py: Invoke 'perl' manually (#8283) This fixes the fingerprint script on windows, since we can't rely on using '#!/usr/bin/perl' Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 AM Changeset in ghc [bc8a5e1]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Persist annotations to interface files (#3725) Authored-by: Gergely Risko <gergely@risko.hu> Signed-off-by: Austin Seipp <austin@well-typed.com>
2:04 AM Changeset in process [32223a9]ghc-7.8 by Austin Seipp <austin@…>
Fix deadlocks in readProcess{,WithExitCode} The problem is in the exception handler in readProcess. When it receives an asynchronous exception, it tries to clean up by closing the pipes. However the attempt to close outh blocks because the reader thread (reading with hGetContents) is blocking on the handle. This fixes #8483. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:48 AM Changeset in ghc [4a143260]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Delete old comments referring to newSession As Herbert pointed it, it was removed a long time ago. Authored-by: Kazu Yamamoto <kazu@iij.ad.jp> Signed-off-by: Austin Seipp <austin@well-typed.com>
1:15 AM Changeset in base [2868d61]ghc-7.8 by Austin Seipp <austin@…>
Fix Windows build. In dfb52c3d the default language was set to Haskell2010 - by default, GHC is less strict about the layout rule (controlled by -XNonincreasingIndentation), but not when we explicitly set the language to H2010. It turns out we relied on this behavior in the Windows build. Thanks to Reid Barton for pointing this out. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:15 AM Changeset in ghc [47dd3c2]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <austin@…>
Fix Windows build. In dfb52c3d the default language was set to Haskell2010 - by default, GHC is less strict about the layout rule (controlled by -XNonincreasingIndentation), but not when we explicitly set the language to H2010. It turns out we relied on this behavior in the Windows build. Thanks to Reid Barton for pointing this out. Signed-off-by: Austin Seipp <austin@well-typed.com>
1:15 AM Ticket #8395 (Various testsuite fixes for cross-compilation/i386/etc.) created by rwbarton
First patch is to libraries/base, other three are to testsuite.
12:27 AM Ticket #8394 (T7478 fails on i386 Linux with "unresolvable R_386_32 relocation" from ld) created by rwbarton
Much like #8294. Here is the error messages from the debug output: […]

Oct 1, 2013:

7:44 PM Changeset in ghc [d6ccea9]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Gabor Greif <ggreif@…>
Typos in comments
6:20 PM Changeset in ghc [b8a4085]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message for fundeps a bit more
6:20 PM Changeset in ghc [259e1ae7]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
White space and line endings
6:18 PM Changeset in ghc [ff07927e]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Wibble (change of flag name)
6:18 PM Changeset in ghc [63f2eee]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Documentation for -fprint-explicit-foralls and -fprint-explicit-kinds Plus a tidy-up of the flag documentation in the immediate area
5:33 PM Ticket #8356 (Strangeness with FunDeps) closed by simonpj
fixed: Error message improved. Here it is for tcfail170: […]
5:29 PM Ticket #8359 (ConstraintKinds require UndecidableInstances when it doesn't need it) closed by simonpj
fixed: Thanks for pointing this out.
5:27 PM Changeset in ghc [4bdbdd1b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Better fundep error message
5:27 PM Changeset in testsuite [14443e76]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better fundep error message
5:26 PM Changeset in ghc [bd0c9005]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8359
5:26 PM Changeset in testsuite [eb135c3]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8359
5:15 PM Changeset in ghc [60d17a35]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Remove trailing whitespace and tabs
5:01 PM Ticket #8393 (hsc2hs copies #define/#undef directives to generated .hs file when ...) created by rwbarton
See summary. This causes a cross-compilation of ghc to fail while building …
3:55 PM Changeset in ghc [0ad7cdb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by unknown <simonpj@…>
Error message wibbles, following a) suppressing kind foralls and arguments b) better fundep error messages
3:55 PM Changeset in testsuite [a954abf]wip/nested-cprwip/pattern-synonymswip/th-new by unknown <simonpj@…>
Error message wibbles, following a) suppressing kind foralls and arguments b) better fundep error messages
3:54 PM Changeset in ghc [bceeb01]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Improve error reporting of fundep coverage condition failure This modest improvement is motivated by Trac #8356
3:54 PM Changeset in ghc [66c5ddba]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Improve pretty-printing of types * The main change is to suppress printing (in types) of kind for-alls kind applications The new flag -fprint-explicit-kinds prints them as before (by analogy with the existing -fprint-explicit-foralls) * I also took advantage of the fact that SDoc now has access to DynFlags, to tidy up the way in which explicit for-alls are printed. Instead of passing a boolean flag around, we now simply consult the DynFlags. Much neater. I still need to add documentation for the flag
3:54 PM Changeset in ghc [badbbe0d]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Comments only
3:54 PM Changeset in ghc [4407614]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Look inside tuple predicates when checking instance declaration contexts This fixes Trac #8359
3:54 PM Changeset in ghc [e276ed78]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Comments only
3:54 PM Changeset in ghc [96f33e63]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Move defaultClassMinimalDef from BuildTyCl to TcClassDcl Simple refactoring. Also in Vectorise.Types/TyConDecl, simply propagate the classMinimalDef from the class we are vectorising. Simpler and more direct.
3:54 PM Changeset in ghc [36035d8]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by unknown <simonpj@…>
Better docs for MINIMAL
2:54 PM Ticket #8392 (Suggest AllowAmbiguousTypes) created by rwbarton
The error message I get with GHC HEAD on the example program in #8390: …
1:15 PM Ticket #8390 (regression in handling of type variables in constraints on instances which ...) closed by aavogt
invalid: I found -XAllowAmbiguousTypes, added by commit …
12:36 PM ApplicativeDo created by simonmar
11:10 AM Ticket #8329 (dmdTransformDictSelSig panic) closed by simonpj
fixed
11:09 AM Changeset in ghc [b275be6b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8329
11:09 AM Changeset in testsuite [81d8da9]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8329
11:07 AM Changeset in ghc [9bd36664]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Peyton Jones <simonpj@…>
Lift an unnecessary assumption in the demand analyser (fix Trac #8329) Here's the Note about the (simple) fix. Apparently #8329 prevented all 23 packages of the Snap framework from compiling. Note [Demand transformer for a ditionary selector] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ If we evaluate (op dict-expr) under demand 'd', then we can push the demand 'd' into the appropriate field of the dictionary. What *is* the appropriate field? We just look at the strictness signature of the class op, which will be something like: U(AAASAAAAA). Then replace the 'S' by the demand 'd'. For single-method classes, which are represented by newtypes the signature of 'op' won't look like U(...), so the splitProdDmd_maybe will fail. That's fine: if we are doing strictness analysis we are also doing inling, so we'll have inlined 'op' into a cast. So we can bale out in a conservative way, returning topDmdType. It is (just.. Trac #8329) possible to be running strictness analysis *without* having inlined class ops from single-method classes. Suppose you are using ghc --make; and the first module has a local -O0 flag. So you may load a class without interface pragmas, ie (currently) without an unfolding for the class ops. Now if a subsequent module in the --make sweep has a local -O flag you might do strictness analysis, but there is no inlining for the class op. This is wierd so I'm not worried about whether this optimises brilliantly; but it should not fall over.
10:59 AM Ticket #8247 (Dependency tracking (--make) broken for re-exported modules) closed by simonmar
fixed
10:53 AM Ticket #7783 (MultiWayIf should start a new layout) closed by simonmar
fixed
10:46 AM Changeset in ghc [b9ce2d5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
new test cases for MultiWayIf w/ layout
10:46 AM Changeset in ghc [f9bcb83c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a sleep for systems with low-resolution file timestamps
10:46 AM Changeset in testsuite [da9750e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
new test cases for MultiWayIf w/ layout
10:46 AM Changeset in testsuite [b831fb9]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a sleep for systems with low-resolution file timestamps
10:45 AM Changeset in ghc [2f69aae]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Globally replace "hackage.haskell.org" with "ghc.haskell.org"
10:45 AM Changeset in ghc [ab3abf15]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
grammar fix
10:45 AM Changeset in ghc [9bbbf26]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Remove a couple of unnecessary/outdated references to HBC
10:45 AM Changeset in ghc [2798a174]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Clarification in the docs for INLINE People often jump to the conclusion that functions aren't inlined unless you say INLINE, so clarify the documentation to emphasize the fact that you shouldn't normally need to use INLINE unless you need to override the defaults.
10:45 AM Changeset in ghc [c0f89a1]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Add back a comment that got lost
10:45 AM Changeset in ghc [aab65608]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Add layout to MultiWayIf (#7783) This makes it possible to write x = if | False -> if | False -> 1 | False -> 2 | True -> 3 Layout normally inserts semicolons between declarations at the same indentation level, so I added optional semicolons to the syntax for guards in MultiWayIf syntax. This is a bit of a hack, but the alternative (a special kind of layout that doesn't insert semicolons) seemed worse, or at least equally bad.
10:45 AM Changeset in ghc [3c9aa40]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
comment update
10:10 AM Changeset in ghc [11b5ce55]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Remove use of R9, and fix associated bugs We were passing the function address to stg_gc_prim_p in R9, which was wrong because the call was a high-level call and didn't declare R9 as a parameter. Passing R9 as an argument is the right way, but unfortunately that exposed another bug: we were using the same macro in some low-level Cmm, where it is illegal to call functions with arguments (see Note [syntax of cmm files]). So we now have low-level variants of STK_CHK() and STK_CHK_P() for use in low-level Cmm code.
10:10 AM Changeset in ghc [cb7785f]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
use a nat, not StgWord8, for gc_type
10:10 AM Changeset in ghc [0b0fec5]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
use StgWord not StgWord8 for wakeup volatile StgWord8 is not guaranteed to be atomic.
10:10 AM Changeset in ghc [56084d7]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Simon Marlow <marlowsd@…>
Expand the commentary in Note [syntax of cmm files]
9:44 AM Changeset in ghc [4b8a928d]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Typos in users' guide
9:40 AM Changeset in ghc [82cd258f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Herbert Valerio Riedel <hvr@…>
Add tests for new internal GMP primitives See [ce8ec963/integer-gmp] and [97c101b7/integer-gmp] for more details
9:40 AM Changeset in testsuite [31a12fc]wip/nested-cprwip/pattern-synonymswip/th-new by Herbert Valerio Riedel <hvr@…>
Add tests for new internal GMP primitives See [ce8ec963/integer-gmp] and [97c101b7/integer-gmp] for more details
8:33 AM Changeset in ghc [ba3ae9c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Fix T8129 (#8129)
8:33 AM Changeset in testsuite [d6b6159]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Fix T8129 (#8129)
3:40 AM Building/CrossCompiling/iOS edited by lukexi
(diff)
2:24 AM Ticket #8391 (FunDeps coverage condition check failure with PolyKinds) created by sbarclay
The following code: […] results in: […] This appears to be a …
12:14 AM Ticket #8390 (regression in handling of type variables in constraints on instances which ...) created by aavogt
ghc-7.7.20130720 (from here …

Sep 30, 2013:

10:43 PM Ticket #8389 (Building GHC 7.7 fails at haddock step) closed by leroux
duplicate: Duplicate of #8276.
10:35 PM Ticket #8389 (Building GHC 7.7 fails at haddock step) created by dsamperi
Building GHC (following instructions at GitHub?) leads to a panic while …
7:18 PM Changeset in ghc [6c235b51]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Patrick Palka <patrick@…>
Compare against pRELUDE_NAME instead of "Prelude"
7:06 PM Ticket #8388 (forall on non-* types) created by monoidal
This code […] gives […] which does not seem correct. There are …
2:01 PM Ticket #8387 (View patterns + pattern bindings: finnicky about scoping) created by tinctorius
Assume {-# LANGUAGE ViewPatterns #-}. This works: […] This also …
1:12 PM Changeset in base [e2a31b6]ghc-7.8 by Krzysztof Gogolewski <krz.gogolewski@…>
System.IO.Unsafe: cleanup: make unsafeFixIO pseudocode more valid Signed-off-by: Sergei Trofimovich <slyfox at gentoo.org>
1:12 PM Changeset in ghc [a29423d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Krzysztof Gogolewski <krz.gogolewski@…>
System.IO.Unsafe: cleanup: make unsafeFixIO pseudocode more valid Signed-off-by: Sergei Trofimovich <slyfox at gentoo.org>
12:49 PM Ticket #8257 (System.Mem: Expose performMinorGC) closed by thoughtpolice
fixed: Fixed. I had to recreate the patch since it fell out of sync with master …
12:47 PM Changeset in base [0da1c2ad]ghc-7.8 by Austin Seipp <austin@…>
Fix name of minor GC function. I accidentally forgot to commit this. Signed-off-by: Austin Seipp <austin@well-typed.com>
12:47 PM Changeset in ghc [b3caee6]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <austin@…>
Fix name of minor GC function. I accidentally forgot to commit this. Signed-off-by: Austin Seipp <austin@well-typed.com>
11:17 AM Ticket #8386 (AMP warning on "hiding (join)") closed by monoidal
wontfix: Since this behavior was planned beforehand, I'm closing as "by design".
11:03 AM Ticket #8385 (Various testsuite fixes) closed by monoidal
fixed: Everything pushed, thanks. Unfortunately, the AMP warning still has to be …
10:34 AM Ticket #8386 (AMP warning on "hiding (join)") created by monoidal
This file gives an AMP warning, but it shouldn't. It's a slightly modified …
10:32 AM Changeset in ghc [a86935b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update role annotation syntax in TcCoercible
10:32 AM Changeset in testsuite [a40386c]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Update role annotation syntax in TcCoercible
10:31 AM Changeset in ghc [ab86ebd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update prog001 output (see #7633)
10:31 AM Changeset in testsuite [6fa8a59]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Update prog001 output (see #7633)
10:31 AM Changeset in ghc [7ff4696]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update spec001 for new Typeable, and disable AMP warning I'd like to just "import Prelude hiding (..., join)", but the patch to make that turn off the warning hasn't been merged yet.
10:31 AM Changeset in testsuite [2cca7e2]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Update spec001 for new Typeable, and disable AMP warning I'd like to just "import Prelude hiding (..., join)", but the patch to make that turn off the warning hasn't been merged yet.
9:49 AM Changeset in ghc [5d12054]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Mark T7881 as expected failure for WAY=hpc (#8384)
9:49 AM Changeset in testsuite [021e9a9]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Mark T7881 as expected failure for WAY=hpc (#8384)
9:49 AM Changeset in ghc [5fa0c794]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Update compareAndSwap for new comparison primops
9:49 AM Changeset in testsuite [713706e]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Update compareAndSwap for new comparison primops
9:48 AM Changeset in ghc [18f2895d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Deal with failures for T367, T367_letnoescape under ghci These tests had a very short timeout (0.3 s). With WAY=ghci, the time ghci takes to start up and compile the test modules is counted in this timeout, and that causes the tests to fail. T367 really needs the very short timeout, so this commit disables the ghci way for T367. T367_letnoescape can handle any timeout, so I bumped up the timeout to 6 s to give ghci time to start up.
9:48 AM Changeset in testsuite [bb4e4d5]wip/nested-cprwip/pattern-synonymswip/th-new by Krzysztof Gogolewski <krz.gogolewski@…>
Deal with failures for T367, T367_letnoescape under ghci These tests had a very short timeout (0.3 s). With WAY=ghci, the time ghci takes to start up and compile the test modules is counted in this timeout, and that causes the tests to fail. T367 really needs the very short timeout, so this commit disables the ghci way for T367. T367_letnoescape can handle any timeout, so I bumped up the timeout to 6 s to give ghci time to start up.
9:30 AM Ticket #5889 (-fno-prof-count-entries leads to linking errors) closed by akio
fixed: I cannot reproduce this error with GHC 7.6.2.
8:36 AM Status/GHC-7.8 edited by adamgundry
Overloaded record fields status (diff)
1:11 AM Ticket #8004 (Applicative/Monad proposal related warnings (AMP phase 1)) closed by thoughtpolice
fixed: Thanks for the patch, David. This should be fixed and roughly complete the …
1:09 AM Changeset in ghc [b9127f4]better-ho-cardinalitydecision-procedureghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/th-new by Austin Seipp <austin@…>
Fix AMP warnings for explicit Prelude imports (#8004) No AMP warnings will be issued anymore when the name is not imported from Prelude anymore. For example, a local definition of 'join' is now legal in modules containing 'import Prelude (map)' for example. This allows better future-proofing of libraries. See also http://ghc.haskell.org/trac/ghc/ticket/8004#comment:16 Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
Note: See TracTimeline for information about the timeline view.