Re: Example of an identity constraint that is not applied to substitution elements?

Hi Mukul,

I agree with your analysis.

In section 2.2.4.4 of the Structures specification it says:

    ... elements substitutable for E are required to 
    have types derived from T, but are not required 
    to enforce the identity constraints ... of E.

Is it possible to construct an element that has identity constraints and has substitutable elements, and the identity constraints are not enforced on the substitution elements?

If not, what is the point of that statement in the specification?

/Roger

Received on Monday, 18 June 2012 21:15:03 UTC