Revision d50b0dc0
Added by Teme Kahsai about 9 years ago
| src/parserLustreSpec.mly | ||
|---|---|---|
| 73 | 73 |
%nonassoc UMINUS |
| 74 | 74 |
|
| 75 | 75 |
%start lustre_annot |
| 76 |
%type <LustreSpec.expr_annot> lustre_annot |
|
| 76 |
%type <LustreSpec.ident -> LustreSpec.expr_annot> lustre_annot
|
|
| 77 | 77 |
|
| 78 | 78 |
%start lustre_spec |
| 79 | 79 |
%type <LustreSpec.node_annot> lustre_spec |
| ... | ... | |
| 287 | 287 |
| STRING {Const_string $1}
|
| 288 | 288 |
|
| 289 | 289 |
lustre_annot: |
| 290 |
lustre_annot_list EOF { $1 }
|
|
| 290 |
lustre_annot_list EOF { fun node_id -> $1 }
|
|
| 291 | 291 |
|
| 292 | 292 |
lustre_annot_list: |
| 293 | 293 |
{ [] }
|
Also available in: Unified diff
sync