On Tue, Jul 04, 2023 at 09:02:56PM +0200, Dmitry Dolgov wrote: >> On Mon, Jul 03, 2023 at 09:46:11PM -0700, Nathan Bossart wrote: >> Also, it seems counterintuitive that queries with fewer than 10 >> constants are not merged. > > Why? What would be your intuition using this feature?
For the "powers" setting, I would've expected queries with 0-9 constants to be merged. Then 10-99, 100-999, 1000-9999, etc. I suppose there might be an argument for separating 0 from 1-9, too. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com
