sig val curr_lexbuf : string Pervasives.ref type loc = { file : string; line : int; start : int; stop : int; } val loc_of_pos : Lexing.lexbuf -> Parsing_error.loc val error : Parsing_error.loc -> 'a -> string end