Recursive import/include/redefine

Hello,

as I read from the archives, import does not works recursive:
a imports b imports c does not mean: a imports c.

Include can be recursive:
a includes b includes c means: a includes b and c ("compound schema").

Now the questions:
(1) redefine:
a redefines b redefines c means: every item that is redefined by a may be
used in a and this item may be previously redefined by b from c. But what
has not been redefined by a cannot be used in a.
(2) redefine / include:
a includes b redefines c means: a is assembled from itself, the global
element/types of b and from the redefinitions done in b.

Am I right?

Kind regards,
Harald

Received on Monday, 7 October 2002 09:06:16 UTC