diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly index 755c2cc7..5e4a2cad 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -869,6 +869,8 @@ eq_exp: | at_exp { $1 } /* XXX check for consistency */ + | eq_exp Eq at_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } | eq_exp EqEq at_exp { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } | eq_exp ExclEq at_exp @@ -905,6 +907,8 @@ eq_exp: eq_right_atomic_exp: | at_right_atomic_exp { $1 } + | eq_exp Eq at_right_atomic_exp + { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } | eq_exp EqEq at_right_atomic_exp { eloc (E_app_infix($1,Id_aux(Id($2), locn 2 2), $3)) } | eq_exp ExclEq at_right_atomic_exp @@ -1017,8 +1021,8 @@ letbind: patsexp_funcl: | atomic_pat Eq exp { peloc (Pat_exp($1,$3)) } - | atomic_pat When exp Eq exp - { peloc (Pat_when ($1, $3, $5)) } + | Lparen atomic_pat When exp Rparen Eq exp + { peloc (Pat_when ($2, $4, $7)) } funcl: | id patsexp_funcl |