(* real macros *)
| Check (_, term) -> sprintf "check %s" (term_pp term)
| Hint _ -> "hint"
- | Inline (_,suri) -> sprintf "inline %s" suri
+ | Inline (_,suri) -> sprintf "inline \"%s\"" suri
let pp_associativity = function
| Gramext.LeftA -> "left associative"
(String.concat " " (List.map UriManager.string_of_uri uris))
let pp_coercion uri do_composites arity =
- sprintf "coercion %s %d (* %s *)" (UriManager.string_of_uri uri) arity
+ sprintf "coercion \"%s\" %d (* %s *)" (UriManager.string_of_uri uri) arity
(if do_composites then "compounds" else "no compounds")
let pp_command ~term_pp ~obj_pp = function