diff options
Diffstat (limited to 'gramlib/token.mli')
| -rw-r--r-- | gramlib/token.mli | 54 |
1 files changed, 27 insertions, 27 deletions
diff --git a/gramlib/token.mli b/gramlib/token.mli index 333d53ce86..c1de5cefff 100644 --- a/gramlib/token.mli +++ b/gramlib/token.mli @@ -5,52 +5,52 @@ (** Module deprecated since Camlp5 version 5.00. Use now module Plexing. Compatibility assumed. *) -type pattern = Plexing.pattern; +type pattern = Plexing.pattern -exception Error of string; +exception Error of string (** Use now [Plexing.Error] *) -type glexer 'te = Plexing.lexer 'te == - { tok_func : Plexing.lexer_func 'te; - tok_using : pattern -> unit; - tok_removing : pattern -> unit; - tok_match : mutable pattern -> 'te -> string; - tok_text : pattern -> string; - tok_comm : mutable option (list Ploc.t) } -; +type 'te glexer = + 'te Plexing.lexer = + { tok_func : 'te Plexing.lexer_func; + tok_using : pattern -> unit; + tok_removing : pattern -> unit; + mutable tok_match : pattern -> 'te -> string; + tok_text : pattern -> string; + mutable tok_comm : Ploc.t list option } -type lexer_func 'te = Stream.t char -> (Stream.t 'te * location_function) -and location_function = int -> Ploc.t; +type 'te lexer_func = char Stream.t -> 'te Stream.t * location_function +and location_function = int -> Ploc.t -value lexer_text : pattern -> string; +val lexer_text : pattern -> string (** Use now [Plexing.lexer_text] *) -value default_match : pattern -> (string * string) -> string; +val default_match : pattern -> string * string -> string (** Use now [Plexing.default_match] *) -value lexer_func_of_parser : - ((Stream.t char * ref int * ref int) -> ('te * Ploc.t)) -> lexer_func 'te; +val lexer_func_of_parser : + (char Stream.t * int ref * int ref -> 'te * Ploc.t) -> 'te lexer_func (** Use now [Plexing.lexer_func_of_parser] *) -value lexer_func_of_ocamllex : (Lexing.lexbuf -> 'te) -> lexer_func 'te; +val lexer_func_of_ocamllex : (Lexing.lexbuf -> 'te) -> 'te lexer_func (** Use now [Plexing.lexer_func_of_ocamllex] *) -value make_stream_and_location : - (unit -> ('te * Ploc.t)) -> (Stream.t 'te * location_function); +val make_stream_and_location : + (unit -> 'te * Ploc.t) -> 'te Stream.t * location_function (** Use now [Plexing.make_stream_and_location] *) -value eval_char : string -> char; +val eval_char : string -> char (** Use now [Plexing.eval_char] *) -value eval_string : Ploc.t -> string -> string; +val eval_string : Ploc.t -> string -> string (** Use now [Plexing.eval_string] *) -value restore_lexing_info : ref (option (int * int)); +val restore_lexing_info : (int * int) option ref (** Use now [Plexing.restore_lexing_info] *) -value line_nb : ref (ref int); +val line_nb : int ref ref (** Use now [Plexing.line_nb] *) -value bol_pos : ref (ref int); +val bol_pos : int ref ref (** Use now [Plexing.bol_pos] *) (* deprecated since version 4.08 *) -type location = Ploc.t; -value make_loc : (int * int) -> Ploc.t; -value dummy_loc : Ploc.t; +type location = Ploc.t +val make_loc : int * int -> Ploc.t +val dummy_loc : Ploc.t |