[project @ 2005-01-06 09:39:42 by simonpj]

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

diff --git a/ghc/compiler/typecheck/TcMatches.lhs b/ghc/compiler/typecheck/TcMatches.lhs
index 2819211..8f4d38f 100644 (file)
--- a/ghc/compiler/typecheck/TcMatches.lhs
+++ b/ghc/compiler/typecheck/TcMatches.lhs
@@ -285,7 +285,6 @@ tcMatchPats pats tys body_ty thing_inside
   = do { (pats', ex_tvs, res) <- tcPats LamPat pats tys thing_inside 
        ; tcCheckExistentialPat pats' ex_tvs tys body_ty
        ; returnM (pats', res) }
-  where
 
 tcCheckExistentialPat :: [LPat TcId]           -- Patterns (just for error message)
                      -> [TcTyVar]              -- Existentially quantified tyvars bound by pattern