Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
[ghc.git] / compiler / typecheck / TcErrors.hs
index c78f073..48c0361 100644 (file)
@@ -624,7 +624,7 @@ maybeReportError ctxt err
   | otherwise
   = case cec_defer_type_errors ctxt of
       TypeDefer -> return ()
-      TypeWarn  -> reportWarning NoReason err
+      TypeWarn  -> reportWarning (Reason Opt_WarnDeferredTypeErrors) err
       TypeError -> reportError err
 
 addDeferredBinding :: ReportErrCtxt -> ErrMsg -> Ct -> TcM ()