Здравствуйте, hardcase, Вы писали:

D>>Кстати, а что такое int-?

H>Макросы 4 Часть:

Автор(ы): Владислав Юрьевич Чистяков
Дата: 03.09.2009
В данной части статьи рассказывается о том, как работает система вывода типов Nemerle, о том, как с ней могут взаимодействовать макросы Nemerle, и что это дает

Спасибо. Просмотрел. Все равно для меня остается непонятным, почему для void -> option [int-] не срабатывает TryRequire по более общему типу void -> option [A]. Ведь последний является нижней границей для первого. Или нет? А главное, что поменять, чтобы подобная проверка срабатывала?