(j3.2006) EXTENDS and BIND(C)

Van Snyder Van.Snyder
Fri May 30 22:11:18 EDT 2014


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?





More information about the J3 mailing list