move args from lang_fans into fan

Author: bobzhang

src/cold/fan.ml

@@ -6,6 +6,13 @@
 
 let _ =
   begin
+    Options.add
+    ("-keep",
+     (Arg.Set State.keep), "Keep the included type definitions") ;
+  Options.add
+    ("-loaded-plugins",
+     (Arg.Unit Typehook.show_modules), "Show plugins");
+
     Options.adds Fan_args.initial_spec_list;
     Ast_parsers.use_parsers [ "fan"];
     try
@@ -20,5 +27,5 @@ let _ =
 
 
 (* local variables: *)
-(* compile-command: "cd .. && pmake main_annot/fan.cmo" *)
+(* compile-command: "cd .. && omake main_annot/fan.cmo" *)
 (* end: *)

src/main/lang_fans.ml

@@ -40,12 +40,6 @@ with exp
 
 let lexer = Lexing_util.adapt_to_stream token ;;
 begin 
-  Options.add
-    ("-keep",
-     (Arg.Set State.keep), "Keep the included type definitions") ;
-  Options.add
-    ("-loaded-plugins",
-     (Arg.Unit Typehook.show_modules), "Show plugins");
   %register{
     name: fans;
     lexer:lexer ;