Revision b616fe7a src/parser_lustre.mly
src/parser_lustre.mly | ||
---|---|---|
34 | 34 |
let mkassert x = mkassert (Location.symbol_rloc ()) x |
35 | 35 |
let mktop_decl x = mktop_decl (Location.symbol_rloc ()) x |
36 | 36 |
let mkpredef_call x = mkpredef_call (Location.symbol_rloc ()) x |
37 |
let mkpredef_unary_call x = mkpredef_unary_call (Location.symbol_rloc ()) x |
|
38 | 37 |
|
39 | 38 |
let mkdim_int i = mkdim_int (Location.symbol_rloc ()) i |
40 | 39 |
let mkdim_bool b = mkdim_bool (Location.symbol_rloc ()) b |
... | ... | |
360 | 359 |
| expr XOR expr |
361 | 360 |
{mkpredef_call "xor" [$1;$3]} |
362 | 361 |
| NOT expr |
363 |
{mkpredef_unary_call "not" $2}
|
|
362 |
{mkpredef_call "not" [$2]}
|
|
364 | 363 |
| expr IMPL expr |
365 | 364 |
{mkpredef_call "impl" [$1;$3]} |
366 | 365 |
|
... | ... | |
388 | 387 |
| expr DIV expr |
389 | 388 |
{mkpredef_call "/" [$1;$3]} |
390 | 389 |
| MINUS expr %prec UMINUS |
391 |
{mkpredef_unary_call "uminus" $2}
|
|
390 |
{mkpredef_call "uminus" [$2]}
|
|
392 | 391 |
| expr MOD expr |
393 | 392 |
{mkpredef_call "mod" [$1;$3]} |
394 | 393 |
|
Also available in: Unified diff