diff options
| author | Jon French | 2019-02-13 12:27:48 +0000 |
|---|---|---|
| committer | Jon French | 2019-02-13 12:27:48 +0000 |
| commit | ea39b3c674570ce5eea34067c36d5196ca201f83 (patch) | |
| tree | 516e7491bc32797a4d0ac397ea47387f2b16cf1b /src/process_file.mli | |
| parent | ab3f3671d4dd682b2aee922d5a05e9455afd5849 (diff) | |
| parent | 24fc989891ad266eae642815646294279e2485ca (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index 7371b299..0411464b 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -52,7 +52,8 @@ $include directive that is importing the file, if applicable. *) val parse_file : ?loc:Parse_ast.l -> string -> Parse_ast.defs -val convert_ast : Ast.order -> Parse_ast.defs -> unit Ast.defs +val clear_symbols : unit -> unit + val preprocess_ast : (Arg.key * Arg.spec * Arg.doc) list -> Parse_ast.defs -> Parse_ast.defs val check_ast: Type_check.Env.t -> unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t val rewrite_ast: Type_check.Env.t -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs @@ -82,7 +83,7 @@ type out_type = val output : string -> (* The path to the library *) out_type -> (* Backend kind *) - (string * Type_check.tannot Ast.defs) list -> (*File names paired with definitions *) + (string * Type_check.Env.t * Type_check.tannot Ast.defs) list -> (*File names paired with definitions *) unit (** [always_replace_files] determines whether Sail only updates modified files. |