From a8066070654819e3c3e0928a62113b27f361acfe Mon Sep 17 00:00:00 2001
From: keithw <unknown>
Date: Tue, 13 Jun 2000 14:46:30 +0000
Subject: [PATCH] [project @ 2000-06-13 14:46:30 by keithw] Alter to match new
CoreLint.
---
ghc/compiler/typecheck/TcIfaceSig.lhs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ghc/compiler/typecheck/TcIfaceSig.lhs b/ghc/compiler/typecheck/TcIfaceSig.lhs
index 7f803d52c6a5..56d74688f544 100644
--- a/ghc/compiler/typecheck/TcIfaceSig.lhs
+++ b/ghc/compiler/typecheck/TcIfaceSig.lhs
@@ -146,8 +146,8 @@ tcPragExpr unf_env name in_scope_vars expr
-- Check for type consistency in the unfolding
tcGetSrcLoc `thenNF_Tc` \ src_loc ->
case lintUnfolding src_loc in_scope_vars core_expr' of
- Nothing -> returnTc core_expr'
- Just fail_msg -> failWithTc ((doc <+> text "failed Lint") $$ fail_msg)
+ (Nothing,_) -> returnTc core_expr' -- ignore warnings
+ (Just fail_msg,_) -> failWithTc ((doc <+> text "failed Lint") $$ fail_msg)
where
doc = text "unfolding of" <+> ppr name
--
GitLab