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,_)::_)::_ ->
let y = y + offset in
let floc = HExtlib.floc_of_loc (x,y) in
Some floc
- | _ -> assert false
+ | _ -> (* assert false *) None
in
let annotated_errorll =
List.rev
in
loc,
"********** DISAMBIGUATION ERRORS: **********\n" ^
- explain (aux errorll)
+ explain (aux errorll) *)
| exn -> None, "Uncaught exception: " ^ Printexc.to_string exn