Project

General

Profile

« Previous | Next » 

Revision 66359a5e

Added by Pierre-Loïc Garoche about 7 years ago

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

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