Const record

[himitsu]

Typisierte Konstanten sind ja keine echten Konstanten
(es sind nur schreibgeschützte Variablen)

Also könnte es sein, daß die strenge Typenprüfung AA also nicht richtig als Konstante an dieser Stelle anerkennt.

BB : B = (xy : (x : 0; y : 0); z : 0); .

BB : B = (xy : (x : AA.x; y : AA.y); z : 0);

[himitsu]

Zitat von hansmaad:

Aber was genau heißt denn "typisierte Konstanten sind nicht konstant"?

Zitat von himitsu:

Typisierte Konstanten sind ja keine echten Konstanten
(es sind nur schreibgeschützte Variablen)

Wie gesagt, es sind intern, von der Typen/-Speicherverwaltung Variablen, welche aber vom Compiler mit einem Schreibschutzt versehen sind. Der Kompiler läßt also keine schreibenden Zugriffe zu und stoppt dort mit dem Kompilieren.

Es ist praktisch das selbe wie ein globales var XXX: Interger = 132; , nur eben mit Schreibschutztprüfung.

(es sei denn man schaltet die Prüfung ab)

Zitat von mirage228:

Über den Compiler-Schalter {$J+} solltest Du solche Konstanten dennoch beschreiben können

Selbst wenn man sowas nicht will, bleibt es dennoch bei der Speicherverwaltung ... aber dieses ist auch der Grund, warum man diesen Schreibschutzt überhaupt abschalten kann.