Rewrites for removing polymorphism from specifications
val typ_specialization : specializationOnly specialize Type- kinded polymorphism.
val int_specialization : specialization(experimental) specialise Int-kinded definitions
val int_specialization_with_externs : specialization(experimental) specialise Int-kinded definitions, including externs
val polymorphic_functions :
specialization ->
'a Ast.def list ->
Ast_util.IdSet.tReturns an IdSet with the function ids that have X-kinded parameters, e.g. val f : forall ('a : X). 'a -> 'a. The first argument specifies what X should be - it should be one of: is_int_kopt, is_order_kopt, or is_typ_kopt from Ast_util, or some combination of those.
val add_initial_calls : Ast_util.IdSet.t -> unitval get_initial_calls : unit -> Ast.id listval specialize :
specialization ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Effects.side_effect_info ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t * Effects.side_effect_infospecialize 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 environment to return if there is no polymorphism to remove, in which case specialize returns the AST unmodified.
val specialize_passes :
int ->
specialization ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Effects.side_effect_info ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t * Effects.side_effect_infospecialize' n performs at most n specialization passes. Useful for int_specialization which is not guaranteed to terminate.
val instantiations_of :
specialization ->
Ast.id ->
Type_check.tannot Ast_defs.ast ->
Ast.typ_arg Ast_util.KBindings.t listreturn all instantiations of a function id, with the instantiations filtered according to the specialization.
val string_of_instantiation : Ast.typ_arg Ast_util.KBindings.t -> string