diff options
Diffstat (limited to 'src/monomorphise.mli')
| -rw-r--r-- | src/monomorphise.mli | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/monomorphise.mli b/src/monomorphise.mli index f8a17494..7db12078 100644 --- a/src/monomorphise.mli +++ b/src/monomorphise.mli @@ -48,6 +48,8 @@ (* SUCH DAMAGE. *) (**************************************************************************) +open Ast_defs + type options = { auto : bool; (* Analyse ast to find splits for monomorphisation *) debug_analysis : int; (* Debug output level for the automatic analysis *) @@ -59,17 +61,17 @@ val monomorphise : string -> (* Target backend *) options -> ((string * int) * string) list -> (* List of splits from the command line *) - Type_check.tannot Ast.defs -> - Type_check.tannot Ast.defs + Type_check.tannot defs -> + Type_check.tannot defs (* Rewrite (combinations of) variable-sized operations into fixed-sized operations *) -val mono_rewrites : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs +val mono_rewrites : Type_check.tannot defs -> Type_check.tannot defs (* Move complex nexps in function signatures into constraints *) -val rewrite_toplevel_nexps : Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs +val rewrite_toplevel_nexps : Type_check.tannot defs -> Type_check.tannot defs (* Add casts across case splits *) -val add_bitvector_casts : Type_check.Env.t -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs +val add_bitvector_casts : Type_check.Env.t -> Type_check.tannot defs -> Type_check.tannot defs (* Replace atom arguments which are fixed by a type parameter for a size with a singleton type *) -val rewrite_atoms_to_singletons : string -> Type_check.tannot Ast.defs -> Type_check.tannot Ast.defs +val rewrite_atoms_to_singletons : string -> Type_check.tannot defs -> Type_check.tannot defs |