@@ -155,6 +155,9 @@ pprintErr' i (CantConvert x y env) =
155155 text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
156156 text "with" <> indented (pprintTerm i (delab i y)) <>
157157 if (opt_errContext (idris_options i)) then text (showSc i env) else empty
158+pprintErr' i (CantSolveGoal x env) =
159+ text "Can't solve goal " <> indented (pprintTerm i (delab i x)) <>
160+ if (opt_errContext (idris_options i)) then text (showSc i env) else empty
158161pprintErr' i (UnifyScope n out tm env) =
159162 text "Can't unify" <> indented (annName n) <+>
160163 text "with" <> indented (pprintTerm i (delab i tm)) <+>