Jere writes: > In the other part that I commented out I was trying to add a publically > available override to the interface operation, but haven't been successful. > Do you know of any syntax changes I might need to do to: > > -- The following lines give the errors: > -- "p1" conflicts with declaration at line xxx > -- and > -- missing body for "p1" > > --overriding > --procedure p1(Self : in out Instance); > > So I don't need to always dispatch? I'm not 100% sure why this works & the other doesn't - I think because Instantiation.P1 is actually publicly visible. Also not sure whether you could do away with the inner Instantiation. Anyway,