diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-02-15 14:34:54 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-02-15 14:34:54 +0000 |
| commit | a935a1f5b26cdc7a2d139275248995cfd0019772 (patch) | |
| tree | ce17670c4da09d98e717079371ccce0ece0d6acc | |
| parent | b7e59acd1cb120c0c30015244742b584f11748a5 (diff) | |
| download | ocaml-a935a1f5b26cdc7a2d139275248995cfd0019772.tar.gz | |
ajoute -principal
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/poly_meth2@4413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/main_args.ml | 1 | ||||
| -rw-r--r-- | driver/main_args.mli | 1 | ||||
| -rw-r--r-- | tools/ocamlcp.ml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index aeb9483185..4d62ab5774 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -38,6 +38,7 @@ module Make_options (F : val _output_obj : unit -> unit val _pack : unit -> unit val _pp : string -> unit + val _principal : unit -> unit val _rectypes : unit -> unit val _thread : unit -> unit val _unsafe : unit -> unit diff --git a/driver/main_args.mli b/driver/main_args.mli index 3f71e245bf..dac021e056 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -38,6 +38,7 @@ module Make_options (F : val _output_obj : unit -> unit val _pack : unit -> unit val _pp : string -> unit + val _principal : unit -> unit val _rectypes : unit -> unit val _thread : unit -> unit val _unsafe : unit -> unit diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index e36a258529..64b19e3227 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -57,6 +57,7 @@ module Options = Main_args.Make_options (struct let _output_obj = option "-output-obj" let _pack = option "-pack" let _pp s = incompatible "-pp" + let _principal = option "-principal" let _rectypes = option "-rectypes" let _thread () = ismultithreaded := "-thread"; option "-thread" () let _unsafe = option "-unsafe" |