[commit: ghc] wip/impredicativity: Rename InstanceOf to (<=) and implement it as a newtype (541d037)

[git at git.haskell.org]

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

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

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

commit 541d037cdd842cf9c50bafeece239862120f07ab
Author: Alejandro Serrano <trupill at gmail.com>
Date:   Fri Jul 10 10:36:11 2015 +0200

    Rename InstanceOf to (<=) and implement it as a newtype
    
    - For that, we need to include its name and definition in
      ghc-prim, PrelName and TysWiredIn.
    - Change the desugaring in DsBinds to generate the corresponding
      casts from and to (<=) and (->).


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

541d037cdd842cf9c50bafeece239862120f07ab
 compiler/deSugar/DsBinds.hs     | 61 ++++++++++++++++++++++-------------------
 compiler/prelude/PrelNames.hs   |  4 +++
 compiler/prelude/TysWiredIn.hs  | 23 ++++++++++++----
 compiler/typecheck/TcHsSyn.hs   | 14 ++--------
 libraries/ghc-prim/GHC/Types.hs |  2 +-
 5 files changed, 58 insertions(+), 46 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 541d037cdd842cf9c50bafeece239862120f07ab