Les types intervalles

Un type peut-être défini comme un intervalle de n'importe quel type scalaire défini ou prédéfini.

program P;
type undouze = 1..12;
var mois : undouze;
begin
    mois:=13;
end.

Ce programme provoque une erreur.