Revision 51768260
Added by Xavier Thirioux about 8 years ago
| src/parser_lustre.mly | ||
|---|---|---|
| 255 | 255 |
| field_list IDENT COL typeconst SCOL |
| 256 | 256 |
{ (fun t -> if Hashtbl.mem field_table $2
|
| 257 | 257 |
then raise (Corelang.Already_bound_label ($2, t, Location.symbol_rloc ())) |
| 258 |
else (Hashtbl.add field_table $2 t; ($2, $4) :: ($1 t))) }
|
|
| 258 |
else (Hashtbl.add field_table $2 t; ($1 t) @ [ ($2, $4) ])) }
|
|
| 259 | 259 |
|
| 260 | 260 |
eq_list: |
| 261 | 261 |
{ [], [], [] }
|
Also available in: Unified diff
work in progress for struct types...