------- Comment #2 from sam at gcc dot gnu dot org 2008-04-23 23:21 ------- Anh Vo: I think that you are wrong and that Ludovic is right. Note that Eq (T2, T2) is not a renaming of T2 "=" operator, it is, through inheritance, a renaming of T1 "=" operator with signature
function "=" (X, Y : T1) return Boolean; Note that this function knows *nothing* about T2, so it cannot obviously compare new fields added in T2, it only compares fields already present in T1. -- sam at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sam at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32181