append_tail ~tail (Box.Object([],rhs))]) in
let plbox =
match pl with
- [] -> append_tail ~tail (Box.Text([],"[]"))
+ | [] -> append_tail ~tail (Box.Text([],"[]"))
+ | [r] -> (make_rule ~tail:("]" :: tail) "[" r)
| r::tl ->
Box.V([],
(make_rule ~tail:[] "[" r) ::
let ast2mpresXml ((ast, ids_to_uris) as arg) =
let astBox = ast2astBox arg in
let smallAst2mpresXml ast =
- P.print_mpres (ast2mpres (ast, ids_to_uris))
+ P.print_mpres (fun _ -> assert false) (ast2mpres (ast, ids_to_uris))
in
(Box.box2xml ~obj2xml:smallAst2mpresXml astBox)