-(* | AttributedTerm (`Href _, term) when print_attributes ->
- sprintf "#[%s]" (pp_term term)
- | AttributedTerm (_, term) when print_attributes ->
- sprintf "@[%s]" (pp_term term) *)
- | AttributedTerm (`Raw (text, None), _) -> text
- | AttributedTerm (`Raw (text, Some `Ast), _) -> sprintf "@{%s}" text
- | AttributedTerm (`Raw (text, Some `Meta), _) -> sprintf "${%s}" text
+ | AttributedTerm (`Href _, term) when debug_printing ->
+ sprintf "#[%s]" (pp_term ~pp_parens:false term)
+ | AttributedTerm (_, term) when debug_printing ->
+ sprintf "@[%s]" (pp_term ~pp_parens:false term)
+ | AttributedTerm (`Raw text, _) -> text