[commit: ghc] master: Remove dead code (7b6b26c)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/7b6b26c822828fd9856b257b8a0109ea38f12fe6

>---------------------------------------------------------------

commit 7b6b26c822828fd9856b257b8a0109ea38f12fe6
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jul 10 15:57:43 2012 +0100

    Remove dead code

>---------------------------------------------------------------

 compiler/typecheck/TcPat.lhs |   26 --------------------------
 1 files changed, 0 insertions(+), 26 deletions(-)

diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index 468cab5..f23c807 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -965,32 +965,6 @@ Meanwhile, the strategy is:
 %*									*
 %************************************************************************
 
-{-   This was used to improve the error message from 
-     an existential escape. Need to think how to do this.
-
-sigPatCtxt :: [LPat Var] -> [Var] -> [TcType] -> TcType -> TidyEnv
-           -> TcM (TidyEnv, SDoc)
-sigPatCtxt pats bound_tvs pat_tys body_ty tidy_env 
-  = do	{ pat_tys' <- mapM zonkTcType pat_tys
-	; body_ty' <- zonkTcType body_ty
-	; let (env1,  tidy_tys)    = tidyOpenTypes tidy_env (map idType show_ids)
-	      (env2, tidy_pat_tys) = tidyOpenTypes env1 pat_tys'
-	      (env3, tidy_body_ty) = tidyOpenType  env2 body_ty'
-	; return (env3,
-		 sep [ptext (sLit "When checking an existential match that binds"),
-		      nest 2 (vcat (zipWith ppr_id show_ids tidy_tys)),
-		      ptext (sLit "The pattern(s) have type(s):") <+> vcat (map ppr tidy_pat_tys),
-		      ptext (sLit "The body has type:") <+> ppr tidy_body_ty
-		]) }
-  where
-    bound_ids = collectPatsBinders pats
-    show_ids = filter is_interesting bound_ids
-    is_interesting id = any (`elemVarSet` varTypeTyVars id) bound_tvs
-
-    ppr_id id ty = ppr id <+> dcolon <+> ppr ty
-	-- Don't zonk the types so we get the separate, un-unified versions
--}
-
 \begin{code}
 maybeWrapPatCtxt :: Pat Name -> (TcM a -> TcM b) -> TcM a -> TcM b
 -- Not all patterns are worth pushing a context