[commit: ghc] master: Get rid of EvCoercible (808ded9)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/808ded9c03be25548a8954e61115af5ccd6f2241/ghc

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

commit 808ded9c03be25548a8954e61115af5ccd6f2241
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Wed Nov 27 16:15:46 2013 +0000

    Get rid of EvCoercible
    
    and use EvCoercion to describe the evidence for Coercible instances.


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

808ded9c03be25548a8954e61115af5ccd6f2241
 compiler/deSugar/DsBinds.lhs         |   45 +------------------------
 compiler/prelude/TysWiredIn.lhs-boot |    2 +-
 compiler/typecheck/TcEvidence.lhs    |   60 ++++++++++++----------------------
 compiler/typecheck/TcHsSyn.lhs       |   13 --------
 compiler/typecheck/TcInteract.lhs    |   31 ++++++++++--------
 compiler/types/Type.lhs              |   11 +++++--
 6 files changed, 48 insertions(+), 114 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 808ded9c03be25548a8954e61115af5ccd6f2241