However, the program would still be syntactically correct since type declarations provide only semantic information.
Но, програмата се уште ќе биде синтаксички исправна, бидејќи напишаниот исказ обезбеди само семантичка информација.