import Outputable
import SrcLoc ( Located(..) )
import Maybes
+import FastString
-- standard
import Data.List
-- else
-- dict' = dict `cast` co
expr = HsVar $ instToId source_dict
- cast_expr = HsWrap (WpCo st_co) expr
+ cast_expr = HsWrap (WpCast st_co) expr
rhs = L (instLocSpan loc) cast_expr
binds = instToDictBind target_dict rhs
-- return the new inst
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)