On 2/8/07, Eddie Epstein <[EMAIL PROTECTED]> wrote:
-TypeSystem: t2 and t3 derive from t1 -User defined sorted index exists for t3 -fs of type t2 added to index -> causes bag index for t2 to be created -fs of type t1 added to index -> causes bag index for t1 to be created.
It could make sense that for these types there is no reason for an iterator over t1 to include instances of t2, which would be the case for your alternative solution.
That doesn't make sense to me. Instances of t2 *are* also instances of t1, according to the usual concept of inheritance. I think an iterator that's supposed to return all instances of t1 had better also return instances of all subtypes of t1. -Adam
