diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
| commit | fe2e11a8fb4dcf166ffb7f91e6eb8dd0f4402f25 (patch) | |
| tree | 8dff8da7bfc88f25c78afe5340d78daa8c89587c /otherlibs/labltk/compiler/maincompile.ml | |
| parent | 7e053c39de8693928b83038c1727f5d90228c39d (diff) | |
| download | ocaml-strict_labels.tar.gz | |
remove doublonsstrict_labels
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/compiler/maincompile.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/maincompile.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index 146c5f08b5..65535df790 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -16,6 +16,7 @@ (* $Id$ *) open StdLabels +open Support open Tables open Printer open Compile @@ -118,7 +119,7 @@ let uniq_clauses = function let c = constr.var_name in if Hashtbl.mem t c then (check_constr constr (Hashtbl.find t c)) - else Hashtbl.add' t ~key:c ~data:constr); + else Hashtbl'.add t ~key:c ~data:constr); elements t;; let option_hack oc = @@ -268,11 +269,11 @@ let main () = (fun filename -> input_name := filename) "Usage: tkcompiler <source file>" ; try - verbose_string "Parsing... "; + verbose_endline "Parsing..."; parse_file !input_name; - verbose_string "Compiling... "; + verbose_endline "Compiling..."; compile (); - verbose_string "Finished"; + verbose_endline "Finished"; exit 0 with | Lexer.Lexical_error s -> |