| Y.Name (s, false) -> out (P.sprintf "~%s;" s)
| Y.Apix i -> out (P.sprintf "+%i;" i)
| Y.Mark i -> out (P.sprintf "@%i;" i)
- | Y.Priv -> out (P.sprintf "%s;" "~")
+ | Y.Meta s -> out (P.sprintf "\"%s\";" s)
+ | Y.Priv -> out (P.sprintf "%s;" "~")
in
List.iter map a
pp_lenv print_string e; print_string " |- ";
pp_term print_string hd; print_newline ();
*)
- map e hd out tab; f (D.push2 C.err C.start e n ~t:hd)
+ map e hd out tab; f (D.push2 C.err C.start e n ~t:hd ())
in
aux err f e (ns, tl)
| _ -> err ()
let a =
let err _ = a in
let f s = Y.Name (s, true) :: a in
- H.get_sort err f l
+ H.string_of_sort err f l
in
let attrs = [X.position l; X.name a] in
X.tag X.sort attrs out tab