pprintErr' i (CantSolveGoal x env) =
  text "Can't solve goal " <> indented (pprintTerm i (delab i x)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (CantSolveGoal x env) =
  text "Can't solve goal " <> indented (pprintTerm i (delab i x)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (CantSolveGoal x env) =
  text "Can't solve goal " <> indented (pprintTerm i (delab i x)) <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty