diff options
| author | Alasdair Armstrong | 2017-07-27 01:35:34 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-27 01:35:34 +0100 |
| commit | ac5587fb00cb7c3a14731b3d952ca7dedd7e4d3b (patch) | |
| tree | c346017361982bfa45ff7f70c8b96caec9344845 /src/parser.mly | |
| parent | e4d85d005f87f3260bddcd030e2a7e4957c1379c (diff) | |
Fixed pretty printer for existentials
Also fixed substitution functions so as to not substitute captured kind identifiers
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser.mly b/src/parser.mly index fa2cb0c7..f2d986b1 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -437,7 +437,7 @@ nexp_typ4: { tloc (ATyp_id $2) } | tyvar { tloc (ATyp_var $1) } - | Lparen tup_typ Rparen + | Lparen exist_typ Rparen { $2 } tup_typ_list: @@ -453,10 +453,10 @@ tup_typ: { tloc (ATyp_tup $2) } exist_typ: - | tup_typ - { $1 } | Exist tyvars Comma nexp_constraint Dot tup_typ { tloc (ATyp_exist ($2, $4, $6)) } + | tup_typ + { $1 } typ: | exist_typ |