The compiler Compiler_State api defines access to the top-level file compilation state.
The Compiler_State api is implemented by the compiler_state package.
The Compiler_State api source code is in src/lib/compiler/toplevel/interact/compiler-state.api.
The above information is manually maintained and may contain errors.
api {
Compiler_Mapstack_Set = Compiler_Mapstack_Set;
Compiler_Mapstack_Set_Jar =
{get_mapstack_set:Void -> Compiler_Mapstack_Set, set_mapstack_set:Compiler_Mapstack_Set -> Void};
Compiler_State =
{baselevel_pkg_etc_defs_jar:Compiler_Mapstack_Set_Jar, property_list:property_list::Property_List,
top_level_pkg_etc_defs_jar:Compiler_Mapstack_Set_Jar};
make__compiler_state_stack : Void -> (Compiler_State , List(Compiler_State ));
compiler_state : Void -> Compiler_State;
get_top_level_pkg_etc_defs_jar : Void -> Compiler_Mapstack_Set_Jar;
get_baselevel_pkg_etc_defs_jar : Void -> Compiler_Mapstack_Set_Jar;
pervasive_fun_etc_defs_jar : Compiler_Mapstack_Set_Jar;
property_list : Void -> property_list::Property_List;
combined : Void -> Compiler_Mapstack_Set;
run_thunk_in_compiler_state : ((Void -> X) , Compiler_State) -> X;
list_bound_symbols : Void -> List(symbol::Symbol );
Compile_And_Eval_String_Option
= COMPILER_VERBOSITY
per_compile_stuff::Compiler_Verbosity
|
DEEP_SYNTAX_TRANSFORM
deep_syntax::Declaration -> deep_syntax::Declaration;};