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 <[email protected]> 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
