diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-14 08:29:53 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-04-14 08:29:53 +0000 |
commit | 4b60a954766d56209441a230c6196da1a94716e8 (patch) | |
tree | c6b3d1311c0094c1d66e7b1955225944acfe604e /otherlibs/labltk/browser/editor.ml | |
parent | 59ee8f79897353aaa1466bc964b4aeb923d408b7 (diff) |
Add recursive types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
-rw-r--r-- | otherlibs/labltk/browser/editor.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index d0ed98cbc..fc8edbca6 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -39,6 +39,7 @@ let compiler_preferences () = [ "No pervasives", Clflags.nopervasives, false; "No warnings", Typecheck.nowarnings, false; "Labels commute", Clflags.classic, true; + "Recursive types", Clflags.recursive_types, false; "Lex on load", lex_on_load, false; "Type on load", type_on_load, false ]) in |