summaryrefslogtreecommitdiff
path: root/compiler/types/Coercion.lhs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/types/Coercion.lhs')
-rw-r--r--compiler/types/Coercion.lhs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 7df5b8e38f..9fc3c6e89e 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -870,7 +870,7 @@ substCoVar :: CvSubst -> CoVar -> Coercion
substCoVar (CvSubst in_scope _ cenv) cv
| Just co <- lookupVarEnv cenv cv = co
| Just cv1 <- lookupInScope in_scope cv = ASSERT( isCoVar cv1 ) CoVarCo cv1
- | otherwise = WARN( True, ptext (sLit "substCoVar not in scope") <+> ppr cv )
+ | otherwise = WARN( dflags, True, ptext (sLit "substCoVar not in scope") <+> ppr cv )
ASSERT( isCoVar cv ) CoVarCo cv
substCoVars :: CvSubst -> [CoVar] -> [Coercion]