None, "NTactic error: " ^ Lazy.force msg
| NTacStatus.Error (msg,Some exn) ->
None, "NTactic error: " ^ Lazy.force msg ^ "\n" ^ snd(to_string exn)
- | MultiPassDisambiguator.DisambiguationError (offset,errorll) ->
+(* | MultiPassDisambiguator.DisambiguationError (offset,errorll) ->
let loc =
match errorll with
| ((_,_,loc_msg,_)::_)::_ ->
in
loc,
"********** DISAMBIGUATION ERRORS: **********\n" ^
- explain (aux errorll)
+ explain (aux errorll) *)
| exn -> None, "Uncaught exception: " ^ Printexc.to_string exn