Actions
Feature #502
openОпределить поведение specification typedef для случая базового спецификационного типа
Start date:
10/26/2010
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Конструкция
specification typedef SpecType NewType;
должна вводить синоним спецификационного типа со всеми функциями.
Updated by Андрей Максимов about 14 years ago
Конструкция
typedef SpecType NewType;
тоже допускается языком. Ее семантику тоже надо определить и реализовать.
Actions