X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;h=24cf3f8722b911aa6a2e6d514c6293731b32db21;hb=a13551ce57c67a333f41f0a6fe7e05a09d0c3614;hp=56351d7d9ac02868915a3e825991fd5b1fc7db2f;hpb=f493bc7c7325a3809dda3637c12e5d9383ba8117;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 56351d7..24cf3f8 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