diff options
Diffstat (limited to 'compiler/typecheck/TcMType.hs')
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs index 39190680f6..2ec1ea0851 100644 --- a/compiler/typecheck/TcMType.hs +++ b/compiler/typecheck/TcMType.hs @@ -347,7 +347,7 @@ checkCoercionHole cv mco ok :: Type -> Bool ok cv_ty = case mco of - MRefl | EqPred NomEq cv_t1 cv_t2 <- classifyPredType cv_ty + MRefl | EqPred _ cv_t1 cv_t2 <- classifyPredType cv_ty -> cv_t1 `eqType` cv_t2 MCo co | (Pair t1 t2, role) <- coercionKindRole co |