let is_big_tac tac =
let n = (count_tactic 0 tac) in
- prerr_endline ("Lunghezza: " ^ (string_of_int n));
+(* prerr_endline ("Lunghezza: " ^ (string_of_int n)); *)
n > maxsize
;;
open TacticAst
let rec tactical2box ?(attr = []) = function
- LocatedTactical (loc, tac) -> tactical2box tac
+ | LocatedTactical (loc, tac) -> tactical2box tac
+
+ | Tactic tac -> tactic2box tac
+ | Command cmd -> (* TODO dummy implementation *)
+ Box.Text([], TacticAstPp.pp_tactical (Command cmd))
+
| Fail -> Box.Text([],"fail")
| Do (count, tac) ->
Box.V([],[Box.Text([],"do " ^ string_of_int count);
Box.indent (tactical2box tac)])
| Seq tacs ->
Box.V([],tacticals2box tacs)
- | Tactic tac -> tactic2box tac
| Then (tac, tacs) ->
Box.V([],[tactical2box tac;
Box.H([],[Box.skip;