> -- Илья Ермаков писал(а):
> А вот автовывод типов - уже всё, подавайте исходные тексты всех модулей. Нужна полная инофрмация обо всех использованиях типа.Не совсем понятно, что подразумевалось под использованием типа.

А для автовывода нужна полная информация только о самом типе. Т.е., достаточно правил его генерации. Таким образом, нужно, чтобы в самом типе было где-то зашиты операции между переменными этого типа и правила формирования этого типа из группы переменных другого типа.

Для простых примеров, которые приходят в голову, реализация не очень-то сложная, а для общего случая лень копаться: работы много, а необходимости для себя я пока не вижу.