On Friday 05 August 2011 23:02:33 Thomas Koenig wrote: > > The extra > > argument controls whether we check variable symbols for equality or > > just their names. For the overriding checks it is sufficient to check > > for names, because the arguments of the overriding procedure are > > required to have the same names as in the base procedure. > > Could you explain for which cases this test is too strict? For dummy arguments. If they are "corresponding" (same position, same name), they should compare equal. Cf the PR.
This lets me think that one should enable the comparison by name for dummy arguments only. Other variables should compare normally. Mikael
