[commit: ghc] wip/ttypeable: Introduce TrFun (765bc30)

[git at git.haskell.org]

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

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/765bc30d85a3f853bfd32771515015da8e665682/ghc

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

commit 765bc30d85a3f853bfd32771515015da8e665682
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Oct 7 09:19:52 2016 -0400

    Introduce TrFun
    
    Here we special-case saturated applications of (->) since otherwise we
    would need to generalize the kind of (->), which is more work that I
    have time for at the moment. Sadly this means we can no longer
    split function types.


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

765bc30d85a3f853bfd32771515015da8e665682
 compiler/deSugar/DsBinds.hs              | 13 +++++
 compiler/prelude/PrelNames.hs            | 10 ++--
 compiler/prelude/TysPrim.hs              |  1 -
 compiler/typecheck/TcEvidence.hs         |  6 +++
 compiler/typecheck/TcHsSyn.hs            |  4 ++
 compiler/typecheck/TcInteract.hs         | 18 ++-----
 libraries/base/Data/Typeable/Internal.hs | 82 ++++++++++++--------------------
 7 files changed, 64 insertions(+), 70 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 765bc30d85a3f853bfd32771515015da8e665682