let wrap fname f x =
try f x
with
- | MultiPassDisambiguator.DisambiguationError _
+ | GrafiteDisambiguate.Error _
| NCicRefiner.RefineFailure _
| NCicUnification.UnificationFailure _
| NCicTypeChecker.TypeCheckerFailure _
let pp_tac_status (status: #tac_status) =
prerr_endline (status#ppobj status#obj);
+ (* let a,p = NCicParamod.size_of_state status#eq_cache in
+ prerr_endline ("number of actives: " ^ string_of_int a ^ "and number of passives: " ^ string_of_int p) *)
prerr_endline ("STACK:\n" ^ Continuationals.Stack.pp status#stack)
;;