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);