[r2003-05-10 17:56:28 by cvscast] Detect unused branches

Original author: cvscast
Date: 2003-05-10 17:56:28+00:00

driver/cduce.ml

@@ -176,8 +176,8 @@ let run ppf ppf_err input =
 
   let do_fun_decls decls =
     let decls = List.map (fun (p,e) -> Typer.let_decl p e) decls in
-    Typer.report_unused_branches ();
     insert_type_bindings (Typer.type_rec_funs !typing_env decls);
+    Typer.report_unused_branches ();
     List.iter eval_decl decls
   in
   let rec phrases funs = function