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; #3008
e7263dc... fix isPredTy on BOX
7c68785... checkValidTyCl done for each group
1b4e251... GHC does build with Alex 3 now - remove the configure trap
2692909... tcTyClDecl does kind and type checking
4399841... substitution in kind signatures of type foralls
801c46e... isSubKind BOX BOX is now valid
923e459... fix kind substitution in templates in tcResultType
fdac48f... change how Integer's are handled in Core
73aeb7d... Remove an old "ToDo" comment
e0e4288... Merge branch 'master' of http://darcs.haskell.org/ghc
18753dc... todo
e28223b... handling kind polymorphism in check_type
1876794... tyVarsOfType returns all variables, even in kinds
eecd53b... Fix integer stuff (fixes Trac #5485)
99a6412... Tighten up the side-condition testing for deriving (again)
e0f0611... tyConKiVars + abstract kivars before tyvars
63fae67... Merge branch 'master' into ghc-kinds
09495da... kind substitution in tcInstSkolTyVars and all friends
d51c28d... kind coercions
59a94ff... Merge branch 'master' into ghc-kinds
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
