summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--otherlibs/labltk/builtin/builtin_font.ml2
-rw-r--r--otherlibs/labltk/builtin/builtin_grab.ml2
-rw-r--r--otherlibs/labltk/compiler/compile.ml2
3 files changed, 5 insertions, 1 deletions
diff --git a/otherlibs/labltk/builtin/builtin_font.ml b/otherlibs/labltk/builtin/builtin_font.ml
index 615f937e3..3425391bb 100644
--- a/otherlibs/labltk/builtin/builtin_font.ml
+++ b/otherlibs/labltk/builtin/builtin_font.ml
@@ -1,2 +1,4 @@
+(* type *)
type font = string
+(* /type *)
diff --git a/otherlibs/labltk/builtin/builtin_grab.ml b/otherlibs/labltk/builtin/builtin_grab.ml
index 3fe288d16..256926821 100644
--- a/otherlibs/labltk/builtin/builtin_grab.ml
+++ b/otherlibs/labltk/builtin/builtin_grab.ml
@@ -1 +1,3 @@
+(* type *)
type grabGlobal = bool
+(* /type *)
diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml
index 76be09ddb..891078e98 100644
--- a/otherlibs/labltk/compiler/compile.ml
+++ b/otherlibs/labltk/compiler/compile.ml
@@ -284,7 +284,7 @@ let camltk_write_type ~intf:w ~impl:w' name ~def:typdef =
w ("type " ^ name ^ " =\n");
w " | ";
write_constructors ~w (sort_components typdef.constructors);
- w "\n\n";
+ w "\n(* /type *)\n\n";
(* Dynamic Subtyping *)
if typdef.subtypes <> [] then begin
(* The set of its constructors *)