Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ougkM-0004Yv-9a for pgsql-docs@arkaria.postgresql.org; Mon, 14 Nov 2022 21:12:02 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1ougkL-0001gY-14 for pgsql-docs@arkaria.postgresql.org; Mon, 14 Nov 2022 21:12:01 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ougkK-0001gO-Oi for pgsql-docs@lists.postgresql.org; Mon, 14 Nov 2022 21:12:00 +0000 Received: from sss.pgh.pa.us ([66.207.139.130]) by makus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ougkI-0007A4-5c for pgsql-docs@lists.postgresql.org; Mon, 14 Nov 2022 21:11:59 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 2AELBupj955707; Mon, 14 Nov 2022 16:11:56 -0500 From: Tom Lane To: postgresql@zabel.one cc: pgsql-docs@lists.postgresql.org Subject: Re: Mistake in Syntax definition of ALTER TABLE In-reply-to: <166842656645.632.14900882231844845906@wrigleys.postgresql.org> References: <166842656645.632.14900882231844845906@wrigleys.postgresql.org> Comments: In-reply-to PG Doc comments form message dated "Mon, 14 Nov 2022 11:49:26 +0000" MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <955705.1668460316.1@sss.pgh.pa.us> Date: Mon, 14 Nov 2022 16:11:56 -0500 Message-ID: <955706.1668460316@sss.pgh.pa.us> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk PG Doc comments form writes: > I think there's a mistake under "and table_constraint is:" where the > different constraints are listed. > Here: https://www.postgresql.org/docs/current/sql-altertable.html > The definition here allows for CHECK constraints to be deferrable when they > are not. It's not a mistake, we are simply not trying to make the syntax diagram reflect that particular implementation restriction. I doubt that making it do so would be an improvement: we'd have to have two kinds of column_constraint in the diagram. regards, tom lane