diff options
Diffstat (limited to 'lex/common.mli')
| -rw-r--r-- | lex/common.mli | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lex/common.mli b/lex/common.mli deleted file mode 100644 index 4210d21d88..0000000000 --- a/lex/common.mli +++ /dev/null @@ -1,25 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Damien Doligez, projet Moscova, INRIA Rocquencourt *) -(* *) -(* Copyright 2002 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -type line_tracker;; -val open_tracker : string -> out_channel -> line_tracker -val close_tracker : line_tracker -> unit -val copy_chunk : - string -> - in_channel -> out_channel -> line_tracker -> Syntax.location -> bool -> unit -val output_mem_access : out_channel -> int -> unit -val output_memory_actions : - string -> out_channel -> Lexgen.memory_action list -> unit -val output_env : out_channel -> (string * Lexgen.ident_info) list -> unit -val output_args : out_channel -> string list -> unit - -val quiet_mode : bool ref;; |