(* 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"
(if do_composites then "compounds" else "no compounds")
let pp_command ~term_pp ~obj_pp = function
+ | Index (_,_,uri) -> "Indexing " ^ UriManager.string_of_uri uri
| Coercion (_, uri, do_composites, i) -> pp_coercion uri do_composites i
| Default (_,what,uris) -> pp_default what uris
| Drop _ -> "drop"