RE: [eiffel_software] detachable and expanded types?
> > The workaround is to make A generic and have a descendent whereI was giving you a way to achieve that by introducing A_PRIME [G] which has the
> > is ANY if you need that particular case.
> I can't do that in any meaningful way here, because only the B descendant
> of A is based on a generic concept (INTERVAL[G]). But I was thinking that
> a forced redefinition of prototype_value in C to be of type B [INTEGER]
> should make the compiler understand what concrete type it should be in
> instances of C.
same code as A now except that property_value was generic and in B you inherit
from A_PRIME [G], not A, and A inherits from A_PRIME [ANY].