[project @ 2000-06-13 14:46:30 by keithw]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcIfaceSig.lhs

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