diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 15:57:43 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 15:57:43 +0100 |
| commit | 7b6b26c822828fd9856b257b8a0109ea38f12fe6 (patch) | |
| tree | 977084ee9593208d0fcc5db187bc4cd5cc4f4af6 /compiler | |
| parent | 416beb8004dc1b732a682d64a363ea37a63d6885 (diff) | |
| download | haskell-7b6b26c822828fd9856b257b8a0109ea38f12fe6.tar.gz | |
Remove dead code
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 468cab56ad..f23c807791 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 |