ModelSim: "Prefix (signal xyz) for attribute "high" is not a type mark"

[Klaus (Gast)]

Ich hab gerade mal für ein seit längerem existierendes Modul eine 
Testbench geschrieben. Also ich nun Modelsim laufen lassen wollte, kommt 
mehr fach der folgende Fehler:

"Prefix  (signal xyz) for attribute "high" is not a type mark".

Der Fehler kommt jedes mal, wenn im Code versucht wird, z. B. einen 
Counter auf den Maximalwert zu überprüfen. Die Signale sind 
dementsprechend als integer, oder natural, deklariert:

signal xyz : natural 0 to 6;

...

if xyz < xyz'high then <-- Fehler
...

Gibts irgendne Chance ModelSim den Fehler auszutreiben? Und warum frisst 
Quartus die Formulierung und ModelSim nicht?

[Karlo (Gast)]

Weil 'high sich auf Vektoren bezieht (std_logic_vector, signed/unsigned)

Definier doch einfach einen Maximalwert über eine Konstante und frage 
diese ab.