Project

General

Profile

Revision 51768260 src/parser_lustre.mly

View differences:

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