diff options
Diffstat (limited to 'src/specialize.mli')
| -rw-r--r-- | src/specialize.mli | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/specialize.mli b/src/specialize.mli index 6ec8c2aa..0a64112c 100644 --- a/src/specialize.mli +++ b/src/specialize.mli @@ -54,6 +54,8 @@ open Ast open Ast_util open Type_check +val opt_ddump_spec_ast : (string * int) option ref + type specialization (** Only specialize Type- and Ord- kinded polymorphism. *) @@ -72,6 +74,8 @@ val int_specialization_with_externs : specialization or some combination of those. *) val polymorphic_functions : specialization -> 'a defs -> IdSet.t +val add_initial_calls : IdSet.t -> unit + (** specialize returns an AST with all the Order and Type polymorphism removed, as well as the environment produced by type checking that AST with [Type_check.initial_env]. The env parameter is the @@ -88,6 +92,3 @@ val specialize' : int -> specialization -> tannot defs -> Env.t -> tannot defs * val instantiations_of : specialization -> id -> tannot defs -> typ_arg KBindings.t list val string_of_instantiation : typ_arg KBindings.t -> string - -(** Remove all function definitions except for the given set *) -val slice_defs : Env.t -> tannot defs -> IdSet.t -> tannot defs |