diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-05-10 02:12:42 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-05-10 02:12:42 +0000 |
| commit | 0faeaf8bdf7b6bb37fe7f673c2710514c46e342f (patch) | |
| tree | 374a033b5d2193a3aacd4bae5d168c797813a892 | |
| parent | a29263a32f3c67364084707c4ac18b48781b8495 (diff) | |
| download | ocaml-0faeaf8bdf7b6bb37fe7f673c2710514c46e342f.tar.gz | |
update options/warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/editor.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 5ff1f015e1..b1900c6765 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -39,7 +39,7 @@ let compiler_preferences () = ~f:(fun (text, ref, invert) -> mk_chkbutton ~text ~ref ~invert) [ "No pervasives", Clflags.nopervasives, false; "No warnings", Typecheck.nowarnings, false; - "Labels commute", Clflags.classic, true; + "No labels", Clflags.classic, false; "Recursive types", Clflags.recursive_types, false; "Lex on load", lex_on_load, false; "Type on load", type_on_load, false ]) diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index a2bff4a91b..e6f325f179 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -23,8 +23,9 @@ let _ = Arg.parse [ "-I", Arg.String (fun s -> path := s :: !path), "<dir> Add <dir> to the list of include directories"; - "-labels", Arg.Clear Clflags.classic, - " Use commuting label syntax"; + "-labels", Arg.Clear Clflags.classic, " <obsolete>"; + "-nolabels", Arg.Set Clflags.classic, + " Ignore non-optional labels in types"; "-rectypes", Arg.Set Clflags.recursive_types, " Allow arbitrary recursive types"; "-st", Arg.Set st, " Smalltalk-like one-box browsing"; @@ -33,6 +34,7 @@ let _ = \032 A/a enable/disable all warnings\n\ \032 C/c enable/disable suspicious comment\n\ \032 F/f enable/disable partially applied function\n\ + \032 L/l enable/disable labels omitted in application\n\ \032 M/m enable/disable overriden method\n\ \032 P/p enable/disable partial match\n\ \032 S/s enable/disable non-unit statement\n\ |