Sintaxe:
const
[tipo de dado da constante] : [nome] is [valor];
Por exemplo,
const
integer: ONE is 1;
Declara uma constante do tipo integer chamada
"ONE" e a inicializa com o valor 1.
É uma "Normal declaration" (ou "Semantic
Declaration"), ou seja, não é uma 'declaração de sintaxe' e sim de semântica.
Um exemplo mais completo.
$
include "seed7_05.s7i";
const
proc: main is func
local
const integer: ONE is 1;
begin
write(ONE);
end
func;
Neste exemplo a variável possui um escopo local.