pprintErr' i (CantUnify _ x y e sc s) =
  text "Can't unify" <> indented (pprintTerm i (delab i x)) <$>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  case e of
    Msg "" -> empty
    _ -> line <> line <> text "Specifically:" <>
         indented (pprintErr' i e) <>
         if (opt_errContext (idris_options i)) then text $ showSc i sc else empty
pprintErr' i (CantUnify _ x y e sc s) =
  text "Can't unify" <> indented (pprintTerm i (delab i x)) <$>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  case e of
    Msg "" -> empty
    _ -> line <> line <> text "Specifically:" <>
         indented (pprintErr' i e) <>
         if (opt_errContext (idris_options i)) then text $ showSc i sc else empty
pprintErr' i (CantUnify _ x y e sc s) =
  text "Can't unify" <> indented (pprintTerm i (delab i x)) <$>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  case e of
    Msg "" -> empty
    _ -> line <> line <> text "Specifically:" <>
         indented (pprintErr' i e) <>
         if (opt_errContext (idris_options i)) then text $ showSc i sc else empty