[commit: ghc] wip/impredicativity: Go back to instantiation with type families (f20041d)

[git at git.haskell.org]

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

On branch  : wip/impredicativity
Link       : http://ghc.haskell.org/trac/ghc/changeset/f20041dc443aed585727dffa41b33a4d7bb17760/ghc

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

commit f20041dc443aed585727dffa41b33a4d7bb17760
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Mon Jul 27 09:57:56 2015 +0200

    Go back to instantiation with type families


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

f20041dc443aed585727dffa41b33a4d7bb17760
 compiler/typecheck/TcCanonical.hs | 15 +++------
 compiler/typecheck/TcSMonad.hs    | 29 ++++--------------
 compiler/typecheck/TcSimplify.hs  |  5 ++-
 docs/types/impredicativity.ltx    | 64 +++++++++++++++++++++------------------
 4 files changed, 48 insertions(+), 65 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 f20041dc443aed585727dffa41b33a4d7bb17760