Revision 21485807
Added by Xavier Thirioux almost 11 years ago
src/parse.ml | ||
---|---|---|
34 | 34 |
Parsing.clear_parser (); |
35 | 35 |
ast |
36 | 36 |
with |
37 |
Parsing.Parse_error ->
|
|
38 |
let loc = Location.curr lexbuf in
|
|
39 |
raise (Syntax_err loc)
|
|
37 |
| Parsing.Parse_error ->
|
|
38 |
let loc = Location.curr lexbuf in |
|
39 |
raise (Syntax_err loc) |
|
40 | 40 |
|
41 | 41 |
let prog parse lex = wrap parse lex |
42 | 42 |
|
Also available in: Unified diff
- added struct types declaration
- added constant definition with a struct type
- added checking for multiple definitions of nodes (behavior was buggy)
- better and more uniform error messages
for undefined/already defined symbols
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@186 041b043f-8d7c-46b2-b46e-ef0dd855326e