[commit: ghc] wip/rae-new-coercible: Better error messages, now unwraps data instances. (f2e585b)
git at git.haskell.org
git at git.haskell.org
Tue Dec 2 20:44:16 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/rae-new-coercible
Link : http://ghc.haskell.org/trac/ghc/changeset/f2e585b3dace1757a83d9a6a1d1ab1fa20a8d21a/ghc
>---------------------------------------------------------------
commit f2e585b3dace1757a83d9a6a1d1ab1fa20a8d21a
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date: Mon Dec 1 22:03:04 2014 -0500
Better error messages, now unwraps data instances.
>---------------------------------------------------------------
f2e585b3dace1757a83d9a6a1d1ab1fa20a8d21a
compiler/coreSyn/CoreArity.lhs | 2 +-
compiler/deSugar/DsCCall.lhs | 4 +-
compiler/stranal/WwLib.hs | 2 +-
compiler/typecheck/Inst.lhs | 8 +-
compiler/typecheck/TcCanonical.lhs | 43 ++++---
compiler/typecheck/TcErrors.lhs | 36 +++++-
compiler/typecheck/TcEvidence.lhs | 27 ++--
compiler/typecheck/TcMType.lhs | 4 +
compiler/typecheck/TcRnTypes.lhs | 9 ++
compiler/types/Coercion.hs | 80 ++++++------
compiler/types/FamInstEnv.hs | 143 ++++++++++++---------
.../tests/indexed-types/should_fail/T9580.stderr | 6 +-
.../typecheck/should_fail/TcCoercibleFail.stderr | 47 +++----
.../tests/typecheck/should_run/TcCoercible.hs | 13 +-
14 files changed, 244 insertions(+), 180 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 f2e585b3dace1757a83d9a6a1d1ab1fa20a8d21a
More information about the ghc-commits
mailing list