[Oberon] Safe module unloading

[Lars]

On Fri, October 14, 2016 3:48 pm, Andreas Pirklbauer wrote:
> Wojtek,
>
>
> The safe module unloading solution is now almost fully implemented
>
...

>
> The only remaining problem is 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'.


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