X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyFuns.lhs;h=4c5be1c8993ce7d226b2bcc797d1a56eb7ad36a9;hb=24f3ffdaa0ffd164616969080c3e6400f04980dd;hp=5a6f08454f6047d8d5f1e7822aa2679fecfc4034;hpb=dd99b6f8c61f393087d03cd697c06051a43ca4e9;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcTyFuns.lhs b/compiler/typecheck/TcTyFuns.lhs index 5a6f084..4c5be1c 100644 --- a/compiler/typecheck/TcTyFuns.lhs +++ b/compiler/typecheck/TcTyFuns.lhs @@ -1211,9 +1211,9 @@ misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) misMatchMsg env0 (ty_act, ty_exp) = let (env1, pp_exp, extra_exp) = ppr_ty env0 ty_exp (env2, pp_act, extra_act) = ppr_ty env1 ty_act - msg = sep [sep [ptext SLIT("Couldn't match expected type") <+> pp_exp, + msg = sep [sep [ptext (sLit "Couldn't match expected type") <+> pp_exp, nest 7 $ - ptext SLIT("against inferred type") <+> pp_act], + ptext (sLit "against inferred type") <+> pp_act], nest 2 (extra_exp $$ extra_act)] in (env2, msg)