diff options
| author | Thomas Bauereiss | 2017-09-02 20:17:32 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-09-02 20:22:41 +0100 |
| commit | de506ed9f9c290796f159f2b5279589519c2a198 (patch) | |
| tree | 6d71a3012ca3500beec9639adef0333fe4293475 /src/ast_util.mli | |
| parent | 811bd830e2768a920d4be1473085905ac10a7627 (diff) | |
Various fixes for Hexapod
- Support tuples in lexps
- Rewrite trivial sizeofs
- Rewrite early returns more aggressively
- Support let bindings with ticked variables (binding both a type-level and
term-level variable at the same time)
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 6a150872..e6823ee9 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -146,6 +146,7 @@ val string_of_order : order -> string val string_of_nexp : nexp -> string val string_of_typ : typ -> string val string_of_typ_arg : typ_arg -> string +val string_of_annot : ('a * typ * effect) option -> string val string_of_n_constraint : n_constraint -> string val string_of_quant_item : quant_item -> string val string_of_typquant : typquant -> string |