Noah Misch <noah(at)leadboat(dot)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