~tedks/space/trunk

Deleted unnecessary sedlex_menhir code

added added

removed removed

}

in { pos ; stream }

(** Register a new line in the lexer's position. *)

let new_line ?(n=0) (lexbuf: lexbuf) =

let open Lexing in

let lcp = lexbuf.pos in

lexbuf.pos <-

{lcp with

pos_lnum = lcp.pos_lnum + 1;

pos_bol = lcp.pos_cnum;

}

(** Update the position with the stream. *)

let update lexbuf =

let new_pos = Sedlexing.lexeme_end lexbuf.stream in

let p = lexbuf.pos in

lexbuf.pos <- {p with Lexing.pos_cnum = new_pos }

(** The last matched word. *)

let lexeme { stream } = Sedlexing.Utf8.lexeme stream