pprintErr' i (InfiniteUnify x tm env) =
  text "Unifying" <+> annName' x (showbasic x) <+> text "and" <+> pprintTerm i (delab i tm) <+>
  text "would lead to infinite value" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (InfiniteUnify x tm env) =
  text "Unifying" <+> annName' x (showbasic x) <+> text "and" <+> pprintTerm i (delab i tm) <+>
  text "would lead to infinite value" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty
pprintErr' i (InfiniteUnify x tm env) =
  text "Unifying" <+> annName' x (showbasic x) <+> text "and" <+> pprintTerm i (delab i tm) <+>
  text "would lead to infinite value" <>
  if (opt_errContext (idris_options i)) then text (showSc i env) else empty