diff options
| author | Francois Rouaix <francois.rouaix@gmail.com> | 2003-07-08 08:51:13 +0000 |
|---|---|---|
| committer | Francois Rouaix <francois.rouaix@gmail.com> | 2003-07-08 08:51:13 +0000 |
| commit | 5536c2d5a66cb763e4da699c47a2698f8bc66cd1 (patch) | |
| tree | f89af5e6df16eb76cab6abcb93ad33d8a63f245b /otherlibs/labltk | |
| parent | 78af7a8d5bf6ed8e390deec9ac478553cb5ac30e (diff) | |
Fixed: broken /type comment (used by safe libs for applets)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk')
| -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 *) |