> -- Trurl писал(а):
> Проблема в том, что у нас возникнут разные версии одной процедуры. Но ведь та же проблема с дескрипторами: (x IS Module.Type) може иметь разное значение до и после выгрузки Module.

Нет, с типами как раз проблем нет, если не через метапрограммирование.
Если вы делаете в коде IS Module.Type, значит вы статически импортировали Module. Значит, это уже актуальная версия типа (а не выгруженная).

С процедурными же переменными как раз и будет проблема, да. Что другая версия. Другие дескрипторы типов на вход могут уже пойти. И т.п.