Project

General

Profile

Revision 44bea83a src/parser_lustre.mly

View differences:

src/parser_lustre.mly
332 332
{ [] }
333 333
| ASSUMES qexpr SCOL assumes { $2::$4 } 
334 334

  
335
/* WARNING: UNUSED RULES */
335 336
tuple_qexpr:
336 337
| qexpr COMMA qexpr {[$3;$1]}
337 338
| tuple_qexpr COMMA qexpr {$3::$1}

Also available in: Unified diff