PreviousUpNext

14.5.7  Compiler_State

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};
    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 );
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext