pprintErr' i (UnifyScope n out tm env) =
  text "Can't unify" <> indented (annName n) <+>
  text "with" <> indented (pprintTerm i (delab i tm)) <+>
  text "as" <> indented (annName out) <> text "is not in scope" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (UnifyScope n out tm env) =
  text "Can't unify" <> indented (annName n) <+>
  text "with" <> indented (pprintTerm i (delab i tm)) <+>
  text "as" <> indented (annName out) <> text "is not in scope" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (UnifyScope n out tm env) =
  text "Can't unify" <> indented (annName n) <+>
  text "with" <> indented (pprintTerm i (delab i tm)) <+>
  text "as" <> indented (annName out) <> text "is not in scope" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty