Project

General

Profile

Revision 66359a5e src/lexerLustreSpec.mll

View differences:

src/lexerLustreSpec.mll
154 154
   try
155 155
     Parser_lustre.lustre_annot(* ParserLustreSpec.lustre_annot *) token lexbuf
156 156
   with Parsing.Parse_error as _e -> (
157
     Format.eprintf "Lexing error at position %a:@.unexpected token %s@.@?"
157
     Format.eprintf "Lexing error at position %a:@.unexpected token %s when parsing annotation %s@.@?"
158 158
       (fun fmt p -> Format.fprintf fmt "%s l%i c%i" p.Lexing.pos_fname p.Lexing.pos_lnum p.Lexing.pos_cnum) lexbuf.Lexing.lex_curr_p
159
       (Lexing.lexeme lexbuf);
159
       (Lexing.lexeme lexbuf) s;
160 160
     raise (Error (Location.curr lexbuf)))
161 161
     
162 162

  

Also available in: Unified diff