[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