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/parse_ast.ml | |
| 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/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index c57daa26..a5dbf66e 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -164,6 +164,7 @@ atyp_aux = (* expressions of all kinds, to be translated to types, nats, orders | ATyp_tup of (atyp) list (* Tuple type *) | ATyp_app of id * (atyp) list (* type constructor application *) | ATyp_exist of kid list * atyp * atyp + | ATyp_base of id * atyp * atyp and atyp = ATyp_aux of atyp_aux * l |