diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index c0ebc274..33879f87 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -583,12 +583,21 @@ shift_exp: { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } | shift_exp LtLt plus_exp { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } + | shift_exp LtLtLt plus_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } shift_right_atomic_exp: | plus_right_atomic_exp { $1 } | shift_exp GtGt plus_right_atomic_exp { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } + | shift_exp GtGtGt plus_right_atomic_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } + | shift_exp LtLt plus_right_atomic_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } + | shift_exp LtLtLt plus_right_atomic_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } + cons_exp: | shift_exp |