Project

General

Profile

Revision 217837e2 src/parsers/parser_lustre.mly

View differences:

src/parsers/parser_lustre.mly
361 361
    { merge_contracts (mk_contract_var $2 true None $4 (get_loc())) $6 }
362 362
| CONST IDENT COL typeconst EQ expr SCOL contract
363 363
    { merge_contracts (mk_contract_var $2 true (Some(mktyp $4)) $6 (get_loc())) $8 }
364
| VAR IDENT EQ expr SCOL contract
365
    { merge_contracts (mk_contract_var $2 false None $4 (get_loc())) $6 }
366 364
| VAR IDENT COL typeconst EQ expr SCOL contract
367 365
    { merge_contracts (mk_contract_var $2 false (Some(mktyp $4)) $6 (get_loc())) $8 }
368 366
| ASSUME qexpr SCOL contract

Also available in: Unified diff