From: simonpj Date: Thu, 6 Jan 2005 09:39:42 +0000 (+0000) Subject: [project @ 2005-01-06 09:39:42 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~1294 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6b29d930b1a8b4fbb5925099e51ecc0a2483bf54;p=ghc-hetmet.git [project @ 2005-01-06 09:39:42 by simonpj] Remove null where --- diff --git a/ghc/compiler/typecheck/TcMatches.lhs b/ghc/compiler/typecheck/TcMatches.lhs index 2819211..8f4d38f 100644 --- 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