diff options
| author | Alasdair Armstrong | 2017-11-13 18:12:42 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-13 18:12:42 +0000 |
| commit | 29eb3472dfb65f39f558baff4c56688f03016592 (patch) | |
| tree | 9df3c3676c3843304f3553712e36c4813c2a3f03 /src/ast_util.mli | |
| parent | d7ee7d7392d7d4f058cce2e12b7d0336dddb4e17 (diff) | |
Record where existentials were created in their names.
Possibly useful for Brian's monomorphisation code
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 8f1f06e6..ad5134e0 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -60,6 +60,7 @@ val mk_funcl : id -> unit pat -> unit exp -> unit funcl val mk_fundef : (unit funcl) list -> unit def val mk_val_spec : val_spec_aux -> unit def val mk_typschm : typquant -> typ -> typschm +val mk_typquant : quant_item list -> typquant val mk_qi_id : base_kind_aux -> kid -> quant_item val mk_qi_nc : n_constraint -> quant_item val mk_fexp : id -> unit exp -> unit fexp @@ -176,6 +177,7 @@ val id_of_kid : kid -> id val kid_of_id : id -> kid val prepend_id : string -> id -> id +val prepend_kid : string -> kid -> kid module Id : sig type t = id |