[commit: ghc] wip/generalized-arrow: TysPrim: Generalize kind of (->) (776f7d0)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/generalized-arrow
Link       : http://ghc.haskell.org/trac/ghc/changeset/776f7d09d55ea4d016a3c39e17746e4f7f87357e/ghc

>---------------------------------------------------------------

commit 776f7d09d55ea4d016a3c39e17746e4f7f87357e
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Mar 16 23:28:59 2016 +0100

    TysPrim: Generalize kind of (->)


>---------------------------------------------------------------

776f7d09d55ea4d016a3c39e17746e4f7f87357e
 compiler/prelude/TysPrim.hs       | 25 ++++++------
 compiler/typecheck/TcCanonical.hs |  9 ++++-
 compiler/typecheck/TcType.hs      |  8 +++-
 compiler/types/Coercion.hs        | 19 +++++++--
 compiler/types/TyCon.hs           |  2 +-
 compiler/types/Type.hs            | 85 ++++++++++++++++++++++++++++++++-------
 compiler/types/Unify.hs           |  7 +++-
 7 files changed, 122 insertions(+), 33 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 776f7d09d55ea4d016a3c39e17746e4f7f87357e