pprintErr' i (CantConvert x y env) =
  text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (CantConvert x y env) =
  text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (CantConvert x y env) =
  text "Can't convert" <> indented (pprintTerm i (delab i x)) <>
  text "with" <> indented (pprintTerm i (delab i y)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty