(j3.2006) EXTENDS and BIND(C)

[Robert Corbett]

On 05/30/14 19:11, Van Snyder wrote:
> Subclause 4.5.7.1 says that an extensible type is one that does not have
> the SEQUENCE or BIND(C) attribute.
>
> C436 says that if EXTENDS appears, SEQUENCE shall not appear.
>
> I can't find a constraint that says if EXTENDS appears, BIND(C) shall
> not appear.
>
> Is there one?  Should there be one?
>

There is one.  Look in 15.3.4.

Robert Corbett