diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly index 75cdcf7d..aa088994 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -726,7 +726,7 @@ cons_exp: | shift_exp ColonColon cons_exp { eloc (E_cons($1,$3)) } | shift_exp Colon cons_exp - { eloc (E_app_infix($1,Id_aux(Id(":"), locn 2 2), $3)) } + { eloc (E_vector_append($1, $3)) } cons_right_atomic_exp: | shift_right_atomic_exp @@ -734,7 +734,7 @@ cons_right_atomic_exp: | shift_exp ColonColon cons_right_atomic_exp { eloc (E_cons($1,$3)) } | shift_exp Colon cons_right_atomic_exp - { eloc (E_app_infix($1,Id_aux(Id(":"), locn 2 2), $3)) } + { eloc (E_vector_append($1, $3)) } at_exp: | cons_exp |