/***************************************
* *
* mc_MachineDestruct *
* *
***************************************/
void
mc_MachineDestruct(void)
{
deCompileDestruct();
MemDealloc(Hp1HeapDesc);
MemDealloc(Hp2HeapDesc);
MemDealloc(Dstack1_2HD);
MemDealloc(Dstack3_4HD);
}
void
remBuff() {
MemDealloc(printBuffDesc);
printBuff = NULL;
}
void tc_close_typechecker(int kill_a_def)
/*
* call this AFTER the ST_TYPE returned by tc_typecheck_PE_EXPR is no longer needed
* OR immediately prior to a non-fatal error message bail out
*/
{
if ( typechecking_a_def || kill_a_def )
st_RemoveEntry(_fnkey);
/* a def is only wiped out if close is called DURING typechecking */
MemDealloc(tc_memory);
}
/***************************************
* *
* ge_DestructIncDirs *
* *
***************************************/
void
ge_DestructIncDirs(void) {
MemDealloc(incDirHD);
}
