function
| Absurd (_, term) -> "absurd" ^ term_pp term
| Apply (_, term) -> "apply " ^ term_pp term
- | ApplyS (_, term) -> "applyS " ^ term_pp term
+ | ApplyS (_, term, params) ->
+ "applyS " ^ term_pp term ^
+ String.concat " "
+ (List.map (fun (k,v) -> if v <> "" then k ^ "=" ^ v else k) params)
| Auto (_,params) -> "auto " ^
String.concat " "
(List.map (fun (k,v) -> if v <> "" then k ^ "=" ^ v else k) params)
(* 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"