(j3.2006) About extending abstract types with deferred bindings

[Cohen Malcolm]

<<<
This seems to prevent ever instantiating an object of a type that is an
extension of an abstract type, because such an object has a parent
component of abstract type.
>>>

This is another unfounded conjecture.

You can instantiate something "bigger", viz an extension, but you cannot 
instantiate a bare object of abstract type.  That's how it works, and indeed 
it is how it has to work (if we are to avoid invocation of deferred tbps).

I do not understand what the difficulty is here.  If one rashly imagines 
that we got some of this stuff right, a simple search for "abstract type" 
turns up several obvious constraints.

Cheers,
-- 
........................Malcolm Cohen, Nihon NAG, Tokyo.