Box.H ([],
(Box.Text ([], "?"^string_of_int n)::
(if (l <> []) then [Box.H ([],local_context)] else [])))
- | A.Literal (`Symbol (s,x))
- | A.Literal (`Keyword (s,x))
- | A.Literal (`Number (s,x)) ->
+ | A.Literal (_,`Symbol (s,x))
+ | A.Literal (_,`Keyword (s,x))
+ | A.Literal (_,`Number (s,x)) ->
let attr =
match x with
| None, None -> []
List.map boxify_pres (find_clusters terms)
in
(fun t ->
- prerr_endline ("ast:\n" ^ (NotationPp.pp_term status t));
+ (* prerr_endline ("ast:\n" ^ (NotationPp.pp_term status t));*)
aux prec t)
(* let render_to_boxml id_to_uri t =