Noah Misch <n...@leadboat.com> writes: > On Mon, Oct 01, 2018 at 09:32:10PM -0400, Tom Lane wrote: >> FWIW, my problem with this patch is that I remain unconvinced of the basic >> correctness of the transform (specifically the unique-ification approach). >> Noah's points would be important to address if we were moving the patch >> towards commit, but I don't see much reason to put effort into it until >> we can think of a way to prove whether that works.
> Not even effort to fix the assertion failures I reported? If it seemed relevant to the proof-of-correctness problem, I would look into it, but ... regards, tom lane