diff options
| author | simonpj@microsoft.com <unknown> | 2007-07-03 16:28:14 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-07-03 16:28:14 +0000 |
| commit | a13551ce57c67a333f41f0a6fe7e05a09d0c3614 (patch) | |
| tree | 159f6ea582471fef44bb17b6335aace47d0b1e4c /compiler | |
| parent | f47653a986cd329dc9159906432f2ed7819a4043 (diff) | |
| download | haskell-a13551ce57c67a333f41f0a6fe7e05a09d0c3614.tar.gz | |
Improve formatting of errors, and fix a typo
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcType.lhs | 6 | ||||
| -rw-r--r-- | compiler/typecheck/TcUnify.lhs | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 56351d7d9a..24cf3f8722 100644 --- a/compiler/typecheck/TcType.lhs +++ b/compiler/typecheck/TcType.lhs @@ -451,9 +451,9 @@ pprSkolTvBinding tv ppr_skol UnkSkol = empty -- Unhelpful; omit ppr_skol RuntimeUnkSkol = ptext SLIT("is an unknown runtime type") - ppr_skol info = ptext SLIT("is a rigid type variable bound by") - <+> sep [pprSkolInfo info, - nest 2 (ptext SLIT("at") <+> ppr (getSrcLoc tv))] + ppr_skol info = sep [ptext SLIT("is a rigid type variable bound by"), + sep [pprSkolInfo info, + nest 2 (ptext SLIT("at") <+> ppr (getSrcLoc tv))]] pprSkolInfo :: SkolemInfo -> SDoc pprSkolInfo (SigSkol ctxt) = pprUserTypeCtxt ctxt diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index c7082cd757..821a1cc086 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -1601,7 +1601,7 @@ ppr_ty :: TidyEnv -> TcType -> TcType -> TcM (TidyEnv, SDoc, SDoc) ppr_ty env ty other_ty = do { ty' <- zonkTcType ty ; let (env1, tidy_ty) = tidyOpenType env ty' - ; (env2, extra) <- ppr_extra env1 ty' other_ty + ; (env2, extra) <- ppr_extra env1 tidy_ty other_ty ; return (env2, quotes (ppr tidy_ty), extra) } -- (ppr_extra env ty other_ty) shows extra info about 'ty' |