diff options
| author | Brian Campbell | 2017-11-14 12:33:14 +0000 |
|---|---|---|
| committer | Brian Campbell | 2017-11-14 12:33:14 +0000 |
| commit | 7dc2a9aa2e140eb4475da65e73be5952c0d5c26e (patch) | |
| tree | 25ad519094acd4be8321fb65328f61b949c6345a /src/process_file.mli | |
| parent | 29eb3472dfb65f39f558baff4c56688f03016592 (diff) | |
Automatic analysis for monomorphisation
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 4bf48aec..afde469e 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -43,7 +43,7 @@ val parse_file : string -> Parse_ast.defs val convert_ast : Ast.order -> Parse_ast.defs -> unit Ast.defs val check_ast: unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t -val monomorphise_ast : ((string * int) * string) list -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t +val monomorphise_ast : ((string * int) * string) list -> Type_check.Env.t -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t val rewrite_ast: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_undefined: Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs val rewrite_ast_lem : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs @@ -61,6 +61,8 @@ val opt_ddump_tc_ast : bool ref val opt_ddump_rewrite_ast : ((string * int) option) ref val opt_dno_cast : bool ref val opt_ddump_raw_mono_ast : bool ref +val opt_dmono_analysis : int ref +val opt_auto_mono : bool ref type out_type = | Lem_ast_out |