From: keithw <unknown>
Date: Tue, 13 Jun 2000 14:46:30 +0000 (+0000)
Subject: [project @ 2000-06-13 14:46:30 by keithw]
X-Git-Tag: Approximately_9120_patches~4262
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=a8066070654819e3c3e0928a62113b27f361acfe;p=ghc-hetmet.git

[project @ 2000-06-13 14:46:30 by keithw]
Alter to match new CoreLint.
---

diff --git a/ghc/compiler/typecheck/TcIfaceSig.lhs b/ghc/compiler/typecheck/TcIfaceSig.lhs
index 7f803d5..56d7468 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