[commit: ghc] wip/T9233: Optimise optCoercion. (#9233) (9a432fb)

[git at git.haskell.org]

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

On branch  : wip/T9233
Link       : http://ghc.haskell.org/trac/ghc/changeset/9a432fb77ce54c2d4fa38e0d1d40b10ebc90cd74/ghc

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

commit 9a432fb77ce54c2d4fa38e0d1d40b10ebc90cd74
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jul 16 12:25:24 2014 -0400

    Optimise optCoercion. (#9233)
    
    The old optCoercion (and helper functions) used coercionKind and
    coercionRole internally. This was terrible when these had to be
    called at *every* point in the coercion tree during the recursive
    descent. This is rewritten to avoid such calls.


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

9a432fb77ce54c2d4fa38e0d1d40b10ebc90cd74
 compiler/types/OptCoercion.lhs | 281 +++++++++++++++++++++++++++--------------
 1 file changed, 187 insertions(+), 94 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 9a432fb77ce54c2d4fa38e0d1d40b10ebc90cd74