Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1raI9w-0092GU-JN for pgsql-committers@arkaria.postgresql.org; Wed, 14 Feb 2024 16:30:56 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1raI9v-0078YM-6Y for pgsql-committers@arkaria.postgresql.org; Wed, 14 Feb 2024 16:30:55 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1raI9u-0078YE-VB for pgsql-committers@lists.postgresql.org; Wed, 14 Feb 2024 16:30:54 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1raI9s-007BGH-1j for pgsql-committers@lists.postgresql.org; Wed, 14 Feb 2024 16:30:54 +0000 Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1raI9q-002Xko-3u for pgsql-committers@lists.postgresql.org; Wed, 14 Feb 2024 16:30:50 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1raI9p-006Dc1-GT for pgsql-committers@lists.postgresql.org; Wed, 14 Feb 2024 16:30:49 +0000 Content-Type: multipart/mixed; boundary="===============8479045185751668835==" MIME-Version: 1.0 From: Tom Lane To: pgsql-committers@lists.postgresql.org Subject: pgsql: Fix multiranges to behave more like dependent types. X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Wed, 14 Feb 2024 16:30:49 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============8479045185751668835== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Rml4IG11bHRpcmFuZ2VzIHRvIGJlaGF2ZSBtb3JlIGxpa2UgZGVwZW5kZW50IHR5cGVzLgoKRm9y IG1vc3QgcHVycG9zZXMsIG11bHRpcmFuZ2VzIGFjdCBsaWtlIGRlcGVuZGVudCBvYmplY3RzIG9m IHRoZQphc3NvY2lhdGVkIHJhbmdlIHR5cGU6IHlvdSBjYW4ndCBjcmVhdGUgdGhlbSBzZXBhcmF0 ZWx5IG9yIGRyb3AgdGhlbQpzZXBhcmF0ZWx5LiAgVGhpcyBpcyBsaWtlIHRoZSB3YXkgdGhhdCBh dXRvZ2VuZXJhdGVkIGFycmF5IHR5cGVzCmJlaGF2ZS4gIEhvd2V2ZXIsIGEgY291cGxlIG9mIHBv aW50cyB3ZXJlIG92ZXJsb29rZWQ6IGFycmF5IHR5cGVzCmF1dG9tYXRpY2FsbHkgdHJhY2sgdGhl IG93bmVyc2hpcCBvZiB0aGVpciBiYXNlIHR5cGUsIGFuZCBhcnJheSB0eXBlcwpkbyBub3QgaGF2 ZSB0aGVpciBvd24gcGVybWlzc2lvbnMgYnV0IHVzZSB0aG9zZSBvZiB0aGUgYmFzZSB0eXBlLAp3 aGlsZSBtdWx0aXJhbmdlcyBkaWRuJ3QgZW11bGF0ZSB0aG9zZSBiZWhhdmlvcnMuICBUaGlzIGlz IGZhaXJseQpicm9rZW4sIG1haW5seSBiZWNhdXNlIHBnX2R1bXAgZG9lc24ndCB0aGluayBpdCBu ZWVkcyB0byB3b3JyeSBhYm91dAptdWx0aXJhbmdlcyBhcyBzZXBhcmF0ZSBvYmplY3RzLCBhbmQg dGh1cyBpdCBmYWlscyB0byBkdW1wL3Jlc3RvcmUKb3duZXJzaGlwIG9yIHBlcm1pc3Npb25zIG9m IG11bHRpcmFuZ2VzLgoKVGhlcmUncyBubyBhcHBhcmVudCB2YWx1ZSBpbiBsZXR0aW5nIGEgbXVs dGlyYW5nZSBkaXZlcmdlIGZyb20KaXRzIHBhcmVudCdzIG93bmVyc2hpcCBvciBwZXJtaXNzaW9u cywgc28gbGV0J3MgbWFrZSB0aGVtIGFjdCBsaWtlCmFycmF5cyBpbiB0aGVzZSByZXNwZWN0cy4g IEhvd2V2ZXIsIHdlIGNvbnRpbnVlIHRvIGxldCBtdWx0aXJhbmdlcwpiZSByZW5hbWVkIG9yIG1v dmVkIHRvIGEgZGlmZmVyZW50IHNjaGVtYSBpbmRlcGVuZGVudGx5IG9mIHRoZWlyCnBhcmVudCwg c2luY2UgdGhhdCBkb2Vzbid0IGJyZWFrIGFueXRoaW5nLgoKRGlzY3Vzc2lvbjogaHR0cHM6Ly9w b3N0Z3IuZXMvbS8xNTgwMzgzLjE3MDUzNDMyNjRAc3NzLnBnaC5wYS51cwoKQnJhbmNoCi0tLS0t LQptYXN0ZXIKCkRldGFpbHMKLS0tLS0tLQpodHRwczovL2dpdC5wb3N0Z3Jlc3FsLm9yZy9wZy9j b21taXRkaWZmLzNlODIzNWJhNGY5Y2MzMzc1YjA2MWZiNWQzZjM1NzU0MzQ1MzliNWYKCk1vZGlm aWVkIEZpbGVzCi0tLS0tLS0tLS0tLS0tCnNyYy9iYWNrZW5kL2NhdGFsb2cvYWNsY2hrLmMgICAg ICAgICAgICAgICAgICB8IDM1ICsrKysrKysrKysrKysrKysrKysrKysKc3JjL2JhY2tlbmQvY2F0 YWxvZy9wZ190eXBlLmMgICAgICAgICAgICAgICAgIHwgNDEgKysrKysrKysrKysrKysrKysrLS0t LS0tLS0Kc3JjL2JhY2tlbmQvY29tbWFuZHMvdHlwZWNtZHMuYyAgICAgICAgICAgICAgIHwgNDIg KysrKysrKysrKysrKysrKysrKysrKystLS0tCnNyYy9iaW4vcGdfZHVtcC9wZ19kdW1wLmMgICAg ICAgICAgICAgICAgICAgICB8ICA4ICsrLS0tCnNyYy90ZXN0L3JlZ3Jlc3MvZXhwZWN0ZWQvZGVw ZW5kZW5jeS5vdXQgICAgICB8ICAxIC0Kc3JjL3Rlc3QvcmVncmVzcy9leHBlY3RlZC9tdWx0aXJh bmdldHlwZXMub3V0IHwgMzAgKysrKysrKysrKysrKysrKysrKwpzcmMvdGVzdC9yZWdyZXNzL3Nx bC9tdWx0aXJhbmdldHlwZXMuc3FsICAgICAgfCAyMSArKysrKysrKysrKysrKwo3IGZpbGVzIGNo YW5nZWQsIDE1NSBpbnNlcnRpb25zKCspLCAyMyBkZWxldGlvbnMoLSkKCg== --===============8479045185751668835==--