= do { (_, mb_res) <- tryTc (tcSimplifyDefault [mkClassPred cls [ty]])
; return (isJust mb_res) }
= do { (_, mb_res) <- tryTc (tcSimplifyDefault [mkClassPred cls [ty]])
; return (isJust mb_res) }
- = hang (ptext SLIT("The default type") <+> quotes (ppr ty) <+> ptext SLIT("is not an instance of"))
- 2 (foldr1 (\a b -> a <+> ptext SLIT("or") <+> b) (map (quotes. ppr) deflt_clss))
+ = hang (ptext (sLit "The default type") <+> quotes (ppr ty) <+> ptext (sLit "is not an instance of"))
+ 2 (foldr1 (\a b -> a <+> ptext (sLit "or") <+> b) (map (quotes. ppr) deflt_clss))