diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:17:12 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:17:12 +0000 |
| commit | 700da01338135771047eb11c6af925f04e10909c (patch) | |
| tree | 2369856d9f053c6970aa54f21429bf43d53272c1 /toplevel | |
| parent | e5ecb27dab61d1c5f7df22aaacaeaa83f1994677 (diff) | |
Adding the -strict-sequence option.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/opttopmain.ml | 2 | ||||
| -rw-r--r-- | toplevel/topmain.ml | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/toplevel/opttopmain.ml b/toplevel/opttopmain.ml index b75b35998..4e08353ec 100644 --- a/toplevel/opttopmain.ml +++ b/toplevel/opttopmain.ml @@ -74,6 +74,8 @@ let main () = " do not add default directory to the list of include directories"; "-principal", Arg.Set principal, " Check principality of type inference"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; + "-strict-sequence", Arg.Set strict_sequence, + " Left hand part of a sequence must have type unit"; "-S", Arg.Set keep_asm_file, " Keep intermediate assembly file"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; "-version", Arg.Unit print_version, " Print version and exit"; diff --git a/toplevel/topmain.ml b/toplevel/topmain.ml index bc4a576f1..a8cab01dd 100644 --- a/toplevel/topmain.ml +++ b/toplevel/topmain.ml @@ -68,6 +68,8 @@ let main () = " do not add default directory to the list of include directories"; "-principal", Arg.Set principal, " Check principality of type inference"; "-rectypes", Arg.Set recursive_types, " Allow arbitrary recursive types"; + "-strict-sequence", Arg.Set recursive_types, + " Left hand part of a sequence must have type unit"; "-unsafe", Arg.Set fast, " No bound checking on array and string access"; "-version", Arg.Unit print_version, " Print version and exit"; "-w", Arg.String (Warnings.parse_options false), |