[commit: ghc] no-pred-ty: Mk Coercion -> LCoercion (a73d479)

[Max Bolingbroke]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : no-pred-ty

http://hackage.haskell.org/trac/ghc/changeset/a73d479beab43b732dac1743bf8bfee2943a07b2

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

commit a73d479beab43b732dac1743bf8bfee2943a07b2
Author: Max Bolingbroke <batterseapower at hotmail.com>
Date:   Sun Sep 4 12:38:19 2011 +0100

    Mk Coercion -> LCoercion

 compiler/deSugar/DsBinds.lhs        |   44 ++++++----
 compiler/deSugar/DsExpr.lhs         |   13 ++--
 compiler/deSugar/DsMonad.lhs        |    1 -
 compiler/deSugar/Match.lhs          |    8 +-
 compiler/hsSyn/HsBinds.lhs          |   30 +++----
 compiler/hsSyn/HsUtils.lhs          |   24 +++---
 compiler/typecheck/Inst.lhs         |    7 +-
 compiler/typecheck/TcArrows.lhs     |   11 +--
 compiler/typecheck/TcCanonical.lhs  |  137 ++++++++++++++---------------
 compiler/typecheck/TcExpr.lhs       |   50 ++++++------
 compiler/typecheck/TcHsSyn.lhs      |   31 ++-----
 compiler/typecheck/TcInstDcls.lhs   |   10 +-
 compiler/typecheck/TcInteract.lhs   |  137 ++++++++++++++---------------
 compiler/typecheck/TcMatches.lhs    |   23 ++---
 compiler/typecheck/TcPat.lhs        |   57 ++++++-------
 compiler/typecheck/TcRnMonad.lhs    |    7 +--
 compiler/typecheck/TcSMonad.lhs     |   20 ++---
 compiler/typecheck/TcUnify.lhs      |  164 +++++++++++++++--------------------
 compiler/typecheck/TcUnify.lhs-boot |    4 +-
 compiler/types/Coercion.lhs         |   79 ++++++-----------
 20 files changed, 381 insertions(+), 476 deletions(-)


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

    git show a73d479beab43b732dac1743bf8bfee2943a07b2