diff options
| author | Alasdair | 2018-12-12 00:49:32 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-12 00:49:32 +0000 |
| commit | c65aecd008d34102f4c95649113ed7f9afcc903b (patch) | |
| tree | 71386fec2d39ffc7f73b219b70c2fc49d5adbb10 /src/parser.mly | |
| parent | ab4b9ca4f7cab45b6a2a13d0ef125dcf9c276a06 (diff) | |
Fix various boolean type-variable related issues
Remove some dead code in Pretty_print_common
Start thinking a bit about Minisail-esque syntactic sugar in initial_check
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 83e6936d..544438c0 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -555,6 +555,8 @@ atomic_typ: { mk_typ (ATyp_exist ($2, ATyp_aux (ATyp_lit (L_aux (L_true, loc $startpos $endpos)), loc $startpos $endpos), $4)) $startpos $endpos } | Lcurly kid_list Comma typ Dot typ Rcurly { mk_typ (ATyp_exist ($2, $4, $6)) $startpos $endpos } + | Lcurly id Colon typ Dot typ Rcurly + { mk_typ (ATyp_base ($2, $4, $6)) $startpos $endpos } typ_list: | typ |