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

VVV>Вопрос в следующем — на каком этапе компиляции узнаётся name?
VVV>при LR парсинге или после него ? тогда как парсить не зная структуры програмы?

Ну, грубо говоря, в тот момент, когда лексер вычитает очередной идентификатор, компилятор поищет его сначала в таблице символов, а потом в таблице типов. И в зависимости от того, найдет ли, поступит по-разному.