git.iko.soy/Idris-dev
on master help sign in
Replace error printing for CantSolveGoal
4c2a230Edwin Brady
src/Idris/Delaborate.hs+3
compare with master
unifiedsplit
@@ -155,6 +155,9 @@ pprintErr' i (CantConvert x y env) =
155 text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
155 text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
156 text "with" <> indented (pprintTerm i (delab i y)) <>
156 text "with" <> indented (pprintTerm i (delab i y)) <>
157 if (opt_errContext (idris_options i)) then text (showSc i env) else empty
157 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
158pprintErr' i (UnifyScope n out tm env) =
161pprintErr' i (UnifyScope n out tm env) =
159 text "Can't unify" <> indented (annName n) <+>
162 text "Can't unify" <> indented (annName n) <+>
160 text "with" <> indented (pprintTerm i (delab i tm)) <+>
163 text "with" <> indented (pprintTerm i (delab i tm)) <+>