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 -> '-> string
end