Because the incompatibility of two nongenerative record definitions can be caught at compile time, I have changed the wording to allow the error to be treated as a syntax violation or to raise an exception with condition type &contract. Respond only if you object. Kent