<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><pre style="background-color: rgb(255, 255, 255);" class=""><pre style="white-space: pre-wrap;" class="">The case of inheritance (type extension in Oberon) is now fully covered in the latest version of safe module unloading in Experimental Oberon. See Kernel.Check, Modules.Free and Oberon.GC. It also covers the case where a structure rooted in a variable of base type T declared in a module M contains elements of an extension T' defined in module M’.</pre><pre style="white-space: pre-wrap;" class="">Andreas</pre><pre style="white-space: pre-wrap;" class="">-----------------------------------------------------------------------------------</pre></pre></div><b style="font-family: -webkit-standard; background-color: rgb(255, 255, 255);" class="">Lars</b><span style="font-family: -webkit-standard; font-size: medium; background-color: rgb(255, 255, 255);" class=""> </span><a href="mailto:oberon%40lists.inf.ethz.ch?Subject=Re:%20Re%3A%20%5BOberon%5D%20Safe%20module%20unloading&In-Reply-To=%3C44c2905716ce81a33bb4b7ce00da692b.squirrel%40gator3286.hostgator.com%3E" title="[Oberon] Safe module unloading" style="font-family: -webkit-standard; background-color: rgb(255, 255, 255);" class="">noreply at z505.com </a><br style="font-family: -webkit-standard; background-color: rgb(255, 255, 255);" class=""><i style="font-family: -webkit-standard; background-color: rgb(255, 255, 255);" class="">Mon Oct 24 02:24:50 CEST 2016</i><span style="font-family: -webkit-standard; font-size: medium; background-color: rgb(255, 255, 255);" class=""></span><div style="font-family: -webkit-standard; background-color: rgb(255, 255, 255);" class=""></div><pre style="white-space: pre-wrap; background-color: rgb(255, 255, 255);" class=""><i class="">
</i>><i class=""> The only remaining problem is the case where a structure rooted in a
</i>><i class=""> variable of base type T declared in a module M contains elements of an
</i>><i class=""> extension T' defined in module M'.
</i>
I was going to say, what about inheritance?
I'm not too familiar with oberon inheritance but if another module
inherits from another module, then all modules would have to be unloaded
that connect to each other?
Actually, this makes me want to read up on oberon inheritance, as I'm more
familiar with delphi inheritance. But even that is a complex nightmare</pre><div class=""><br class=""></div></body></html>