agora inbox for pgsql-hackers@postgresql.org
help / color / mirror / Atom feedFrom: Vik Fearing <vik@postgresfriends.org>
To: Zsolt Parragi <zsolt.parragi@percona.com>
Cc: pgsql-hackers@lists.postgresql.org, Nathan Bossart <nathandbossart@gmail.com>
Subject: Re: Logical Implication
Date: Tue, 29 Sep 2026 23:51:39 +0200
Message-ID: <3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org> (raw)
In-Reply-To: <CAN4CZFPUmkNyYP=MJbCE3OC21-De9AYhJXOD_wd8Q06E6xBzqQ@mail.gmail.com>
References: <37c76707-e6fa-4ee3-b57f-aa0bf1b0bba8@postgresfriends.org>
<aqQL78v7jr0AED_b@nathan>
<b0edbd8b-66e5-44c0-9b90-516760df1209@postgresfriends.org>
<arU0qXcp3KSj7M-g@nathan>
<9ab35dbb-d9a4-4c1e-bae2-7763ddeb720c@postgresfriends.org>
<CAN4CZFPUmkNyYP=MJbCE3OC21-De9AYhJXOD_wd8Q06E6xBzqQ@mail.gmail.com>
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
view thread (17+ messages) latest in thread
Message-ID: <3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org>
Permalink: ../3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org/
Also on: postgresql.org/message-id/3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-hackers@postgresql.org
Cc: vik@postgresfriends.org, zsolt.parragi@percona.com, nathandbossart@gmail.com
Subject: Re: Logical Implication
In-Reply-To: <3d779ee0-6596-4dae-b79c-e35b237f83bf@postgresfriends.org>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox