Hi, On 12/5/20 10:38 PM, Andy Fan wrote:
Currently the UniqueKey is defined as a List of Expr, rather than EquivalenceClasses. A complete discussion until now can be found at [1] (The messages I replied to also care a lot and the information is completed). This patch has stopped at this place for a while, I'm planning to try EquivalenceClasses, but any suggestion would be welcome.
Unfortunately I think we need a RfC style patch of both versions in their minimum implementation.
Hopefully this will make it easier for one or more committers to decide on the right direction since they can do a side-by-side comparison of the two solutions.
Just my $0.02. Thanks for working on this Andy ! Best regards, Jesper
