On Thu, Apr 10, 2025 at 2:35 PM David Rowley <dgrowle...@gmail.com> wrote: > On Thu, 10 Apr 2025 at 16:57, Amit Langote <amitlangot...@gmail.com> wrote: > > > > On Thu, Apr 10, 2025 at 12:03 PM David Rowley <dgrowle...@gmail.com> wrote: > > > -Most operations on EquivalenceClasses should ignore child members. > > > +Most operations on EquivalenceClasses needn't look at child members. > > > > > > Would that be ok? > > > > Yeah, I think that wording works well. It avoids sounding too strict > > but still points things in the right direction. > > Thanks. Pushed.
Thank you. -- Thanks, Amit Langote
