The compiler Unpickler_Junk api defines access to functionality for deserializing compile unit datastructures from diskfiles, reconstructing the original in-memory datastructures. This is used to implement loading of .compiled object files in the Mythryl equilent of unix .o file linking.
The Unpickler_Junk api is implemented by the unpickler_junk package.
The Unpickler_Junk api source code is in src/lib/compiler/front/semantic/pickle/unpickler-junk.api.
The above information is manually maintained and may contain errors.
api { Unpickling_Context = Null_Or(((Int , symbol::Symbol)) )
-> stampmapstack::Stampmapstack;
unpickle_symbolmapstack : Unpickling_Context
-> (picklehash::Picklehash , vector_of_one_byte_unts::Vector)
-> symbolmapstack::Symbolmapstack;
unpickle_highcode : vector_of_one_byte_unts::Vector
-> Null_Or(anormcode_form::Function );
make_unpicklers : {read_list_of_strings:?.unpickler::Pickle_Reader(List(String ) ),
unpickler:?.unpickler::Unpickler}
-> Unpickling_Context
-> {read_inlining_mapstack:?.unpickler::Pickle_Reader(
inlining_mapstack::Picklehash_To_Anormcode_Mapstack ),
read_list_of_symbols:?.unpickler::Pickle_Reader(List(symbol::Symbol ) ),
read_symbol:?.unpickler::Pickle_Reader(symbol::Symbol ),
read_symbolmapstack:?.unpickler::Pickle_Reader(symbolmapstack::Symbolmapstack
)};
};