Project

General

Profile

Bug #197

Updated by J. Templ about 6 years ago

1 - The procedure Cleanup should contain a test for main = NIL. 
 2 - The Docu for Cleanup has an incorrect postcondition. postcondition 
 3 - Coroutines are suspected to sometimes cause fatal instabilities in the garbage collection process when the module  
     implementing a coroutine gets unloaded. process. 

 Reported by Robert

Back