Re: Logical Implication - Mailing list pgsql-hackers

From Vik Fearing
Subject Re: Logical Implication
Date
Msg-id 3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org
Whole thread
In response to Re: Logical Implication  (Zsolt Parragi <zsolt.parragi@percona.com>)
Responses Re: Logical Implication
Re: Logical Implication
List 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




pgsql-hackers by date:

Previous
From: Andres Freund
Date:
Subject: Re: BUG #19686: Rolling back SET TABLESPACE
Next
From: Rustam ALLAKOV
Date:
Subject: Re: Fold NOT IN / <> ALL expressions containing NULL to FALSE