diff options
| author | Alasdair Armstrong | 2017-11-16 15:05:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 15:05:24 +0000 |
| commit | 9a5bd2079a5fe42bde4c207851c2c3b1fd0035b7 (patch) | |
| tree | b1738446b771e6bfe2d0de64d4c56b2c9c592e81 /src/ast_util.mli | |
| parent | 17488b1fdd35983f41c80282997c0ab820c9a23d (diff) | |
Fixed some longstanding issues regarding constraints on type constructors.
Now constraints on type constructors are checked correctly when
checking that types are well formed using Env.wf_typ. The arity and
kind of type constructor arguments are also checked in the same way.
Also some general cleanups to the type checker code, with some
auxillary functions being moved to more appropriate files.
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index ad5134e0..a41f3737 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -69,6 +69,9 @@ val mk_letbind : unit pat -> unit exp -> unit letbind val unaux_exp : 'a exp -> 'a exp_aux val unaux_pat : 'a pat -> 'a pat_aux +val unaux_nexp : nexp -> nexp_aux +val unaux_order : order -> order_aux +val unaux_typ : typ -> typ_aux val inc_ord : order val dec_ord : order |