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

[Julien Cretin]

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... Merge branch 'master' of http://darcs.haskell.org/ghc
     c782840... Correct a back-to-front coercion (fixes Trac #5490)
     3137073... Merge branch 'master' of http://darcs.haskell.org/ghc
     493146a... Add some missing dependencies; should fix make after re-configure
     259ea3e... Fix typo
     607537a... Gentoo's scanelf program found executable stack in many resulting binaries: * RWX --- --- home/prefix/gentoo/usr/lib/ghc-7.2.1/ghc * !WX --- --- home/prefix/gentoo/usr/lib/ghc-7.2.1/libHSrts.a:AdjustorAsm.o
     0a4537f... Fix etags output; trac #4256
     1e87c0a... Improve the handling of Integer literals
     908a62d... Whitespace only in hsSyn/HsImpExp.lhs
     5a369e7... Parenthesise type operators in -ddump-minimal-imports output; trac #4239
     f826991... refactoring TcTyClsDecls
     3c9e134... fix kind gene of data cons
     e01efa6... kind poly and classes
     1316f57... handling kinds in check_mono/arg-type
     8475b29... iface, kind poly, and box
     c61e14f... add kind instantiation when deriving Generic
     9de6f19... In :load, call GHC.guessTarget on the new targets before unloading
     3db7572... Add support for all top-level declarations to GHCi
     222589a... fix bug in :show bindings when a variable is bound to an exception
     94e7c6b... move AvailInfo and related things into its own module
     01d7bc7... fix warnings
     fc80c87... show bindings in the order they were defined
     a29500f... add a ToDo
     bdda2b0... unifying kinds in the simplifier
     0e6398e... making Generics kind-monomorphic
     e695fb1... fix scoping in desugarer in tcHsInstHead
     d7acfc4... Kind unification during type unification.
     4659f19... kinding rules for partially applied arrow
     8e647b3... kind polymorphic type families
     d0a3207... using PromotedTypeTyCon
     35fdca6... fix CoreLint with PromotedTypeTyCon
     5ec4bf2... add todos for kind unification
     c8bebe1... kind generalize type synonyms
     13b03d3... Update notes
     8e7ef71... sortQuantVars
     66d3aa0... unify kinds in the pure unifier
     47c9a5b... fix floating not abstracting kind variables before type variables
     11b6725... kind signatures for hs-boot files
     730f6c6... Take account of the mk_integer in a LitInteger when computing CAF-hood
     24a2353... Add a transformation limit to the simplifier (Trac #5448)
     879c4a8... Comments and functions renaming only
     12d2089... A little refactoring of TcIface on LitInteger
     25881af... Move tcLookupFamInst, tcLookupDataFamInst from TcEnv to FamInst
     f3c7ed7... Implement GHCi command :kind! which normalises its type
     488e21c... Make a new type synonym CoreProgram = [CoreBind] and comment its invariants in Note [CoreProgram] in CoreSyn
     01ba4e3... kind substitution in tcExpr (RecordUpd {})
     8431493... Merge branch 'master' into ghc-kinds
     3514446... kind generalize data families