exception Found of int
+let all_disambiguation_passes = ref false
+
let gui_instance = ref None
class type browserWin =
end
-let rec interactive_error_interp ?(all_passes=false) (source_buffer:GSourceView.source_buffer) notify_exn offset errorll script_fname
+let rec interactive_error_interp ~all_passes (source_buffer:GSourceView.source_buffer) notify_exn offset errorll script_fname
=
(* hook to save a script for each disambiguation error *)
if false then
);
connect_button dialog#disambiguationErrorsMoreErrors
(fun _ -> return () ;
- interactive_error_interp ~all_passes:true source_buffer notify_exn
- offset errorll script_fname);
+ interactive_error_interp ~all_passes:true source_buffer
+ notify_exn offset errorll script_fname);
connect_button dialog#disambiguationErrorsCancelButton fail;
dialog#disambiguationErrors#show ();
GtkThread.main ()
with
| GrafiteDisambiguator.DisambiguationError (offset,errorll) ->
(try
- interactive_error_interp source_buffer notify_exn offset
- errorll script_fname
+ interactive_error_interp ~all_passes:!all_disambiguation_passes source_buffer
+ notify_exn offset errorll script_fname
with
exc -> notify_exn exc);
unlock_world ()