Project

General

Profile

Revision 14d694c7 src/parser_lustre.mly

View differences:

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