summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKathy Gray2013-11-20 13:23:53 +0000
committerKathy Gray2013-11-20 13:23:53 +0000
commit8ff822e12dde0001c6b6ad7a8597c40349e4cc9b (patch)
tree6bcb46e1d4de4fb8a486def7c464d2dc21f14d27
parentf2717777c8c1159511c6af70c22338d243ea6d68 (diff)
Fixed the parsing of application
-rw-r--r--src/parser.mly4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly
index 86da9a53..2ff88944 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -500,9 +500,9 @@ app_exp:
| id Lparen Rparen
{ eloc (E_app((E_aux((E_id $1), locn 1 1)), [eloc (E_lit (lloc L_unit))])) }
| id Lparen exp Rparen
- { eloc (E_app((E_aux((E_id $1),locn 1 1)),[$3])) }
+ { eloc (E_app((E_aux((E_id $1),locn 1 1)),[ E_aux((E_tuple [$3]),locn 3 3)])) }
| id Lparen comma_exps Rparen
- { eloc (E_app((E_aux((E_id $1),locn 1 1)),$3)) }
+ { eloc (E_app((E_aux((E_id $1),locn 1 1)),[E_aux (E_tuple $3,locn 3 3)])) }
right_atomic_exp:
| If_ exp Then exp Else exp