- match Sys.argv.(1) with
- | "alias" -> prerr_endline "Alias"; `Alias
- | "term" -> prerr_endline "Term"; `Term
- | "tactic" -> prerr_endline "Tactic"; `Tactic
- | "tactical" | "command" -> prerr_endline "Tactical"; `Tactical
- | "script" -> prerr_endline "Script"; `Script
- | _ ->
- prerr_endline "What???????";
- exit 1
- with Invalid_argument _ -> prerr_endline "Term"; `Term
+ List.assoc (Sys.argv.(1)) modes
+ with
+ | _ ->
+ prerr_endline
+ (sprintf "What? Supported modes are: %s\n"
+ (String.concat " " (List.map fst modes)));
+ exit 1