Re: [PATCH] Keeps tracking the uniqueness with UniqueKey

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