summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/editor.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-14 08:29:53 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-14 08:29:53 +0000
commit4b60a954766d56209441a230c6196da1a94716e8 (patch)
treec6b3d1311c0094c1d66e7b1955225944acfe604e /otherlibs/labltk/browser/editor.ml
parent59ee8f79897353aaa1466bc964b4aeb923d408b7 (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.ml1
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