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

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:

1

signal xyz : natural 0 to 6;

2

3

...

4

5

if xyz < xyz'high then <-- Fehler

6

...

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