diff options
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_font.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_grab.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/compile.ml | 2 |
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 *) |