[commit: ghc] wip/rae-new-coercible: Remove unnecessary generalization around IsCoercion (ee7a0a0)
git at git.haskell.org
git at git.haskell.org
Tue Dec 2 20:44:24 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/rae-new-coercible
Link : http://ghc.haskell.org/trac/ghc/changeset/ee7a0a07ea427a8484d87b72f63a9d1bf8164342/ghc
>---------------------------------------------------------------
commit ee7a0a07ea427a8484d87b72f63a9d1bf8164342
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date: Tue Dec 2 15:12:37 2014 -0500
Remove unnecessary generalization around IsCoercion
>---------------------------------------------------------------
ee7a0a07ea427a8484d87b72f63a9d1bf8164342
compiler/typecheck/TcCanonical.lhs | 0
compiler/typecheck/TcEvidence.lhs | 16 +----
compiler/types/Coercion.hs | 42 ++----------
compiler/types/FamInstEnv.hs | 132 +++++++++++++++----------------------
4 files changed, 59 insertions(+), 131 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 ee7a0a07ea427a8484d87b72f63a9d1bf8164342
More information about the ghc-commits
mailing list