Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
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
[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