[commit: ghc] master: Add HasDebugCallStack to ctEvCoecion (e2ca107)
git at git.haskell.org
git at git.haskell.org
Wed Oct 24 15:39:46 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/e2ca1072fd5b9d6f3983b7bb8099d728ed66efc0/ghc
>---------------------------------------------------------------
commit e2ca1072fd5b9d6f3983b7bb8099d728ed66efc0
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Oct 18 15:49:56 2018 +0100
Add HasDebugCallStack to ctEvCoecion
This is a debug-only change
>---------------------------------------------------------------
e2ca1072fd5b9d6f3983b7bb8099d728ed66efc0
compiler/typecheck/TcRnTypes.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index bbd85aa..8119be5 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -2825,7 +2825,7 @@ ctEvExpr ev@(CtWanted { ctev_dest = HoleDest _ })
= Coercion $ ctEvCoercion ev
ctEvExpr ev = evId (ctEvEvId ev)
-ctEvCoercion :: CtEvidence -> Coercion
+ctEvCoercion :: HasDebugCallStack => CtEvidence -> Coercion
ctEvCoercion (CtGiven { ctev_evar = ev_id })
= mkTcCoVarCo ev_id
ctEvCoercion (CtWanted { ctev_dest = dest })
More information about the ghc-commits
mailing list