Здравствуйте, Иванков Дмитрий, Вы писали:
ИД>Здравствуйте, hardcase, Вы писали:
H>>В последних билдах PEVerify выдает предупреждения (8651):
ИД>Не только в последних, насколько я помню.
H>>H>>[IL]: Error: [C:\Program Files\Nemerle\Nemerle.Compiler.dll : Nemerle.Compiler.LibraryReference+ExternalTypeInfo::imembe
H>>r_of_memberinfo][offset 0x000000BC][found ref 'Nemerle.Compiler.MemberInfo'][expected ref 'Nemerle.Compiler.IMember'] Un
H>>expected type on the stack.
H>>
ИД>Тут, насколько помню происходит следующее: ncc видит, что не надо делать преобразование типа и кладёт во всех ветках на не-совсем-типизированный стек значение. В то время как у верификатора по стандарту есть алгоритм вывода типов ячеек стека, который выводит по первым веткам не интерфейс IMember, а общий класс MemberInfo, а потом находит противоречие с ним. Собственно hint на первой ветке не случайно, алгоритм вывода типов Nemerle тут тоже бы ошибся, но при этом хинт не достигает IL.
ИД>В багтрекере это есть, ссылку сходу не дам.
Как все же чинить это ?
