- | Ast.AttributedTerm (`IdRef id, term) when debug_printing ->
- sprintf "x(%s)[%s]" id (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`XmlAttrs attrs, term) when debug_printing ->
- sprintf "X(%s)[%s]"
- (String.concat ";"
- (List.map (fun (_, n, v) -> sprintf "%s=%s" n v) attrs))
- (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`Level (prec, assoc), term) when debug_printing ->
- sprintf "L(%d%s)[%s]" prec (pp_assoc assoc)
- (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`Raw _, term) when debug_printing ->
- sprintf "R[%s]" (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`Loc _, term) when debug_printing ->
- sprintf "@[%s]" (pp_term ~pp_parens:false term)
-
+ | Ast.AttributedTerm (attr, term) when debug_printing ->
+ sprintf "%s[%s]" (pp_attribute attr) (pp_term ~pp_parens:false term)