[commit: ghc] ghc-kinds: kind polymorphic (~#), (~), and Eq# (4e4c104)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/4e4c1048fb7cb80701ad724b31784fa12b6c9093 >--- commit 4e4c1048fb7cb80701ad724b31784fa12b6c9093 Author: Jul

[commit: ghc] ghc-kinds: make isSubKind guards symetric (6404971)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/64049716110b10b598c9c4653323b96a43a6d910 >--- commit 64049716110b10b598c9c4653323b96a43a6d910 Author: Jul

[commit: ghc] ghc-kinds: kind polymorphic Any (cc1ae74)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/cc1ae74e7b93e4ff9438a9e5a93cc51e5457cdd2 >--- commit cc1ae74e7b93e4ff9438a9e5a93cc51e5457cdd2 Author: Jul

[commit: ghc] ghc-kinds: kind checking declarations is only side effects (95cb015)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/95cb015c631bb33e2cb284b27a40fea7fe76f0e4 >--- commit 95cb015c631bb33e2cb284b27a40fea7fe76f0e4 Author: Jul

[commit: ghc] ghc-kinds: fix data con name extraction (3ab27e9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/3ab27e95b3d27df419112cdc64d59e85f298ffb3 >--- commit 3ab27e95b3d27df419112cdc64d59e85f298ffb3 Author: Jul

[commit: ghc] ghc-kinds: Adding Notes (bd5ff37)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/bd5ff37554e557b6e758109d173ee20d4bc832d5 >--- commit bd5ff37554e557b6e758109d173ee20d4bc832d5 Author: Jul

[commit: testsuite] ghc-kinds: Merge branch 'master' into ghc-kinds (439fbc8)

rge: e0bfaf4... e82472f... Author: Julien Cretin Date: Fri Sep 23 11:46:16 2011 +0200 Merge branch 'master' into ghc-kinds driver/testglobals.py |4 +- driver/testlib.py | 16 +- g

[commit: testsuite] ghc-kinds's head updated: Merge branch 'master' into ghc-kinds (439fbc8)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'ghc-kinds' now includes: 962a432... Test Trac #3592 e0130b6... Test Trac #5490 488cd4a... Merge branch 'master' of http://darcs.haskell.org/testsuite 89bb5d4... Add a test for Integer literals in interface files

[commit: ghc] ghc-kinds: Merge branch 'master' into ghc-kinds (8431493)

4e3... 488e21c... Author: Julien Cretin Date: Fri Sep 23 11:54:29 2011 +0200 Merge branch 'master' into ghc-kinds Conflicts: compiler/typecheck/TcSMonad.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/basicTypes/Avail.hs | 107 ++ compil

[commit: ghc] ghc-kinds's head updated: kind generalize data families (3514446)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-kinds' now includes: e610292... Remove some (probably bit-rotted) .NET cases 7bfc28d... LLVM pre-mangler files should be considered cish b215384... Hack: add noCafIdInfo to shiftIntegerL and friends 54ba453... Mer

[commit: ghc] ghc-kinds: kind generalize data families (3514446)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/351444697093a70cea03e86e6a6057119d3e9aa5 >--- commit 351444697093a70cea03e86e6a6057119d3e9aa5 Author: Jul

[commit: ghc] ghc-kinds: kind substitution in tcExpr (RecordUpd {}) (01ba4e3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/01ba4e3243491b4569098a1c58c110c2a4806ed7 >--- commit 01ba4e3243491b4569098a1c58c110c2a4806ed7 Author: Jul

[commit: ghc] ghc-kinds: kind signatures for hs-boot files (11b6725)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/11b67256e9e3949a2c5c60aa930f34edf895f2ce >--- commit 11b67256e9e3949a2c5c60aa930f34edf895f2ce Author: Jul

[commit: ghc] ghc-kinds: fix floating not abstracting kind variables before type variables (47c9a5b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/47c9a5b3d15a88d0dbc9c530358cbeb30c280262 >--- commit 47c9a5b3d15a88d0dbc9c530358cbeb30c280262 Author: Jul

[commit: ghc] ghc-kinds: fix CoreLint with PromotedTypeTyCon (35fdca6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/35fdca67f7fcbbd2ae76dc7a64fb03b79af47847 >--- commit 35fdca67f7fcbbd2ae76dc7a64fb03b79af47847 Author: Jul

[commit: ghc] ghc-kinds: kind generalize type synonyms (c8bebe1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/c8bebe1cc95e950423b8ce245dc31d00078a8dbd >--- commit c8bebe1cc95e950423b8ce245dc31d00078a8dbd Author: Jul

[commit: ghc] ghc-kinds: add todos for kind unification (5ec4bf2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/5ec4bf220c2b1e223668a7c82fe346288ebd4001 >--- commit 5ec4bf220c2b1e223668a7c82fe346288ebd4001 Author: Jul

[commit: ghc] ghc-kinds: using PromotedTypeTyCon (d0a3207)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/d0a3207bc0c52ee8baba7bf30f15e9ecc350e8e2 >--- commit d0a3207bc0c52ee8baba7bf30f15e9ecc350e8e2 Author: Jul

[commit: ghc] ghc-kinds: unify kinds in the pure unifier (66d3aa0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/66d3aa0eb90df184c934ec10e65459eb48b9ff40 >--- commit 66d3aa0eb90df184c934ec10e65459eb48b9ff40 Author: Jul

[commit: ghc] ghc-kinds: kind polymorphic type families (8e647b3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/8e647b34bff00b4e9b00bd678a7b42f0a4ae30e0 >--- commit 8e647b34bff00b4e9b00bd678a7b42f0a4ae30e0 Author: Jul

[commit: ghc] ghc-kinds: sortQuantVars (8e7ef71)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/8e7ef711ec42aaa426826e33ead42093fdb8922f >--- commit 8e7ef711ec42aaa426826e33ead42093fdb8922f Author: Jul

[commit: ghc] ghc-kinds: kinding rules for partially applied arrow (4659f19)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/4659f19976cb0b06c942b92022b3f3965d886c7f >--- commit 4659f19976cb0b06c942b92022b3f3965d886c7f Author: Jul

[commit: ghc] ghc-kinds: Update notes (13b03d3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/13b03d3556b329ce7bd64f1fdc7ba65e4dfb6d45 >--- commit 13b03d3556b329ce7bd64f1fdc7ba65e4dfb6d45 Author: Jul

[commit: ghc] ghc-kinds: Kind unification during type unification. (d7acfc4)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/d7acfc4e4d36896297160ebe283682f3893b17a5 >--- commit d7acfc4e4d36896297160ebe283682f3893b17a5 Author: Jul

[commit: ghc] ghc-kinds: fix scoping in desugarer in tcHsInstHead (e695fb1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e695fb1e1e3c6c124b4cd803be07614f54a1e43f >--- commit e695fb1e1e3c6c124b4cd803be07614f54a1e43f Author: Jul

[commit: ghc] ghc-kinds: fix kind gene of data cons (3c9e134)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/3c9e134cc2162b9cd474ed137c1304926e03b296 >--- commit 3c9e134cc2162b9cd474ed137c1304926e03b296 Author: Jul

[commit: ghc] ghc-kinds: kind poly and classes (e01efa6)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e01efa6845949b3da1095e9ca45bdd8693070ba4 >--- commit e01efa6845949b3da1095e9ca45bdd8693070ba4 Author: Jul

[commit: ghc] ghc-kinds: handling kinds in check_mono/arg-type (1316f57)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/1316f57194d4e34319ed54447f23023cfb21ba1a >--- commit 1316f57194d4e34319ed54447f23023cfb21ba1a Author: Jul

[commit: ghc] ghc-kinds: refactoring TcTyClsDecls (f826991)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/f82699142240467888775e8dea189dba356581a5 >--- commit f82699142240467888775e8dea189dba356581a5 Author: Jul

[commit: ghc] ghc-kinds: add kind instantiation when deriving Generic (c61e14f)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/c61e14f857d5c09e3cc83e7020f9d9c730fc979b >--- commit c61e14f857d5c09e3cc83e7020f9d9c730fc979b Author: Jul

[commit: ghc] ghc-kinds: iface, kind poly, and box (8475b29)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/8475b29597c9f2ec88239cb7912c5f2fc7ea8954 >--- commit 8475b29597c9f2ec88239cb7912c5f2fc7ea8954 Author: Jul

[commit: ghc] ghc-kinds: making Generics kind-monomorphic (0e6398e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/0e6398e70f9671356bf92ebcbd8ec2df8384fa30 >--- commit 0e6398e70f9671356bf92ebcbd8ec2df8384fa30 Author: Jul

[commit: ghc] ghc-kinds: unifying kinds in the simplifier (bdda2b0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/bdda2b0af4c52f2807f7b6233792afb3a938ead9 >--- commit bdda2b0af4c52f2807f7b6233792afb3a938ead9 Author: Jul

[commit: testsuite] ghc-kinds's head updated: Merge branch 'master' into ghc-kinds (e0bfaf4)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'ghc-kinds' now includes: f796f0f... Add a test for #3103 d673c4c... Add a test for #3743 41df3ad... Fix arith013 following integer-gmp changes 74b0e23... Tweak EvalTest to be less sensitive to whitespace changes

[commit: testsuite] ghc-kinds: Merge branch 'master' into ghc-kinds (e0bfaf4)

rge: d5d62ee... ab0d209... Author: Julien Cretin Date: Wed Sep 14 22:28:17 2011 +0200 Merge branch 'master' into ghc-kinds tests/deriving/should_fail/T2701.stderr |2 +- tests/deriving/should_fail/T5478.hs |6 + tests/deriving/should_fail/T5478.stderr |

[commit: testsuite] ghc-kinds: Merge branch 'master' into ghc-kinds (d5d62ee)

rge: 96af0c4... 74b0e23... Author: Julien Cretin Date: Wed Sep 14 16:29:51 2011 +0200 Merge branch 'master' into ghc-kinds tests/numeric/should_run/arith013.hs |4 +- tests/rename/should_compile/T3103/Foreign/Ptr.hs | 14 + tests/rename/should_compile/T3103

[commit: ghc] ghc-kinds: kind coercions (d51c28d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/d51c28d02777dee753552a16ba355493877fdb05 >--- commit d51c28d02777dee753552a16ba355493877fdb05 Author: Jul

[commit: ghc] ghc-kinds's head updated: Merge branch 'master' into ghc-kinds (59a94ff)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-kinds' now includes: ffada1e... Record selectors should be Exported Ids 5c312b4... Merge branch 'master' of http://darcs.haskell.org/ghc 4027a7d... When checking FFI types are IO, don't look through abstract newtypes;

[commit: ghc] ghc-kinds: Merge branch 'master' into ghc-kinds (59a94ff)

28d... 99a6412... Author: Julien Cretin Date: Wed Sep 14 22:28:15 2011 +0200 Merge branch 'master' into ghc-kinds compiler/typecheck/TcDeriv.lhs| 67 +++-- compiler/typecheck/TcGenDeriv.lhs | 19 ++ 2 files changed, 60 insertions(+),

[commit: ghc] ghc-kinds: kind substitution in tcInstSkolTyVars and all friends (09495da)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/09495daf5b71fb9faea19ebd893a26b85911eaa3 >--- commit 09495daf5b71fb9faea19ebd893a26b85911eaa3 Author: Jul

[commit: ghc] ghc-kinds: Merge branch 'master' into ghc-kinds (63fae67)

611... eecd53b... Author: Julien Cretin Date: Wed Sep 14 16:29:39 2011 +0200 Merge branch 'master' into ghc-kinds compiler/basicTypes/Literal.lhs | 27 -- compiler/basicTypes/MkId.lhs| 43 - compiler/codeGen/CgUtils.hs |3 + com

[commit: ghc] ghc-kinds: checkValidTyCl done for each group (7c68785)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/7c68785d570a14269ad49d93d0c41276690b77f6 >--- commit 7c68785d570a14269ad49d93d0c41276690b77f6 Author: Jul

[commit: ghc] ghc-kinds: tyConKiVars + abstract kivars before tyvars (e0f0611)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e0f0611267e83406aae4b69b40c9957a881d4aba >--- commit e0f0611267e83406aae4b69b40c9957a881d4aba Author: Jul

[commit: ghc] ghc-kinds: todo (18753dc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/18753dcbade5c135683eca74f561b0f6306b7da1 >--- commit 18753dcbade5c135683eca74f561b0f6306b7da1 Author: Jul

[commit: ghc] ghc-kinds: tyVarsOfType returns all variables, even in kinds (1876794)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/1876794f60707806bda9eeadb780a66564fba6ca >--- commit 1876794f60707806bda9eeadb780a66564fba6ca Author: Jul

[commit: ghc] ghc-kinds: fix isPredTy on BOX (e7263dc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e7263dc6326202389132ee6b247562f63c4aca77 >--- commit e7263dc6326202389132ee6b247562f63c4aca77 Author: Jul

[commit: ghc] ghc-kinds: handling kind polymorphism in check_type (e28223b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e28223bbea8ee88f26fcf8bb3a0a0f3c97fd9a42 >--- commit e28223bbea8ee88f26fcf8bb3a0a0f3c97fd9a42 Author: Jul

[commit: ghc] ghc-kinds: tcTyClDecl does kind and type checking (2692909)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/269290902e913c48f21e4454b95a2bea41b4a093 >--- commit 269290902e913c48f21e4454b95a2bea41b4a093 Author: Jul

[commit: ghc] ghc-kinds: fix kind substitution in templates in tcResultType (923e459)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/923e459416821c23ad72934f5e55546ad2d2a1c1 >--- commit 923e459416821c23ad72934f5e55546ad2d2a1c1 Author: Jul

[commit: ghc] ghc-kinds: isSubKind BOX BOX is now valid (801c46e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/801c46e1d9e3f108228481ba6f63a8d9fba246cc >--- commit 801c46e1d9e3f108228481ba6f63a8d9fba246cc Author: Jul

[commit: ghc] ghc-kinds: substitution in kind signatures of type foralls (4399841)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/43998413a8df53292c6a59d83f0811b369cc7c29 >--- commit 43998413a8df53292c6a59d83f0811b369cc7c29 Author: Jul

[commit: testsuite] ghc-kinds: Constraint in GHC.Prim (96af0c4)

hor: Julien Cretin Date: Mon Sep 12 20:00:21 2011 +0200 Constraint in GHC.Prim >--- tests/typecheck/should_compile/tc255.hs |2 ++ tests/typecheck/should_compile/tc256.hs |2 ++ tests/typecheck/should_compile/tc

[commit: ghc] ghc-kinds: Constraint in GHC.Prim (fce3785)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/fce37853f7ad44fb33dfa0f5ef16b7f72b39f87b >--- commit fce37853f7ad44fb33dfa0f5ef16b7f72b39f87b Author: Jul

[commit: ghc] ghc-kinds: remove use of kindKeys in lintKind (d9d9cd4)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/d9d9cd473af33da0f829009957e6f242399c5e5e >--- commit d9d9cd473af33da0f829009957e6f242399c5e5e Author: Jul

[commit: ghc] ghc-kinds: note about ANothing (0feeb37)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/0feeb37ec8aa3fb154fed52e9d77be1ed435d561 >--- commit 0feeb37ec8aa3fb154fed52e9d77be1ed435d561 Author: Jul

[commit: ghc] ghc-kinds: get rid of quote in kinds (8d7b065)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/8d7b065ca5ab01be9b92dcd3db9e001e3970ac74 >--- commit 8d7b065ca5ab01be9b92dcd3db9e001e3970ac74 Author: Jul

[commit: ghc] ghc-kinds: Merge branch 'step3' into ia0_step3 (c9771dc)

f49... b7bd51b... Author: Julien Cretin Date: Mon Sep 12 16:31:57 2011 +0200 Merge branch 'step3' into ia0_step3 Conflicts: compiler/typecheck/TcDeriv.lhs compiler/typecheck/TcHsType.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/type

[commit: ghc] ghc-kinds: Merge branch 'ghc-kinds' into ia0_step3 (1968518)

1dc... d41b524... Author: Julien Cretin Date: Mon Sep 12 16:40:36 2011 +0200 Merge branch 'ghc-kinds' into ia0_step3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

[commit: testsuite] ghc-kinds's head updated: updating error messages for ConstraintKinds (282d396)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'ghc-kinds' now includes: 5f32273... Error message wibbles 1d7e95c... Change test, now that imported data families don't get implicitly exported f589a4d... Test Trac #5424 49bec93... Trailing Whitespace ae3

[commit: testsuite] ghc-kinds: updating error messages for ConstraintKinds (282d396)

hor: Julien Cretin Date: Mon Sep 12 14:42:27 2011 +0200 updating error messages for ConstraintKinds >--- .../indexed-types/should_fail/SimpleFail14.stderr |2 +- tests/rename/should_fail/rnfail057.hs |2 ++

[commit: testsuite] ghc-kinds: Merge branch 'master' into step2 (31606f9)

rge: 7bde32d... ee78629... Author: Julien Cretin Date: Mon Sep 12 11:45:02 2011 +0200 Merge branch 'master' into step2 tests/typecheck/should_compile/T5481.hs |8 tests/typecheck/should_compile/all.T|2 ++ tests/typecheck/should_compile/tc257.hs | 23 +

[commit: testsuite] ghc-kinds: fix template haskell error message with safe haskell (c3ed085)

hor: Julien Cretin Date: Fri Sep 9 13:01:24 2011 +0200 fix template haskell error message with safe haskell >--- tests/safeHaskell/safeLanguage/SafeLang12.stderr |5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff -

[commit: testsuite] ghc-kinds: Merge branch 'master' into step2 (7bde32d)

rge: c3ed085... b2edda8... Author: Julien Cretin Date: Fri Sep 9 17:33:29 2011 +0200 Merge branch 'master' into step2 Conflicts: tests/typecheck/should_fail/tcfail147.stderr tests/indexed-types/should_compile/T3017.stderr|4 ++ .../indexed-types/should_fail

[commit: testsuite] ghc-kinds: Merge branch 'master' into step2 (1f9ffee)

rge: 2db82cd... da86648... Author: Julien Cretin Date: Fri Sep 9 12:24:17 2011 +0200 Merge branch 'master' into step2 tests/simplCore/should_run/T5441.hs|5 +++ .../should_run/T5441.stdout} |0 tests/simplCore/should_run/T5441a.hs

[commit: testsuite] ghc-kinds: Merge branch 'master' into step2 (2db82cd)

rge: 02628e2... 8acdfa2... Author: Julien Cretin Date: Fri Sep 9 10:34:51 2011 +0200 Merge branch 'master' into step2 config/ghc |1 + driver/testlib.py | 115 +--

[commit: haddock] ghc-kinds: Merge branch 'master' into step2 (3358945)

c6d... ebb0717... Author: Julien Cretin Date: Fri Sep 9 17:37:20 2011 +0200 Merge branch 'master' into step2 Conflicts: src/Haddock/Backends/LaTeX.hs src/Haddock/Backends/Xhtml/Decl.hs src/Haddock/Backends/Hoogle.hs |4 +- src/Haddock/Back

[commit: haddock] ghc-kinds's head updated: Merge branch 'master' into step2 (3358945)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock Branch 'ghc-kinds' now includes: f9adfba... Fix compilation with no-pred-ty GHC fb11671... Remaining fixes for PredTy removal d266207... Rename factKind to constraintKind b2ab324... Deal with change to IParam handling in

[commit: haddock] ghc-kinds: Merge branch 'master' into step2 (ced9c6d)

0f9... 0f21c47... Author: Julien Cretin Date: Fri Sep 9 10:34:49 2011 +0200 Merge branch 'master' into step2 src/Haddock/Backends/LaTeX.hs |6 +++--- src/Haddock/Backends/Xhtml/Decl.hs |4 ++-- src/Haddock/Convert.hs | 13 ++--- src/Hadd

[commit: ghc] ghc-kinds: reverting to step2 (6cba3c4)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/6cba3c4ec0d984133d4a8c19e4e0122c41f779e7 >--- commit 6cba3c4ec0d984133d4a8c19e4e0122c41f779e7 Author: Jul

[commit: ghc] ghc-kinds: Merge branch 'master' into step2 (48aaf49)

36d... 7ca27dc... Author: Julien Cretin Date: Mon Sep 12 11:45:01 2011 +0200 Merge branch 'master' into step2 compiler/basicTypes/Literal.lhs | 316 +++--- compiler/codeGen/CgUtils.hs | 598 compiler/typecheck/T

[commit: ghc] ghc-kinds: Merge branch 'master' into step2 (e75c36d)

d1d... b3bc5f4... Author: Julien Cretin Date: Mon Sep 12 11:43:52 2011 +0200 Merge branch 'master' into step2 Conflicts: compiler/basicTypes/Var.lhs compiler/hsSyn/HsTypes.lhs compiler/iface/BuildTyCl.lhs compiler/iface/IfaceSyn.lhs co

[commit: ghc] ghc-kinds: Merge branch 'master' into step2 (a52bd1d)

4d1... c2bd94c... Author: Julien Cretin Date: Fri Sep 9 12:24:16 2011 +0200 Merge branch 'master' into step2 compiler/codeGen/CgTicky.hs |7 +- compiler/coreSyn/CoreArity.lhs | 14 +- compiler/simplCore/Simplify.lhs | 17 -- compiler/typecheck/TcInstDcls

[commit: ghc] ghc-kinds's head updated: Merge branch 'step2' into ghc-kinds (d41b524)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-kinds' now includes: f5c0851... Backtrack on the wierd special case of data family exports de9b85f... Export a tiny bit more info with AbstractTyCon (fixes #5424) e45c35f... De-synonym the types of the abtracted term v

[commit: ghc] ghc-kinds: reorganising tcTyClGroup (b7bd51b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/b7bd51b7fb45815a8849a3462d6a4e798b6f84c2 >--- commit b7bd51b7fb45815a8849a3462d6a4e798b6f84c2 Author: Jul

[commit: ghc] ghc-kinds: Don't abstract over kinds containing # or (#)! Fixes Trac #5426 (9de64d1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/9de64d1b5355b2354a6f8ffa18509f15cef5f714 >--- commit 9de64d1b5355b2354a6f8ffa18509f15cef5f714 Author: Jul

[commit: ghc] ghc-kinds: Merge branch 'step2' into ghc-kinds (d41b524)

3c4... 48aaf49... Author: Julien Cretin Date: Mon Sep 12 15:04:36 2011 +0200 Merge branch 'step2' into ghc-kinds ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

[commit: ghc] ghc-kinds: Merge branch 'master' into step2 (8b56321)

21b... 4c35337... Author: Julien Cretin Date: Fri Sep 9 10:43:54 2011 +0200 Merge branch 'master' into step2 Conflicts: compiler/rename/RnSource.lhs compiler/typecheck/TcTyClsDecls.lhs compiler/types/Unify.lhs aclocal.m4 |

[commit: ghc] ghc-kinds: comments, notes and todos (doesn't compile) (e78df68)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e78df68ab23905e5622ca6e095abef91fd7f4123 >--- commit e78df68ab23905e5622ca6e095abef91fd7f4123 Author: Jul

[commit: ghc] ghc-kinds: fix compilation of previous merge (530a03e)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/530a03ed68cf969892eff711ef981ab2cc1e50cd >--- commit 530a03ed68cf969892eff711ef981ab2cc1e50cd Author: Jul

[commit: testsuite] ghc-kinds's head updated: Merge remote-tracking branch 'all/master' into ghc-kinds (02628e2)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'ghc-kinds' now includes: 1461942... Fix incorrect test ab9b891... Accept error message wibbles 395a9c5... Update error messages; and SimpleFail10 now passes 087abfd... Test #4429, #5406 482a2f3... Merge rem

[commit: testsuite] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (02628e2)

rge: 8f2df7a... 702700b... Author: Julien Cretin Date: Fri Sep 2 11:52:28 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds config/ghc |2 +- driver/testlib.py | 111 +++-- tests/ghci.deb

[commit: testsuite] ghc-kinds: fix expected kind in kcHsSigType from Open to Arg (8f2df7a)

hor: Julien Cretin Date: Thu Sep 1 17:05:40 2011 +0200 fix expected kind in kcHsSigType from Open to Arg >--- tests/gadt/gadt10.stderr |2 +- tests/typecheck/should_fail/tcfail028.stderr |2 +- tests/typ

[commit: testsuite] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (7b92b79)

rge: 482a2f3... ba4579c... Author: Julien Cretin Date: Thu Sep 1 13:35:01 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds tests/concurrent/should_run/all.T |1 + tests/concurrent/should_run/conc015a.stdout |2 +- tests/concurrent/should_run/conc073.h

[commit: testsuite] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (482a2f3)

rge: f16e15b... 395a9c5... Author: Julien Cretin Date: Thu Sep 1 12:11:33 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds tests/codeGen/should_run/cgrun071.hs | 22 --- tests/codeGen/should_run/cgrun071.stdout | 10 ++

[commit: ghc] ghc-kinds: hsLTyVarKind (1cc5c7a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/1cc5c7a861c9828093e11bf428680bf95b086801 >--- commit 1cc5c7a861c9828093e11bf428680bf95b086801 Author: Jul

[commit: ghc] ghc-kinds: fix double quantification in kind poly data types (58b1a1a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/58b1a1a0f44e3b1fdb7ccc336eaf993e8d2aa081 >--- commit 58b1a1a0f44e3b1fdb7ccc336eaf993e8d2aa081 Author: Jul

[commit: ghc] ghc-kinds: kind poly data types (da3aa58)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/da3aa58de428bab8e1d339707413ce909b987df5 >--- commit da3aa58de428bab8e1d339707413ce909b987df5 Author: Jul

[commit: ghc] ghc-kinds's head updated: kind vars in core lint (3f2f77d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-kinds' now includes: 5061d77... A little more CPP removal 514eb4e... More CPP removal 067f29b... Start de-CPPing X86.Regs 96adae6... Turn off lax dependencies by default 5ee7d4e... Whitespace only in X86.Regs

[commit: ghc] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (f24d21b)

e1c... 000824d... Author: Julien Cretin Date: Fri Sep 2 11:52:26 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds compiler/basicTypes/Name.lhs| 38 +--- compiler/basicTypes/RdrName.lhs |6 +++- compiler/basicTypes/SrcLoc.lhs |7 c

[commit: ghc] ghc-kinds: declarations kind generalization (e8fab36)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/e8fab363814a689ad34774b47b8590a68db2d3a2 >--- commit e8fab363814a689ad34774b47b8590a68db2d3a2 Author: Jul

[commit: ghc] ghc-kinds: kind vars in core lint (3f2f77d)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/3f2f77d807eb94b15b29d7c6b84009d159924964 >--- commit 3f2f77d807eb94b15b29d7c6b84009d159924964 Author: Jul

[commit: ghc] ghc-kinds: fix expected kind in kcHsSigType from Open to Arg (aae6e1c)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/aae6e1cc0af5b917c186cf359726e32c2437cf4d >--- commit aae6e1cc0af5b917c186cf359726e32c2437cf4d Author: Jul

[commit: ghc] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (b6b7b58)

069... fa71e6c... Author: Julien Cretin Date: Thu Sep 1 13:35:00 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds rts/Exception.cmm | 16 +--- 1 files changed, 9 insertions(+), 7 deletions(-) ___ Cvs-ghc

[commit: ghc] ghc-kinds: Merge branch 'master' into ghc-kinds (66cb069)

cca... c27df60... Author: Julien Cretin Date: Thu Sep 1 13:31:10 2011 +0200 Merge branch 'master' into ghc-kinds Conflicts: compiler/hsSyn/HsTypes.lhs compiler/parser/RdrHsSyn.lhs compiler/rename/RnEnv.lhs compiler/rename/RnSource.lhs

[commit: testsuite] ghc-kinds's head updated: Merge remote-tracking branch 'all/master' into ghc-kinds (f16e15b)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite Branch 'ghc-kinds' now includes: 0b2a565... Test Trac #5417 3835041... Wibbles to accommodate TH changes (Trac #4429, #5406) 26299bc... Merge branch 'master' of http://darcs.haskell.org/testsuite d264743... Follow ghc-p

[commit: testsuite] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (f16e15b)

rge: 9c9f813... f9add25... Author: Julien Cretin Date: Tue Aug 30 14:38:31 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds tests/ghci/scripts/T5417.hs| 10 tests/ghci/scripts/T5417.script|3 ++ tests/ghci/

[commit: ghc] ghc-kinds's head updated: Merge remote-tracking branch 'all/master' into ghc-kinds (ba13cca)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc Branch 'ghc-kinds' now includes: c579340... Make popCnt# primop work with dynamic compilation 1b87614... Follow ghc-prim changes 216091d... export HscEnv 3b8d128... simpleImportDecl: default to unsafe, not safe 79d6745..

[commit: ghc] ghc-kinds: Merge remote-tracking branch 'all/master' into ghc-kinds (ba13cca)

ea0... 12646a9... Author: Julien Cretin Date: Tue Aug 30 14:38:30 2011 +0200 Merge remote-tracking branch 'all/master' into ghc-kinds compiler/hsSyn/HsImpExp.lhs |4 +- compiler/iface/IfaceEnv.lhs |1 - compiler/main/GHC.hs |2 +- compiler/

[commit: ghc] ghc-kinds: fix forbidden promotion of type families (390f3f3)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/390f3f34797d28a02bab71ead27bbff2f4e48ee2 >--- commit 390f3f34797d28a02bab71ead27bbff2f4e48ee2 Author: Jul

[commit: ghc] ghc-kinds: fix kind intantiation in coercions (core lint) (1832ea0)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds http://hackage.haskell.org/trac/ghc/changeset/1832ea0411d303001b9bbb863e60871c3e9e2d8c >--- commit 1832ea0411d303001b9bbb863e60871c3e9e2d8c Author: Jul

  1   2   >