@@ -152,17 +152,17 @@ pprintErr' i (CantUnify _ x y e sc s) =
152152 indented (pprintErr' i e) <>
153153 if (opt_errContext (idris_options i)) then text $ showSc i sc else empty
154154pprintErr' 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)) <$>
156156 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 line <> text (showSc i env) else empty
158158pprintErr' i (CantSolveGoal x env) =
159159 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
160+ if (opt_errContext (idris_options i)) then line <> text (showSc i env) else empty
161161pprintErr' i (UnifyScope n out tm env) =
162162 text "Can't unify" <> indented (annName n) <+>
163163 text "with" <> indented (pprintTerm i (delab i tm)) <+>
164164 text "as" <> indented (annName out) <> text "is not in scope" <>
165− if (opt_errContext (idris_options i)) then text (showSc i env) else empty
165+ if (opt_errContext (idris_options i)) then line <> text (showSc i env) else empty
166166pprintErr' i (CantInferType t) = text "Can't infer type for" <+> text t
167167pprintErr' i (NonFunctionType f ty) =
168168 pprintTerm i (delab i f) <+>
@@ -178,7 +178,7 @@ pprintErr' i (CantIntroduce ty) =
178178pprintErr' i (InfiniteUnify x tm env) =
179179 text "Unifying" <+> annName' x (showbasic x) <+> text "and" <+> pprintTerm i (delab i tm) <+>
180180 text "would lead to infinite value" <>
181− if (opt_errContext (idris_options i)) then text (showSc i env) else empty
181+ if (opt_errContext (idris_options i)) then line <> text (showSc i env) else empty
182182pprintErr' i (NotInjective p x y) =
183183 text "Can't verify injectivity of" <+> pprintTerm i (delab i p) <+>
184184 text " when unifying" <+> pprintTerm i (delab i x) <+> text "and" <+>