Timeline


and

Sep 11, 2013:

11:47 PM Changeset in ghc [b20cf4e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
10:26 PM BrowserTips edited by leroux
Clarify how to add a new search engine in Chrome. (diff)
9:05 PM Changeset in ghc [1ef941a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Joachim Breitner <mail@…>
User guide typo: Missing ) in #language-pragma
8:50 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) closed by nomeata
duplicate: I didn’t find the other ticket with a quick (probably too quick) search, …
5:26 PM Ticket #8243 (process.cabal source-repository field is out of date) closed by monoidal
fixed: The URLs in the libraries were fixed (for libraries-process commit …
3:53 PM Ticket #8269 (Suggest LANGUAGE pragmas instead of -XFoo) created by nomeata
Minor, but still: Currently GHC says: […] Maybe it is just me, but …
2:47 PM Status/GHC-7.8 edited by jstolarek
(diff)
1:58 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) closed by monoidal
duplicate: Thanks for the report. It's already fixed (#7915).
1:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) closed by simonpj
invalid: I'm afraid the error is quite right: fst's type is ambiguous. Suppose …
1:38 PM Changeset in ghc [65e55c6]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update submodule `random` to point to latest HEAD
1:33 PM Changeset in ghc [bec3c04]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Drop proc-points that don't exist in the graph (#8205) On some architectures it might happen that stack layout pass will invalidate the list of calculated procpoints by dropping some of them. We fix this by checking whether a proc-point is in a graph at the beginning of proc-point analysis. This is a speculative fix for #8205.
1:28 PM Changeset in base [fb739a1]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `base.cabal` This is related to #8121
1:28 PM Changeset in ghc [a4cad046] by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `base.cabal` This is related to #8121
1:15 PM Changeset in directory [9397707c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc [8d591482] by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc [9a91e51] by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc [4abc8d46] by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc [a1233f2] by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in ghc-prim [2e74638]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in integer-gmp [7799086]ghc-7.8wip/T8647 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in process [390978c]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
1:15 PM Changeset in unix [0d91c0a]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `.cabal` file
12:42 PM Ticket #8268 (Local annotations ignored in ambiguity check) created by maxs
The following program type checks correctly in GHC 7.6.3 but fails in 7.7 …
12:28 PM Ticket #8267 (User's guide documents deprecated syntax for GADT records) created by Feuerbach
Section 7.4.7 of the user's guide distributed with GHC 7.6.3 documents the …
12:26 PM Ticket #8236 (Assertion failure of MarkWeak) closed by kazu-yamamoto
fixed: Happily, Mighty is still running. Great. Let's close this ticket.
11:17 AM Changeset in ghc [43111a0b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
GHCi: Fix multi-line input line/column-number refs This commit addresses #8051 by fixing - Incorrect column indices reported in error messages for single-line and multi-line input, - incorrect line numbers reported in error messages for expressions entered in multi-line input, and - inhibiting the confusing interaction between `:{` and `:set +m` causing the triggering of implicit multi-line continuation mode right after `:}` terminates the multi-line entry block.
11:17 AM Changeset in ghc [ed3c59a4]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Herbert Valerio Riedel <hvr@…>
Update Git repo URL in `bin-packages-db.cabal` This is related to #8121
10:28 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:58 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:01 AM Changeset in ghc [13f1caad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:01 AM Changeset in testsuite [8450b18]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Leftover change to relevant-binding warnings (one I missed)
9:00 AM Changeset in ghc [394ab58b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix output for T8262
9:00 AM Changeset in testsuite [4f4cf71]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix output for T8262
4:46 AM BrowserTips edited by leroux
(diff)
4:46 AM FirefoxTips edited by leroux
Point to BrowserTips page. (diff)
4:42 AM WikiStart edited by leroux
(diff)
4:41 AM BrowserTips created by leroux
4:32 AM FirefoxTips edited by leroux
Add Chrome instructions and use ghc.haskell.org instead of … (diff)
12:41 AM Ticket #8266 (Dynamic linking on Mac) created by kazu-yamamoto
Many dynamic libraries refer to the build tree. (1) Every ".dylib" …

Sep 10, 2013:

8:55 PM ActiveBranches edited by nfrisby
(diff)
8:31 PM Building/Preparation/Windows edited by simonpj
(diff)
7:46 PM Ticket #8265 (getTokenStream fails for source using cpp) created by alanz
Calling getTokenStream (or getRichTokenStream) on a module that has CPP …
7:10 PM Ticket #8264 (Canonical way to prevent manual instances) created by nomeata
For some classes (Typeable) the user must not provide hand-written …
6:33 PM Ticket #8263 (allow duplicate deriving / standalone deriving) created by aavogt
I would like to avoid conditional compilation. Currently I need to write: …
6:04 PM Changeset in ghc [850490af]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
factor 'tcRnModuleTcRnM' out of 'tcRnModule' and export it 'tcRnModuleTcRnM' builds the TcRnM monad computation that is the bulk of 'tcRnModule' This commit makes it simpler for courageous Core plugins to invoke the typechecker. In particular, they no longer need to copy-and-paste what is now the body of 'tcRnModuleTcRnM'. The key change is that the 'tcRnModuleTcRnM' computation can be run with (a hypothetical) 'initTcFromCoreM' instead of 'initTc'.
5:02 PM Ticket #8262 (Ill-kinded value is not rejected immediately) closed by simonpj
fixed: Great bug report thank you. Simon
5:02 PM Changeset in ghc [f3559379]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8262
5:02 PM Changeset in testsuite [d9da475]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8262
4:59 PM Ticket #8233 (Type environment when reporting holes) closed by simonpj
fixed: OK I've implemented an improvement as above. Try it now! Simon
4:58 PM Changeset in ghc [9ca4a73]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles Almost all are re-orderings of relevant-binding output Relevant bindings include + m :: Map (a, b) elt (bound at T3169.hs:12:17) + b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - b :: b (bound at T3169.hs:12:13) - m :: Map (a, b) elt (bound at T3169.hs:12:17)
4:58 PM Changeset in testsuite [2d45a3e]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles Almost all are re-orderings of relevant-binding output Relevant bindings include + m :: Map (a, b) elt (bound at T3169.hs:12:17) + b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - b :: b (bound at T3169.hs:12:13) - m :: Map (a, b) elt (bound at T3169.hs:12:17)
4:58 PM Changeset in ghc [ad8fb8f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8227
4:58 PM Changeset in testsuite [309e564]wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8227
4:55 PM Changeset in ghc [9039108b]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error reporting for "relevant bindings" again (Trac #8233) This patch makes a number of related improvements: * Displays relevant bindings in innermost-first order. The inner ones are closer to the error. * Does not display syntactically top-level bindings, unless you say -fno-max-relevant-bindings. This is what Trac #8233 was mainly about * Makes the TopLevelFlag in a TcIdBinder really mean "syntactically top level". It was a bit vague before. There was some associated simplification, because we no longer need to pas a TopLevelFlag to tcMonoBinds and friends.
10:47 AM Changeset in ghc [32ee9b3e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve -flate-dmd-anal documentation
10:47 AM Changeset in ghc [dc8b06e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
10:47 AM Changeset in ghc [e365d49]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve the insolubility check when quantifying See Note [Quantification with errors] Fixes Trac #8262
8:22 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
latest data representation (diff)
7:44 AM Changeset in ghc [a8a0764a]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jan Stolarek <jan.stolarek@…>
Remove dead code
7:38 AM Ticket #8262 (Ill-kinded value is not rejected immediately) created by monoidal
The expression Just (1#) is ill-kinded, since Just expects a parameter …
5:47 AM Ticket #3195 (runghc failing sometimes) closed by monoidal
invalid: I'm closing the ticket: it concerns ghc 6.10 and the links are broken. If …
4:39 AM Ticket #8261 (Windows Testsuite stuck at configuring timeout) created by leroux
When running the testsuite, it gets stuck at {{{Configuring …
3:11 AM Changeset in ghc [80a53aa]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
More release note fixes. This is what I get for being so hasty for release notes. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:07 AM Changeset in ghc [f342512d]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Typo fix. Spotted by Mikhail Glushenkov. Signed-off-by: Austin Seipp <austin@well-typed.com>
3:03 AM TeamGHC edited by thoughtpolice
Update with my Well-Typed email. (diff)
2:26 AM ActiveBranches edited by thoughtpolice
(diff)
2:26 AM ActiveBranches edited by thoughtpolice
(diff)
2:24 AM Status/GHC-7.8 edited by thoughtpolice
Newtype wrappers will make it as well (diff)
2:24 AM Status/GHC-7.8 edited by thoughtpolice
Update with current status. (diff)
2:20 AM Changeset in ghc [d290ee5]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Add release notes for parallel compilation driver. Signed-off-by: Austin Seipp <austin@well-typed.com>
2:05 AM Changeset in ghc [7740e25]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <austin@…>
Fix ./validate with GHC 7.6 as bootstrap compiler. 7.6 deprecated the Control.Concurrent.QSem module (to be removed later,) but according to Patrick it was actually un-deprecated. As a result, validate fails if your bootstrap compiler is 7.6, since it throws a DEPRECATED warning. Signed-off-by: Austin Seipp <austin@well-typed.com>

Sep 9, 2013:

11:15 PM Ticket #8260 (Parallel build behaves erratic under Windows) created by schyler
Under Windows, make -j4 will freeze randomly all through the build …
8:28 PM Changeset in ghc [9c18ad7]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge branch 'ghc-parmake-gsoc' (#910)
8:12 PM Status/GHC-7.8 edited by goldfire
(diff)
8:10 PM Changeset in ghc [c62a0b9]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Revision to release notes for the new Typeable.
8:09 PM Changeset in ghc [72ceffe]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Clarification in formalism concerning roles.
5:23 PM Changeset in ghc [d3cde17]type-nats-simple by Iavor S. Diatchki <diatchki@…>
Add additional reachable modules to `compiler_stage2_dll0_MODULES`.
4:36 PM TeamGHC edited by nomeata
Hi, I’m here. (diff)
3:44 PM Changeset in ghc [9f8e9d29]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix optimization of Parser.y.pp In 9e133b, the build was modified to pass -fcmm-sink to Parser, but unfortunately Parser specifies -O0 in its OPTIONS_GHC directive, meaning the sinking pass was actually turned off. HC_OPTS is the last thing passed to the compiler for that source file however, so the correct fix is to also move -O0 out into the build system as well. This was uncovered thanks to a build report from Kazu Yamamoto. Thanks to Jan Stolarek for eyeballing this bug and finding it. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:23 PM Records/OverloadedRecordFields/Plan edited by adamgundry
hull (diff)
12:22 PM Newcomers edited by goldfire
(diff)
10:31 AM Changeset in ghc [9fb15842]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Remove -fwarn-typeable-instances
9:27 AM Ticket #8259 (HEAD won't build on Windows) created by schyler
Related output: […] Fresh HEAD pulled, booted and sync'd <5 minutes …
8:49 AM Ticket #8258 (GHC accepts `data Foo where` in H2010 mode) created by hvr
According to the Haskell2010 report, The grammar productions relevant for …
8:42 AM Ticket #8257 (System.Mem: Expose performMinorGC) created by nh2
We already have […] which triggers a major garbage collection. In …
8:05 AM GitSubmoduleProblem edited by hvr
more notes about git submodules (diff)
7:15 AM ActiveBranches edited by heisenbug
type-nats-simple is for 7.8 (diff)
7:13 AM ActiveBranches edited by heisenbug
add link (diff)
6:53 AM ActiveBranches edited by heisenbug
mention type-nats-simple and data-kind-syntax (diff)
6:47 AM WorkingConventions/Releases edited by heisenbug
add link to active branches (diff)
6:40 AM WorkingConventions/Releases edited by heisenbug
make this more current (diff)
5:52 AM Changeset in ghc [85cb4d00]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats-simple
5:45 AM Changeset in testsuite [d2b7f82]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests
5:41 AM Changeset in ghc [2a025e04]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Fix coercion optimization for axiom rules.
3:53 AM Changeset in testsuite [5f2dc1b]data-kind-syntax by Trevor Elliott <trevor@…>
Squashed commit of the following: commit 05dbbe371fc6f55350146d9da3be964502f2f2f6 Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 15:44:36 2013 -0700 Add a `data type` test for the manual commit 47196bea5019896f52c721fa1d8883954eb8ef38 Merge: 985c976 80b8fbb Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 14:25:05 2013 -0700 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 985c976801c42f10d8d3745bfab213399ce11ebb Merge: 214b93e f88ca20 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Aug 28 01:09:26 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 214b93ed9db50fdfae5e28252b39b57c9e1bad86 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:22:57 2013 -0400 Update output for renamed should_fail cases commit fece262b7ec0326f1f59e6789fa0daec63ec2da7 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:16:50 2013 -0400 Fix naming conflicts for data kind tests commit d4d4614a696633c6fe2c58b1832331abeb21bc32 Merge: de7a85e 27d4d6e Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 03:13:35 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit de7a85e7a4efea7d3cbf68b19b2622ecae71774e Merge: 4765d76 1ad2fda Author: Trevor Elliott <trevor@galois.com> Date: Wed Jun 5 11:02:55 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 4765d7607d883885d7b707f91ec3b30efc06bf46 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:21:26 2013 -0700 Add the data kind example from the Wiki from http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData commit 90eb2e3ab18495948fb8de749fc993038fb63ab0 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:11:26 2013 -0700 Update the expected failure DataKind6 Name resolution is checked for data kind declarations now commit 54621191bfebe6cc60e4a8553bee40d622405e24 Author: Trevor Elliott <trevor@galois.com> Date: Sat May 4 16:01:12 2013 -0700 Add tests for the data kind syntax
3:10 AM Ticket #8256 (adding locality levels to prefetch# and friends) created by carter
currently in HEAD / 7.7, the prefetch primop only does the equivalent of …
2:10 AM Changeset in ghc [783ca39]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge remote-tracking branch 'origin/master' into ghc-parmake-gsoc
1:25 AM Changeset in ghc [41744581]data-kind-syntax by Trevor Elliott <trevor@…>
Add IfacePromotionInfo * Remove the orphan instance for PromotionInfo from types/TyCon.lhs
12:46 AM Changeset in ghc [13d4096e]data-kind-syntax by Trevor Elliott <trevor@…>
Fix how we're using roles with `data kind` declarations
12:39 AM Ticket #8255 (GC Less Operation) closed by thoughtpolice
invalid: ARC does not make sense for a language like Haskell. Objective-C is …

Sep 8, 2013:

11:46 PM Changeset in ghc [86bf416]data-kind-syntax by Trevor Elliott <trevor@…>
Squashed commit of the following: commit 6549c3e569d0e0c3714814860201924432da2435 Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 16:43:42 2013 -0700 Document `data kind` syntax commit 81c6d7b884e819cf0b0569cef23b67bb5aff8944 Merge: 6c3f34c c798a8c Author: Trevor Elliott <trevor@galois.com> Date: Sun Sep 8 11:40:47 2013 -0700 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 commit 6c3f34c80bd8b17920a956e194ec29d1affbd776 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Aug 28 02:21:07 2013 -0400 Merge with the roles changes There a bunch of spots where the roles haven't been properly integrated with, so this patch should get some review. commit 6bb530f50f655e74fb4e337311699eee46b519b7 Merge: 7d27880 4b5238a Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Tue Aug 27 02:35:55 2013 -0400 Merge remote-tracking branch 'head/master' into data-kind-syntax-v2 Conflicts: compiler/basicTypes/DataCon.lhs compiler/iface/IfaceSyn.lhs compiler/main/PprTyThing.hs compiler/parser/Lexer.x compiler/parser/Parser.y.pp compiler/typecheck/TcInstDcls.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/typecheck/TcTyDecls.lhs compiler/types/TyCon.lhs commit 7d2788021dab549ffd888deb9f28c8e7eab0d4ba Author: Trevor Elliott <trevor@galois.com> Date: Mon Jul 29 09:05:38 2013 -0700 Migrate through some lost instances commit 13e1f41ec9252fd9d547d8e4b9fb04ffaf43c105 Merge: e051060 9e185cc Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sun Jul 28 14:28:05 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Moved Binary instances for data-kind related types to IfaceSyn commit e051060bbef4d359f2b1caa1c6135b23df17ffe7 Merge: 08d7c2f 2f99cdb Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Wed Jul 17 01:58:16 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 08d7c2fca10a8c89b6fd638536a28972753ae360 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Mon Jul 1 21:56:48 2013 -0400 Fix some bugs from the merge with master * Figure out what the right choice for the kind checking strategy of kind decls should be commit 12f055d23a1b5c0a74d2db0784b779b605f3888f Merge: f0adbdc e56b9d5 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Mon Jul 1 21:12:47 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Conflicts: compiler/typecheck/TcTyClsDecls.lhs commit f0adbdc29fefc54675f0960e3178f3b079058eea Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sun Jun 23 15:53:06 2013 -0400 Swap the names for PromotionFlavor and PromotionInfo commit e177270dc002f45286a9b644935ea339d8a6c8d3 Merge: 16df4be 3660ef9 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sat Jun 22 04:00:15 2013 -0400 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 16df4beac24065d3075a65b26add543452d1f2b2 Merge: b021b30 569b265 Author: Trevor Elliott <awesomelyawesome@gmail.com> Date: Sat Jun 22 02:41:14 2013 -0400 merge with master commit b021b30f66fdb66965f6c57fb0969317c9aeb9e3 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 19:39:20 2013 -0700 Start reworking comments commit b765370181571c1922b508f8dd17648a090ac248 Merge: d1ac794 e4fc6fd Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:27:43 2013 -0700 Merge branch 'master' into data-kind-syntax-v2 commit d1ac794b5bd06ae04e014cabe4560628b70fcdeb Merge: 9ad0a3c 73991d6 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:16:15 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 commit 9ad0a3c57a5b77f5040f1201b2c53a84680c1af2 Author: Trevor Elliott <trevor@galois.com> Date: Thu Jun 20 18:13:58 2013 -0700 Don't add the promotion tick to data kind constructors commit 8c37784e31702ecf7d91f2d7cf7dfab675a56927 Merge: 4dff379 db9b631 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 17 10:55:51 2013 -0700 Merge remote-tracking branch 'origin/master' into data-kind-syntax-v2 Conflicts: compiler/main/PprTyThing.hs compiler/rename/RnTypes.lhs compiler/types/TyCon.lhs commit 4dff3791ac9d1175d26f8c3b44923aefbe6c3f40 Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:45:00 2013 -0700 When parsing interfaces, use forkM while checking type constructors commit 7903009475b3e89aecc0a8e5d328ea84ea53a39d Author: Trevor Elliott <trevor@galois.com> Date: Mon Jun 3 20:06:40 2013 -0700 When parsing data kind declarations, don't change the constructor namespace commit 78ff545601cedba106eda05a38ce8f24f8480961 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 18:45:52 2013 -0700 Switch from Maybe TyCon to a richer type for promotion The new type distinguishes the two cases where promotion isn't possible: 1) Promotion isn't possible, as it's disabled by a 'data type' declaration 2) Promotion isn't possible because we don't know how to promote it commit 0573fd3e8f9822171ddeb0df937e10075b653678 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 17:36:21 2013 -0700 Remove an old TODO commit e218d5d6848109e9dea129250199115a9db6b1d9 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 27 17:36:15 2013 -0700 Properly print data kind declarations in ghci commit 22b011d43f84cb0478eded613344e1dd165664e5 Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 18:38:22 2013 -0700 Switch to using the PromotedDataCon for the RHS of a data kind Something is still wrong here: doing :browse will get a panic for some reason. commit 12db8c704765d2775b0299c2e718d015577a6f18 Author: Trevor Elliott <trevor@galois.com> Date: Sat May 4 19:06:43 2013 -0700 Thread data kind syntax through the interface Things are not quite right at the moment. The issue is that we can't distinguish abstract types from types that are constructors in a data kind. As such, we should introduce a new constructor to TyCon to help disambiguate these two cases. Also it might be nice to add a new TyCon for kinds, which would avoid the need for a new RHS in the AlgTyCon case. commit 73f19612444e2a3b1534ab41f02449c9a5191ccb Author: Trevor Elliott <trevor@galois.com> Date: Tue Apr 30 20:30:21 2013 -0700 Handle kind declarations separately commit 8d3bf040748026829382c5d13421f910b3f9fcf9 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 20:40:49 2013 -0700 Partial type-kind checking of `data kind` declarations commit 2399eb788ed0fe571c22de4f810080a323ddaceb Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 18:01:28 2013 -0700 Support empty `data kind` declarations commit 61a28f2df42b34742219a97a22c029f840fef7f5 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 17:34:31 2013 -0700 Rename `data kind` declarations commit 5d3485a3e3ab7a78f1055b872f78203d5d005b76 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 16:53:26 2013 -0700 Fix a typo in a parser comment commit 7f631cf41a3ca84cd820b292711014b4e806a440 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 16:53:00 2013 -0700 Add paring for `data kind` declarations commit d29733901b2cd195989cdc972ac74c1ed4f19670 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:31:30 2013 -0700 Rename typeLiteralsBit to dataKindsBit in the lexer commit ca8ae194826fc47a2ba4f0188d62f5247b0fe631 Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:27:50 2013 -0700 Add a check for -XDataKinds when parsing a `data type` declaration commit 8588717e8ce224affa584bd1e27aa14e098f5a8f Author: Trevor Elliott <trevor@galois.com> Date: Fri Apr 26 14:18:41 2013 -0700 Implement the 'data type' syntax and checking Add a new form of data declaration where the 'type' modifier can be used to prevent data promotion. For example data type T = K will not yield a promoted kind T, and promoted type K, even though they are in principle promotable.
11:42 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
11:26 PM GhcKinds/KindsWithoutData edited by elliottt
(diff)
9:43 PM Changeset in base [3323f41]ghc-7.8 by Iavor S. Diatchki <iavor.diatchki@…>
Redo <= with a type synonym instead of a class, add instance for boolean singletons, remove (-)
9:43 PM Changeset in ghc [229513b] by Iavor S. Diatchki <iavor.diatchki@…>
Redo <= with a type synonym instead of a class, add instance for boolean singletons, remove (-)
9:37 PM Changeset in ghc [84bdbf4e]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add rules for <=?. Also makes wired-ins for promoted booleans.
9:19 PM Changeset in base [426c287]ghc-7.8 by Austin Seipp <aseipp@…>
Revert "length001 passes now" This reverts commit 1be0171fc8c911a7ce3d1e3926475e789d077724.
9:19 PM Changeset in ghc [6cc1aaed] by Austin Seipp <aseipp@…>
Revert "length001 passes now" This reverts commit 1be0171fc8c911a7ce3d1e3926475e789d077724.
9:19 PM Changeset in base [476d042]ghc-7.8 by Austin Seipp <aseipp@…>
Revert "GHC.Conc.Sync: Pass TSO to stackOverflow" This reverts commit 0cfba06e09cae209c6fc1f94edd815ccf5a7e9d7.
9:19 PM Changeset in ghc [17e2a5c] by Austin Seipp <aseipp@…>
Revert "GHC.Conc.Sync: Pass TSO to stackOverflow" This reverts commit 0cfba06e09cae209c6fc1f94edd815ccf5a7e9d7.
9:17 PM Changeset in ghc [2cec084e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Note infinite stack default in release notes." This reverts commit c798a8c6c66d826efdc0201fa56d45337eecc2af.
9:17 PM Changeset in ghc [88dba610]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Default to infinite stack size (#8189)" This reverts commit d85044f6b201eae0a9e453b89c0433608e0778f0.
7:09 PM Ticket #8235 (Race condition in IO manager) closed by AndreasVoellmy
fixed
6:34 PM Changeset in base [d252043]ghc-7.8 by Andreas Voellmy <andreas.voellmy@…>
EventManager: Gracefully handle an initial 'Finished' state (#8235) Signed-off-by: Andreas Voellmy <andreas.voellmy@gmail.com>
6:34 PM Changeset in ghc [3113270] by Andreas Voellmy <andreas.voellmy@…>
EventManager: Gracefully handle an initial 'Finished' state (#8235) Signed-off-by: Andreas Voellmy <andreas.voellmy@gmail.com>
2:54 PM Ticket #7925 (ghc 7.4.2 builds with errors on Red Had Enterprise Linux 6) closed by monoidal
wontfix: Thanks for the report. Unfortunately 7.4 is not maintained anymore; …
2:30 PM Changeset in ghc [0b1bea4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Fix most AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:30 PM Changeset in testsuite [80b8fbb]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Fix most AMP warnings. Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:29 PM Changeset in ghc [7df9d839] by Austin Seipp <aseipp@…>
Fix AMP warnings Signed-off-by: Austin Seipp <aseipp@pobox.com>
9:07 AM Changeset in ghc [c798a8c]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Note infinite stack default in release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:57 AM Ticket #8242 (Infinite loop with addCFinalizerToWeak) closed by thoughtpolice
fixed: Merged. Thanks!
8:55 AM Changeset in ghc [d85044f6]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Default to infinite stack size (#8189) When servicing a stack overflows, only throw an exception to the given thread if the user explicitly set a max stack size, using +RTS -K. Otherwise just service it normally and grow the stack. In case we actually run out of *heap* (stack chuncks are allocated on the heap), then we need to bail by calling the stackOverflow() hook and exit immediately. Authored-by: Ben Gamari <bgamari.foss@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:55 AM Changeset in ghc [4129631]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Avoid allocating while holding a lock (#8242) This reverts commit 6770663f764db76dbb7138ccb3aea0527d194151. If the program enters the garbage collector with the closure lock held, it will confuse the garbage collector and will result in an infinite loop in evacuate(). Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:52 AM Changeset in base [1be0171]ghc-7.8 by Austin Seipp <aseipp@…>
length001 passes now It no longer stack overflows, since the stack is infinite by default now. Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:52 AM Changeset in ghc [acac32c] by Austin Seipp <aseipp@…>
length001 passes now It no longer stack overflows, since the stack is infinite by default now. Signed-off-by: Austin Seipp <aseipp@pobox.com>
8:09 AM Ticket #8255 (GC Less Operation) created by sirinath
Hi, Is it possible to eliminated GC through Automatic Reference Counting …
7:52 AM Changeset in ghc [8859e1e3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Test for Trac #8242 Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:52 AM Changeset in testsuite [ee2aa63]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Test for Trac #8242 Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:46 AM ActiveBranches edited by nfrisby
(diff)
7:31 AM Status/GHC-7.8 edited by nfrisby
(diff)
6:53 AM Changeset in base [0cfba06]ghc-7.8 by Austin Seipp <aseipp@…>
GHC.Conc.Sync: Pass TSO to stackOverflow Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:53 AM Changeset in ghc [67c0a98] by Austin Seipp <aseipp@…>
GHC.Conc.Sync: Pass TSO to stackOverflow Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:34 AM Changeset in ghc [c73d372b]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
resurrected -fdicts-strict, off by default also added -fdmd-tx-dict-sel, on by default
1:45 AM Ticket #8254 (confusing comment on allocate()) created by rwbarton
[…] Not sure what, if anything, allocate() is better than, but it's …
1:20 AM Ticket #8253 (example "Core syntax" is ancient) created by rwbarton
[http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/options-debugging.h
12:10 AM Changeset in ghc [e0cd08c]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add some simple interactions with inerts for (+), (*), and (^).
12:10 AM Changeset in ghc [9c458ab]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Hook-in built-in interactions with inerts. After the solver extracts its relevant constraints (i.e., function applications where the head match), we check for any additional functional equation constraints for the same built-in function. Then, we call out to the custom interaction, to collect some extra derived constraints.
12:07 AM Changeset in ghc [fb3f5d7d]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to get all inert fun-eqs for the given tycon.
12:06 AM Changeset in ghc [0d7649a6]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Add a function to lookup all things with the same top tycon in a TypeMap

Sep 7, 2013:

11:58 PM Ticket #8249 (Allocation counts should include PAPs) closed by ezyang
fixed: […]
9:42 PM Building/Preparation/Windows edited by simonpj
(diff)
9:41 PM Building/Preparation/Windows edited by simonpj
(diff)
9:16 PM Changeset in ghc [2757258]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Record PAP allocation to CCCS. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:43 PM Changeset in ghc [cf2b52bb]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Generalize CoAxiomRule to support non-nominal Roles. Add coreLint checks.
8:42 PM Changeset in ghc [c8606a72]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Just a comment to make it clear that AxiomRuleCo should be fully saturated.
8:21 PM Ticket #8252 (prefetch# isn't as general as it should be (currently the general version ...) created by carter
the fully general prefetch# needs to have certain arguments be compile …
8:04 PM Changeset in ghc [a4d21621]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Fix typo in declaration of exponentiation constructor.
7:37 PM Ticket #3996 (bug in GHC when compiling HOC (SVN revision 413)) closed by monoidal
invalid: I'm closing: the bug is old and apparently was not reproduced with 6.12. …
7:24 PM Changeset in ghc [bce80c5f]type-nats-simple by Iavor S. Diatchki <iavor.diatchki@…>
Redo axiom rules, so that they just keep a FastString rather than a Name. This is simpler, and sufficient, because CoAxiomRules are only ever built into the compier, and there is no way for the user to introduce them (at least, not yet!)
6:06 PM Ticket #7807 (Parse error with "where" and file-ending comment) closed by monoidal
fixed: "type instance where" was old notation for closed type families before …
5:44 PM Ticket #8196 (Core Lint error in Specialise with PolyKinds and derived instance) closed by simonpj
fixed: Yes, it should.
3:01 PM Ticket #8016 (case expression with mixed use of Num instances cause spurious overlap ...) closed by monoidal
duplicate: I'm closing as a duplicate of #322. Unfortunately GHC's pattern matching …
2:15 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) closed by monoidal
fixed: Looks good in HEAD […]
1:15 PM GitSubmoduleProblem edited by hvr
hijacking wiki entry for some notes (diff)
1:12 PM Ticket #8251 (Validate submodule references during pre-receive hook) created by hvr
Right now, you can push a commit introducing a not-yet existing Git …
9:01 AM Ticket #8250 (cgrun072 (optllvm) failing) created by leroux
* Platform: OS X 10.8.4 x86_64 * GHC Version 7.7.20130904 (built with …
7:04 AM Ticket #8249 (Allocation counts should include PAPs) created by ezyang
I was looking through the profiling code and I noticed we don't charge the …
5:43 AM Ticket #8248 (GHCi should not fail to honour ghci.conf or .ghci if group writable) created by afcowie
Any number of Linux distros support the idea of user groups, whereby when …
2:01 AM Ticket #8245 (ghc-pkg list --simple-output prints packages in non-alphabetical order) closed by thoughtpolice
fixed: Merged, thanks!
12:54 AM Changeset in ghc [021b1f8]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Fix ghc-pkg list --simple-output not being alphabetical (#8245). It was sorted by version number so far. I also added a sort to the normal output (without --simple-output) since the source it comes from does not guarantee sortedness. Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:50 AM Ticket #8232 (Add isFullTBQueue to stm package) closed by thoughtpolice
fixed: Merged, thanks! […]

Sep 6, 2013:

7:15 PM Changeset in ghc [4c959e2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Update T4437, per JavaScriptFFI changes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:15 PM Changeset in testsuite [6fdbd49]data-kind-syntaxwip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Update T4437, per JavaScriptFFI changes. Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:41 PM Ticket #8247 (Dependency tracking (--make) broken for re-exported modules) created by heisenbug
Say, I re-export a module, from which I hide some bindings: […] where …
6:18 PM Changeset in ghc [b372e8e]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Add basic support for GHCJS This patch encompasses most of the basic infrastructure for GHCJS. It includes: * A new extension, -XJavaScriptFFI * A new architecture, ArchJavaScript * Parser and lexer support for 'foreign import javascript', only available under -XJavaScriptFFI, using ArchJavaScript. * As a knock-on, there is also a new 'WayCustom' constructor in DynFlags, so clients of the GHC API can add custom 'tags' to their built files. This should be useful for other users as well. The remaining changes are really just the resulting fallout, making sure all the cases are handled appropriately for DynFlags and Platform. Authored-by: Luite Stegeman <stegeman@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
5:57 PM Ticket #8246 (Role annotations does not allow the use of parenthesis) created by DaniilFrumin
There is an inconsistency in roles/kinds annotations wrt parenthesis. For …
3:24 PM Ticket #8245 (ghc-pkg list --simple-output prints packages in non-alphabetical order) created by nh2
Instead, it prints the ones with the smallest version first. That does …
3:20 PM Status/GHC-7.8 edited by simonpj
(diff)
3:17 PM Ticket #8244 (Removing the Cabal dependency) created by nh2
GHC depends on cabal, which is so far has been problematic many times, for …
3:10 PM Changeset in ghc [a58ba185]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Have `ghc --info` report support for parallel --make
3:08 PM Changeset in ghc [67d1d4e]better-ho-cardinalitycoercibledecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsocwip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Patrick Palka <patrick@…>
Merge remote-tracking branch 'origin/master' into ghc-parmake-gsoc
2:52 PM Ticket #8243 (process.cabal source-repository field is out of date) created by rwbarton
From libraries/process/process.cabal: […] but `git clone …
2:48 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) closed by rwbarton
fixed: I'm going to mark this as fixed since runghc no longer dies silently …
12:33 PM Ticket #8242 (Infinite loop with addCFinalizerToWeak) created by akio
(moved from #8236 ) When I compile the attached program with {{{-threaded …
9:43 AM Ticket #8241 (GHCi showing its internals with malformed instance) closed by ezyang
worksforme: Works fine in 7.6: […]
9:37 AM Ticket #8241 (GHCi showing its internals with malformed instance) created by crntaylor
Using ghci 7.4.2 I observe the following behaviour when I enter a …
9:22 AM Ticket #8239 (Wrong link in docs) closed by ezyang
fixed: Applied; thanks.
9:22 AM Changeset in ghc [df614779]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Fix link to launchbury93natural
9:16 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:14 AM Ticket #8240 (Better error messages for type family constraints) created by simonpj
Consider this constraint […] At the moment we'll combine the two to …
9:13 AM Ticket #8239 (Wrong link in docs) created by nomeata
trivial mistake, see https://github.com/nomeata/ghc/compare/fixlink and …
8:29 AM Ticket #8238 (Implement unloading of shared libraries) created by simonmar
In #8039 we added support for unloading static objects from the runtime …
7:23 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
7:23 AM Commentary/Packages/MultiInstances edited by simonpj
(diff)
6:45 AM Ticket #2841 (Ghci + foreign export declarations result in undefined symbols) closed by ezyang
worksforme: Actually, looking at the original bug here, it seems unrelated to the …
6:41 AM Ticket #8237 (checkProddableBlock: invalid fixup in runtime linker (Windows)) closed by ezyang
fixed
6:41 AM Changeset in ghc [7e32b2a]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Windows: load eh_frame as rodata, fixes #8237 Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:02 AM Ticket #8237 (checkProddableBlock: invalid fixup in runtime linker (Windows)) created by ezyang
I attempted to load a very simple C file into GHC using the linker and got …
2:32 AM Ticket #8236 (Assertion failure of MarkWeak) created by kazu-yamamoto
Running a web server compiled with GHC head specifying "-debug" got the …
1:38 AM Changeset in ghc [352a2bf8]better-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoctype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Temporary Haskeline fix for Windows build. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
Note: See TracTimeline for information about the timeline view.