diff options
| author | Alasdair Armstrong | 2017-07-26 18:04:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-26 18:11:55 +0100 |
| commit | f70cd2be8b05c10c5d18261ab28d9732d9b93877 (patch) | |
| tree | 4daf434ccef500593efb3dc81850f4f241d59862 /src/parser.mly | |
| parent | 7dd74b4786304efe22cc576f5c6f46368e220c52 (diff) | |
Experiment in adding existential types
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 685422e0..fa2cb0c7 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -495,7 +495,7 @@ atomic_pat: { ploc P_wild } | Lparen pat As id Rparen { ploc (P_as($2,$4)) } - | Lparen tup_typ Rparen atomic_pat + | Lparen exist_typ Rparen atomic_pat { ploc (P_typ($2,$4)) } | id { ploc (P_app($1,[])) } @@ -581,7 +581,7 @@ atomic_exp: { eloc (E_lit($1)) } | Lparen exp Rparen { $2 } - | Lparen tup_typ Rparen atomic_exp + | Lparen exist_typ Rparen atomic_exp { eloc (E_cast($2,$4)) } | Lparen comma_exps Rparen { eloc (E_tuple($2)) } |