[commit: ghc] tc-untouchables: Moved solving of type families to zonkWC and a few simplifications (633dd55)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/633dd5589f8625a8771ac75c5341ea225301d882 >--- commit 633dd5589f8625a8771ac75c5341ea225301d882 Author: Dimitr

[commit: ghc] tc-untouchables: Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables (ee578b6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/ee578b6f415e33e7f20a43695c79e883accf3a5e >--- commit ee578b6f415e33e7f20a43695c79e883accf3a5e Merge: 0d55e1e

[commit: ghc] tc-untouchables: Avoid emitting Given constraints for spontaneous unifications. Instead (0d55e1e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/0d55e1e8516f19307dc7873efabd4f679d3ce375 >--- commit 0d55e1e8516f19307dc7873efabd4f679d3ce375 Author: Dimitr

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (3887af1)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/3887af198872718061d3136ef4cf2546fc3c4fba >--- commit 3887af198872718061d3136ef4cf2546fc3c4fba Merge: f97b160...

[commit: testsuite] master: Improving error messages for synonyms. (f97b160)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/f97b160440f9e6f87741bf6c93a0c6ca41862062 >--- commit f97b160440f9e6f87741bf6c93a0c6ca41862062 Author: Dimitrios

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (6ecd9b9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/6ecd9b9bdb8dfdf519dd01772921c5ca865fb8e6 >--- commit 6ecd9b9bdb8dfdf519dd01772921c5ca865fb8e6 Merge: a04583a... 6ae69

[commit: ghc] master: Preserve synonyms if possible (leads to better error messages) through flattening. (0b42a7d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/0b42a7dc92e9c50483ea652d7421b43217902296 >--- commit 0b42a7dc92e9c50483ea652d7421b43217902296 Author: Dimitrios Vytin

[commit: ghc] master: Cleaning up the extractUnsolved story. (a04583a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/a04583ac689e5439646033166f93f33423657a89 >--- commit a04583ac689e5439646033166f93f33423657a89 Author: Dimitrios Vytin

[commit: ghc] master: Small refactoring in the generation of superclasses. (418d091)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/418d091299391da993bcab9ef871bdb00d8db05d >--- commit 418d091299391da993bcab9ef871bdb00d8db05d Author: Dimitrios Vytin

[commit: ghc] master: Keeping Derived constraints in the unsolved (7987126)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/798712610ac22d78d8ae3b71d9f66ecd7eb751a8 >--- commit 798712610ac22d78d8ae3b71d9f66ecd7eb751a8 Author: Dimitrios Vytin

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (bc5f47c)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/bc5f47c752c9bbf2e7e70203a8318d90d56864ee >--- commit bc5f47c752c9bbf2e7e70203a8318d90d56864ee Merge: 5ea10f7...

[commit: testsuite] master: Forgotten entry. (5ea10f7)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/5ea10f7f4dfd6afa46686438c16d4c5fe41067a2 >--- commit 5ea10f7f4dfd6afa46686438c16d4c5fe41067a2 Author: Dimitrios

[commit: testsuite] master: Testing new top-level defaulting plan. (e03ad36)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/e03ad361afca677588e993a6c01770be5da68a49 >--- commit e03ad361afca677588e993a6c01770be5da68a49 Author: Dimitrios

[commit: testsuite] master: Testing of generating Derived equalities from Given dictionaries (066498c)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/066498c3801358cacfbd105d61495e8737445e14 >--- commit 066498c3801358cacfbd105d61495e8737445e14 Author: Dimitrios

[commit: testsuite] master: Testcases for floating equalities ouf of implications (90b1a38)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/90b1a383b17c14c7f50895bdc74aa333d4cd94f7 >--- commit 90b1a383b17c14c7f50895bdc74aa333d4cd94f7 Author: Dimitrios

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (19cc357)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/19cc357359900a5339dfd29de6b2efc0fba4473b >--- commit 19cc357359900a5339dfd29de6b2efc0fba4473b Merge: 3891a05... aab1f

[commit: ghc] master: Significant refactoring of TcSimplify, in particular simplifyInfer and (3891a05)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/3891a056bb4c6d47e4d2269895c877729d2ca94a >--- commit 3891a056bb4c6d47e4d2269895c877729d2ca94a Author: Dimitrios.Vytin

[commit: ghc] master: Removing stale and commented out code. (5c65388)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/5c65388b7ad2e977cd46ac70e5d11c346a8ecda6 >--- commit 5c65388b7ad2e977cd46ac70e5d11c346a8ecda6 Author: Dimitrios.Vytin

[commit: ghc] master: Emitting Derived constraints for Given dictionary interactions (19e6a35)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/19e6a35be99fb9ef2de84af50eb068584718a93e >--- commit 19e6a35be99fb9ef2de84af50eb068584718a93e Author: Dimitrios.Vytin

[commit: testsuite] master: Adding testcase for Trac 5934 (3678824)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/3678824ca73b843cb110f8c3814f9f24ddab7cfe >--- commit 3678824ca73b843cb110f8c3814f9f24ddab7cfe Author: Dimitrios

[commit: testsuite] master: Adding test case for polytype decomposition in the constraint solver. (fa6bb22)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/fa6bb222739634e5a6a6abc6b4831c2a2b18a362 >--- commit fa6bb222739634e5a6a6abc6b4831c2a2b18a362 Author: Dimitrios

[commit: ghc] master: Setting empty touchable range in implications that are generated from polytype (81f19d6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/81f19d66c66d3d4d0c33481b4d00b2490a55f5d8 >--- commit 81f19d66c66d3d4d0c33481b4d00b2490a55f5d8 Author: Dimitrios.Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (1603e4f)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/1603e4f4f13b932946f95525f8d3216f02d312ff >--- commit 1603e4f4f13b932946f95525f8d3216f02d312ff Merge: 81f19d6... da102

[commit: ghc] master: Updates to the constraint solver to be able to handle implication (2d8374a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/2d8374a8fbc34bbb44f9c73d0131f3071869f110 >--- commit 2d8374a8fbc34bbb44f9c73d0131f3071869f110 Author: Dimitrios.Vytin

[commit: testsuite] master: Following up from the last commit in the constraint solver. (ae9f64b)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/ae9f64bc1d753038dea3610c2461467ecd5eac91 >--- commit ae9f64bc1d753038dea3610c2461467ecd5eac91 Author: Dimitrios

[commit: ghc] master: Improved caching: I was flushing the solved when going under implications, (f15977c)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/f15977c24f2ec96ea324cc7e8122f17ffe8b931c >--- commit f15977c24f2ec96ea324cc7e8122f17ffe8b931c Author: Dimitrios.Vytin

[commit: ghc] master: Implemeting a lookup modulo non-idempotent substitution. (806182b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/806182bff2434807f0e38da0d682672ebd8706aa >--- commit 806182bff2434807f0e38da0d682672ebd8706aa Author: Dimitrios.Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (3f46b1e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/3f46b1e3cb1dcf4e3ebb090284e0ca1d94f1eb17 >--- commit 3f46b1e3cb1dcf4e3ebb090284e0ca1d94f1eb17 Merge: f15977c... b40f0

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (ae06d90)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/ae06d90ea5eeea05c511660164aa9da8fb73f711 >--- commit ae06d90ea5eeea05c511660164aa9da8fb73f711 Merge: 3585091...

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (3585091)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/3585091c5bd7757d5e62b648f425d3ca93aaee68 >--- commit 3585091c5bd7757d5e62b648f425d3ca93aaee68 Merge: 8e59b71...

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (8e59b71)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/8e59b71256058b71551227cb2a4cfac405bc38ff >--- commit 8e59b71256058b71551227cb2a4cfac405bc38ff Merge: 526eb81...

[commit: testsuite] master: Error message modifications following ghc-new-solver modifications (526eb81)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/526eb812d8934d50b9fe36fa27d683ddafc64978 >--- commit 526eb812d8934d50b9fe36fa27d683ddafc64978 Author: Dimitrios

[commit: ghc] master's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (1a4ae30)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'master' now includes: cc2d2e1... Midstream check-in on(i) Replaced a lot of clunky and fragile EvVar handling code witha more uniform ``flavor transformer'' API in the canonicalizerand the interaction solver. N

[commit: ghc] ghc-new-flavor, master: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (1a4ae30)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branches: ghc-new-flavor,master http://hackage.haskell.org/trac/ghc/changeset/1a4ae306f9e87aea921522276e0ef26ec01f97b4 >--- commit 1a4ae306f9e87aea921522276e0ef26ec01f97b4 Merge: 0

[commit: ghc] ghc-new-flavor's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (1a4ae30)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-new-flavor' now includes: f9c2e85... Add eventlog/trace stuff for capabilities: create/delete/enable/disable 8536f09... Calculate the total memory allocated on a per-capability basis cd930da... Change the presentation

[commit: ghc] ghc-new-flavor's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (022c1d2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-new-flavor' now includes: 50e5a06... Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD. dc2f65f... Support qualified identifiers in quasi-quotes (#). e7e5e27... Prevent nested TH exceptions f

[commit: ghc] ghc-new-flavor: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (022c1d2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/022c1d279e7315428d3099e4fc9199918a782fe3 >--- commit 022c1d279e7315428d3099e4fc9199918a782fe3 Merge: 0dd6cc5.

[commit: ghc] ghc-new-flavor: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (0dd6cc5)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/0dd6cc5e7650fc57bb694eefe507389089f72888 >--- commit 0dd6cc5e7650fc57bb694eefe507389089f72888 Merge: d3020a7.

[commit: ghc] ghc-new-flavor: Adding a forgotten pre-canonicalication cache-lookup stage. (d3020a7)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/d3020a70517f503a4da6abb4ca19be962e7d8b6c >--- commit d3020a70517f503a4da6abb4ca19be962e7d8b6c Author: Dimitri

[commit: ghc] ghc-new-flavor: More informative tracing for ddump-cs-trace (2183c87)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/2183c8797ea7736ad90ff2bd4b922a1e52331f83 >--- commit 2183c8797ea7736ad90ff2bd4b922a1e52331f83 Author: Dimitri

[commit: ghc] ghc-new-flavor: Wibble: using original type for the dictionary if it has not changed (to preserve synonyms) (e3e740d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/e3e740d972daef08e50235b2fb511b525b8dfe75 >--- commit e3e740d972daef08e50235b2fb511b525b8dfe75 Author: Dimitri

[commit: ghc] ghc-new-flavor: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (b3f6a8b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/b3f6a8b61f666034eb9e971b0cb8dfe93a5d7940 >--- commit b3f6a8b61f666034eb9e971b0cb8dfe93a5d7940 Merge: 6785820.

[commit: ghc] ghc-new-flavor's head updated: When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, (8737d47)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-new-flavor' now includes: b22501b... Add linker support for ELF on ARM f1f93b2... Comments only f0cb41b... White space only dd847cb... Don't crash if there's a malformed instance! e21e13f... A related group o

[commit: ghc] ghc-new-flavor: When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, (8737d47)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/8737d47e6c43eb8261213fe03168a69d963ee1da >--- commit 8737d47e6c43eb8261213fe03168a69d963ee1da Author: Dimitri

[commit: ghc] ghc-new-flavor: Bugfix in emitKindConstraint (must not cache orig constraint as Solved!); added (d29e277)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/d29e2776b2e2e061ddee822d82500eaeed234cb3 >--- commit d29e2776b2e2e061ddee822d82500eaeed234cb3 Author: Dimitri

[commit: ghc] ghc-new-flavor: Commentary, following the relaxation of idempotence of the inert substitution. (f9da524)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/f9da5244ecbdbc87bf52a5aace0d245702c783f7 >--- commit f9da5244ecbdbc87bf52a5aace0d245702c783f7 Author: Dimitri

[commit: ghc] ghc-new-flavor: Deleting more old commented code. (8580b97)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/8580b9764f9f2266cb3ccd83ca5689fa176b6d02 >--- commit 8580b9764f9f2266cb3ccd83ca5689fa176b6d02 Author: Dimitri

[commit: ghc] ghc-new-flavor: Dropping the idempotence restriction on the inert substitution, (5802ebd)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/5802ebddd133f4744f5a05539a73166654a6fc76 >--- commit 5802ebddd133f4744f5a05539a73166654a6fc76 Author: Dimitri

[commit: ghc] ghc-new-flavor: Mostly commentary to follow up after discussions with SPJ on several open tickets. (6785820)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/6785820ea99626822a58561e6e157a4fb9aeb039 >--- commit 6785820ea99626822a58561e6e157a4fb9aeb039 Author: Dimitri

[commit: ghc] ghc-new-flavor: A little tracing. (d86e6c0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/d86e6c011622bbf039b2eeba3c62c806e622f44c >--- commit d86e6c011622bbf039b2eeba3c62c806e622f44c Author: Dimitri

[commit: ghc] ghc-new-flavor: Deleting A LOT of commented out code! (f84ea58)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/f84ea58eabaa7ab758d406f82b24e18fb8864d0f >--- commit f84ea58eabaa7ab758d406f82b24e18fb8864d0f Author: Dimitri

[commit: ghc] ghc-new-flavor: Changing the orientation of a generated equality (3f42011)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/3f420118322c6436a8772536bafe15e54c2e0987 >--- commit 3f420118322c6436a8772536bafe15e54c2e0987 Author: Dimitri

[commit: ghc] ghc-new-flavor: More informative commentary as to why we allow family interactions with inerts when simplEqsOnly is on. (f30f90b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/f30f90b5f20fe4e3d954d0bad892e67f543f874b >--- commit f30f90b5f20fe4e3d954d0bad892e67f543f874b Author: Dimitri

[commit: ghc] ghc-new-flavor: Add handling of LitTy. Still a TODO to deal properly with the forall case in there. (bf334d2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/bf334d28e05b4d7cec3593fd2d924ba96fe687ec >--- commit bf334d28e05b4d7cec3593fd2d924ba96fe687ec Author: Dimitri

[commit: ghc] ghc-new-flavor: Started investigating how performance is affected and how intensively our caches are used. (e74fbf0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/e74fbf0c69da7d1ba36b998efe261857292442a5 >--- commit e74fbf0c69da7d1ba36b998efe261857292442a5 Author: Dimitri

[commit: ghc] ghc-new-flavor: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (81faaee)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/81faaeee4ede7140a732901b25a7f717d8c8e24e >--- commit 81faaeee4ede7140a732901b25a7f717d8c8e24e Merge: 1cc92e9.

[commit: ghc] ghc-new-flavor's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (81faaee)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-new-flavor' now includes: 516d313... Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDecl cb5a3f2... Make the LocalRdrEnv keep track of all the Names that are in scope 59d6d62... Merge branch 'm

[commit: ghc] ghc-new-flavor: defaultKind the kind of one of the types when you create a higher-dimensional equality proof, (1cc92e9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/1cc92e93701ec9d3dfa8b72510241260e71001a0 >--- commit 1cc92e93701ec9d3dfa8b72510241260e71001a0 Author: Dimitri

[commit: ghc] ghc-new-flavor: Small bugfix (for indexed_types/should_compile/T2291.hs). Because our (4e0f1a0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/4e0f1a02944c6df6df3dad55494384a7f411c984 >--- commit 4e0f1a02944c6df6df3dad55494384a7f411c984 Author: Dimitri

[commit: ghc] ghc-new-flavor: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor (b4b7647)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/b4b7647fedf0feab41d417c4e980bd08445ce559 >--- commit b4b7647fedf0feab41d417c4e980bd08445ce559 Merge: cc2d2e1.

[commit: ghc] ghc-new-flavor: Slightly more informal message when EvCast fails. (c6411c3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/c6411c394db405bf1624438a4535ed5ce9b86219 >--- commit c6411c394db405bf1624438a4535ed5ce9b86219 Author: Dimitri

[commit: ghc] ghc-new-flavor: Bugfixes: (i) wrong evidence generetation when using cached solved family equation (3be60fa)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/3be60fa9cfcb2f86b98ea538565b2ba904f7f7c5 >--- commit 3be60fa9cfcb2f86b98ea538565b2ba904f7f7c5 Author: Dimitri

[commit: ghc] ghc-new-flavor's head updated: Bugfixes: (i) wrong evidence generetation when using cached solved family equation (3be60fa)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-new-flavor' now includes: a38b510... Add .gitignore. 276888e... Remember that these files are executable. 2abe72b... Fix example comment. 3d9a2ab... Fix comment. 7f23052... Add a missing ASSERT. b40cea3.

[commit: ghc] ghc-new-flavor: Midstream check-in on (cc2d2e1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-flavor http://hackage.haskell.org/trac/ghc/changeset/cc2d2e1d44405630fb34311dc3f5e42eadc5c6b1 >--- commit cc2d2e1d44405630fb34311dc3f5e42eadc5c6b1 Author: Dimitri

[commit: ghc] branch 'ghc-new-flavor' created

Repository : ssh://darcs.haskell.org//srv/darcs/ghc New branch : ghc-new-flavor Referencing: cc2d2e1d44405630fb34311dc3f5e42eadc5c6b1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

[commit: testsuite] master: Error change following up kind constraint solving modificatios. (af5a802)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/af5a80259f40cc8370c46f353631ccd0fac2e6b5 >--- commit af5a80259f40cc8370c46f353631ccd0fac2e6b5 Author: Dimitrios

[commit: ghc] master: Now the constraint simplifier solves kind constraints as well. (53fb26e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/53fb26e154d604801e15b47308d98b9c7788c0f5 >--- commit 53fb26e154d604801e15b47308d98b9c7788c0f5 Author: Dimitrios Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org//ghc (e1a8d3f)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e1a8d3fd2542c1139431b09da7ae6c9a20e65140 >--- commit e1a8d3fd2542c1139431b09da7ae6c9a20e65140 Merge: 53fb26e... 625bb

[commit: ghc] master: Introduced new form of TcEvidence for KindCasts, this patch also fixes a (477946c)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/477946c705a7fb2a0d5ed67aace33ee52771bc93 >--- commit 477946c705a7fb2a0d5ed67aace33ee52771bc93 Author: Dimitrios Vytin

[commit: ghc] master: Very small tweaks to pave the way for solving kind constraints in the simplifier. (221f409)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/221f409db51f210d5395ec13ef4bf0c0883ad939 >--- commit 221f409db51f210d5395ec13ef4bf0c0883ad939 Author: Dimitrios Vytin

[commit: testsuite] master: Tests for T5684. They won't fail necessarily in 7.2.1 because (3131b9a)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/3131b9a9001726fa40f8142f98598d66725756ff >--- commit 3131b9a9001726fa40f8142f98598d66725756ff Author: Dimitrios

[commit: ghc] master: Exposing a useful assertion which was hidden inside a lazyness cloud. (bd13338)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/bd13338da1649600b6a63ae7cbf60a35575940dc >--- commit bd13338da1649600b6a63ae7cbf60a35575940dc Author: Dimitrios Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org//ghc (e8c93ad)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e8c93ad1207fb3df1e009d86ad3ae837a0049d2e >--- commit e8c93ad1207fb3df1e009d86ad3ae837a0049d2e Merge: bd13338... 3d7e7

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org//ghc (42e3b5b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/42e3b5bd3ee9c555adaaf1e5a12f7ddd71423c0c >--- commit 42e3b5bd3ee9c555adaaf1e5a12f7ddd71423c0c Merge: e4d87e1... 1f743

[commit: ghc] master: Insufficient rewriting during flattening. This fixes #5668. (e4d87e1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e4d87e140697bcb380cc51a5aee598409930281e >--- commit e4d87e140697bcb380cc51a5aee598409930281e Author: Dimitrios Vytin

[commit: testsuite] master: Error message shuffling. (e2147b8)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/e2147b802b499ab80f871f587a1b988f4a5e9623 >--- commit e2147b802b499ab80f871f587a1b988f4a5e9623 Author: Dimitrios

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (7d13e50)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/7d13e50487eb7f80be9a8b330ef65e07138b27ef >--- commit 7d13e50487eb7f80be9a8b330ef65e07138b27ef Merge: 4aa0a2d... e2644

[commit: ghc] master: Reintroducing isReflCo optimization: invariant (4aa0a2d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/4aa0a2d8c4d2501ba9a2ab8294f92fec94048221 >--- commit 4aa0a2d8c4d2501ba9a2ab8294f92fec94048221 Author: Dimitrios Vytin

[commit: testsuite] master: Error message shuffling. (b82ab6d)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/b82ab6d68a57c18c1b8cd7e1e0f262f33afdbc61 >--- commit b82ab6d68a57c18c1b8cd7e1e0f262f33afdbc61 Author: Dimitrios

[commit: ghc] master: isReflCo no longer reliable for detection of type identity. (e544930)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/e5449309ba0a574f9a93529f88a4b55640d022fa >--- commit e5449309ba0a574f9a93529f88a4b55640d022fa Author: Dimitrios Vytin

[commit: ghc] master: Solved goal caching and zonking optimisations. (4bc84da)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/4bc84da3ee16cc7fd3f939b06c2c67195611a963 >--- commit 4bc84da3ee16cc7fd3f939b06c2c67195611a963 Author: Dimitrios Vytin

[commit: ghc] master: Implemented -dsuppress-var-kinds flag to remove silly kinds when dppr-debug is on. (cae9168)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/cae91683a9d58abfacbf23553c686915ccbf9d49 >--- commit cae91683a9d58abfacbf23553c686915ccbf9d49 Author: Dimitrios Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (825e0a3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/825e0a3e95b3e47b76b91a41d56ddd54a471efac >--- commit 825e0a3e95b3e47b76b91a41d56ddd54a471efac Merge: e544930... 57d65

[commit: ghc] master: This patch includes: (f3183d9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/f3183d9a9c1d738da31b094c3baad2b885780592 >--- commit f3183d9a9c1d738da31b094c3baad2b885780592 Author: Dimitrios Vytin

[commit: testsuite] master: Test case for #5643 (3a53961)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/3a53961eddc253ad2f681bb7b1b99d75899602d3 >--- commit 3a53961eddc253ad2f681bb7b1b99d75899602d3 Author: Dimitrios

[commit: testsuite] master: Reducing the context stack for this file, which was looping anyway, to (d784b31)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/d784b311bfbd613f92207f12f4ec157b2e1bb1d5 >--- commit d784b311bfbd613f92207f12f4ec157b2e1bb1d5 Author: Dimitrios

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (c842ce2)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/c842ce2765a7210dcb87d7df8aed936cec2451b4 >--- commit c842ce2765a7210dcb87d7df8aed936cec2451b4 Merge: fc80ad1...

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (fc80ad1)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/fc80ad108d2d08495c3d2489b138c9a77557d2a1 >--- commit fc80ad108d2d08495c3d2489b138c9a77557d2a1 Merge: 142444c...

[commit: testsuite] master: Error message modifications for the new constraint solver. (142444c)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/142444c99cb0bd3185499966e298e63c0688aba7 >--- commit 142444c99cb0bd3185499966e298e63c0688aba7 Author: Dimitrios

[commit: ghc] master: GHC gets a new constraint solver. More efficient and smaller in size. (0007c0e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/0007c0ec9c0de68e3a348b8c4112ac48fd861b1e >--- commit 0007c0ec9c0de68e3a348b8c4112ac48fd861b1e Author: Dimitrios Vytin

[commit: ghc] master: Merge branch 'master' of http://darcs.haskell.org/ghc (747e27e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/747e27efc72b2fac3378949652e262d3d646c12c >--- commit 747e27efc72b2fac3378949652e262d3d646c12c Merge: 0007c0e... 07f6a

[commit: ghc] ghc-constraint-solver's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-constraint-solver (7ec5404)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-constraint-solver' now includes: f96db3c... Establish the invariant that (LitAlt l) is always unlifted 17e9e85... Merge branch 'master' of http://darcs.haskell.org/ghc ed63eae... Merge branch 'master' of http://darcs.h

[commit: ghc] ghc-constraint-solver: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-constraint-solver (7ec5404)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/7ec5404a3fd277251a1ab353aa398adfc02b6d34 >--- commit 7ec5404a3fd277251a1ab353aa398adfc02b6d34 Merge: d

[commit: ghc] ghc-constraint-solver: Minor fix in canonicalization for better error reporting of occur check errors. (db89257)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/db892577a2effc2266533e355dad2c40f9fd3be1 >--- commit db892577a2effc2266533e355dad2c40f9fd3be1 Author:

[commit: ghc] ghc-constraint-solver: Forgot to stage this fix (from merge) (9a7e660)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/9a7e660362ac3e6c66f6b265ceb4916fffe73711 >--- commit 9a7e660362ac3e6c66f6b265ceb4916fffe73711 Author:

[commit: ghc] ghc-constraint-solver: Wibbles after the merge. (e6b5424)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/e6b542472df65e14b40743eab486f464aee50401 >--- commit e6b542472df65e14b40743eab486f464aee50401 Author:

[commit: ghc] ghc-constraint-solver: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-constraint-solver (6145e69)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/6145e69a604c942ae5513ff5edd0a2fc44978a1b >--- commit 6145e69a604c942ae5513ff5edd0a2fc44978a1b Merge: 1

[commit: ghc] ghc-constraint-solver's head updated: Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-constraint-solver (6145e69)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-constraint-solver' now includes: 2231a7a... add -u flag for the new flushStdHandles reference aa56423... added NOUNPACK pragma (see #2338) 2bac340... fix dynamic way on Win32 (missing bits from flushStdHandles changes

[commit: ghc] ghc-constraint-solver: Moving the pre-simple optimization core lint in debug only mode. (c7044fd)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/c7044fd45c7985fd4df27bddf0d48fda7ec4d086 >--- commit c7044fd45c7985fd4df27bddf0d48fda7ec4d086 Author:

[commit: ghc] ghc-constraint-solver: Replacing CCanMap for family equations with new TypeMap. Also, we now use (1d0ad7b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver http://hackage.haskell.org/trac/ghc/changeset/1d0ad7b8a59cfeca9f5df7f58726607bfd2e920f >--- commit 1d0ad7b8a59cfeca9f5df7f58726607bfd2e920f Author:

  1   2   >