Add HasDebugCallStack to ctEvCoecion
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 18 Oct 2018 14:49:56 +0000 (15:49 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 24 Oct 2018 15:38:55 +0000 (16:38 +0100)
This is a debug-only change

compiler/typecheck/TcRnTypes.hs

index bbd85aa..8119be5 100644 (file)
@@ -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 })