unimplemented is fatal. exit at the end.

damiendoligez · Mar 25, 2013 · d6d925a · d6d925a
1 parent f77f0ee
commit d6d925a
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/main.ml b/src/main.ml
@@ -115,7 +115,8 @@ let mainSdist argv =
     ()
 
 let unimplemented () =
-    eprintf "sorry, you've reached an unimplemented part ! please be patient or send a patch.\n"
+    eprintf "sorry, you've reached an unimplemented part ! please be patient or send a patch.\n";
+    exit 1
 
 let mainDoc argv =
     Arg.parse_argv (Array.of_list argv)
@@ -125,8 +126,7 @@ let mainDoc argv =
 
     let projFile = project_read () in
     Doc.run projFile;
-    unimplemented ();
-    ()
+    unimplemented ()
 
 let mainInfer argv =
     let anon = ref [] in
@@ -138,8 +138,7 @@ let mainInfer argv =
     if !anon = []
     then (printf "no modules to infer\n"; exit 0);
 
-    unimplemented ();
-    ()
+    unimplemented ()
 
 let mainInstall argv =
     let destdir = ref "" in