Re: Logical Implication

From: Vik Fearing <vik(at)postgresfriends(dot)org>
To: Zsolt Parragi <zsolt(dot)parragi(at)percona(dot)com>
Cc: pgsql-hackers(at)lists(dot)postgresql(dot)org, Nathan Bossart <nathandbossart(at)gmail(dot)com>
Subject: Re: Logical Implication
Date: 2026-09-29 21:51:39
Message-ID: 3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers


On 29/09/2026 22:23, Zsolt Parragi wrote:
> Hello!
>
> One test nitpick:
>
> +SELECT istrue IMPLIES isnul IS NULL FROM booltbl4;
>
> istrue IMPLIES (isnul IS NULL) and (istrue IMPLIES isnul) IS NULL are
> both true. isfalse wouldn't have the same issue.

Sorry, I don't understand what you mean by this.

> %left INTERSECT
> +%right IMPLIES
> %left OR
>
>
> And +1 for using %nonassoc instead

That's three now.  I'll prepare a new patch.

--

Vik Fearing

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Egor Ivkov 2026-09-29 22:20:34 Re: [PATCH] intXshr, intXshl: return error on shift count out of range
Previous Message Egor Ivkov 2026-09-29 21:47:21 [PATCH] intXshr, intXshl: return error on shift count out of range