diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2002-10-30 23:31:26 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2002-10-30 23:31:26 +0000 |
| commit | 52e953e9a8590e05d4e2923176220c05d4d8cc3b (patch) | |
| tree | e6dd5a2bf0829e153608e8a117bf03e20ab6d810 /otherlibs/labltk/compiler | |
| parent | e143b9faf51812d5438d741aec4025f98baf2a04 (diff) | |
spurious duplicated close_in
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/compiler')
| -rw-r--r-- | otherlibs/labltk/compiler/maincompile.ml | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index 585deecaa..2e0c3c369 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -70,32 +70,28 @@ let parse_file filename = Parser.entry Lexer.main lexbuf done with - Parsing.Parse_error -> - close_in ic; + | Parsing.Parse_error -> prerr_error_header(); prerr_string "Syntax error \n"; exit 1 | Lexer.Lexical_error s -> - close_in ic; prerr_error_header(); prerr_string "Lexical error ("; prerr_string s; prerr_string ")\n"; exit 1 | Duplicate_Definition (s,s') -> - close_in ic; prerr_error_header(); prerr_string s; prerr_string " "; prerr_string s'; prerr_string " is defined twice.\n"; exit 1 | Compiler_Error s -> - close_in ic; prerr_error_header(); prerr_string "Internal error: "; prerr_string s; prerr_string "\n"; prerr_string "Please report bug\n"; exit 1 | End_of_file -> - close_in ic + () (* The hack to provoke the production of cCAMLtoTKoptions_constrs *) @@ -171,7 +167,7 @@ let option_hack oc = let realname name = (* module name fix for camltk *) - if !Flags.camltk then "c" ^ (String.capitalize name) + if !Flags.camltk then "c" ^ String.capitalize name else name ;; @@ -375,7 +371,6 @@ module Timer = Timer;; output_string oc ".cmo ") module_table; output_string oc "\n" end; - close_out oc let main () = |