[r2003-07-30 10:34:39 by cvscast] Don't report unused branches after error in toplevel

Original author: cvscast
Date: 2003-07-30 10:34:39+00:00

driver/cduce.ml

@@ -206,6 +206,7 @@ let rec phrases ppf phs = match phs with
   | [] -> ()
 
 let run rule ppf ppf_err input =
+  Typer.clear_unused_branches ();
   try 
     let p = 
       try rule input

typing/typer.ml

@@ -1112,6 +1112,9 @@ let rec unused_branches b =
 let report_unused_branches () =
   unused_branches !cur_branch;
   cur_branch := []
+  
+let clear_unused_branches () =
+  cur_branch := []
 
   (* Schema stuff from now on ... *)
 

typing/typer.mli

@@ -40,6 +40,7 @@ val type_rec_funs: env -> Typed.texpr list -> (id * Types.descr) list
 
 val report_unused_branches : unit -> unit
   (* Issue warnings for unused branches *)
+val clear_unused_branches : unit -> unit
 
 val flatten: Location.loc -> 
   (Types.descr -> bool -> Types.descr) -> (Types.descr -> bool -> Types.descr)