Это всё конечно очень замечательно. Но где возмущения по поводу того, что NEW(untagged) всё-таки компилится?

Вопрос сейчас только про безтеговость указателя. Предлагаю разграничить POINTER и POINTER [untagged] именно по критерию разрешения выделять на нём память по NEW, или нет. Да, если хотите, попробуйте пробить этот вопрос на форуме Центра, а лично я уже устал что-то кому-то доказывать.

Кстати, в ББ безтеговость записи перетекает в безтеговость указателя на неё, то есть, POINTER TO RECORD [untagged] будет эквивалентно POINTER [untagged] TO RECORD [untagged]. Я вижу смысл иметь безтеговые указатели на записи/массивы с тегом (для тех самых низкоуровневых нужд), поэтому разделил бы эти сущности. Чего не делает BlackBox. В тегированных указателях на безтеговые записи/массивы смысла конечно нет. Или есть?

> -- Trurl писал(а):
> Оно же запрещеноА вот нет.Попробуйте скомпилить код из первого поста темы.