> -- Oleg N. Cher писал(а):
> И вот я описываю вроде бы безтеговый указатель, но как только над ним стоит сделать NEW — он становится тегированным и отслеживаемым сборщиком, независимо от того, как объявлен. Получается дублирование сущностей POINTER и POINTER [untagged].У кого-нить есть соображения, почему вообще существует POINTER [untagged], наряду с POINTER TO ARRAY [untagged] и POINTER TO RECORD [untagged] ?

Олег, пожалуйста, перечитай внимательно ещё раз обсуждение.

Когда ты делаешь NEW - то указатель не становится каким-то другим. Просто, т.к. адресуемый тип - тегированный, то разместить такой RECORD в куче можно. И указатель на него кладётся в нетрассируемую переменную. По которой сборщик не ходит и якорем её не считает.

Сбивает с толку, что использована такая же метка [untagged], надо было бы [untraced]. Видимо, сканер учить отдельному токену лень было