Materialize/test/testdrive/array.td

# Copyright Materialize, Inc. and contributors. All rights reserved.
#
# Use of this software is governed by the Business Source License
# included in the LICENSE file at the root of this repository.
#
# As of the Change Date specified in that file, in accordance with
# the Business Source License, use of this software will be governed
# by the Apache License, Version 2.0.

# This test exercises solely to test arrays at the boundary (e.g., by sending
# them through pgwire).

> SELECT ARRAY[ARRAY['a', 'b'], ARRAY[NULL, 'd']]
array
----
{{a,b},{NULL,d}}

> SELECT ARRAY[ARRAY['a', 'b'], ARRAY[NULL, 'd']]::text
array
----
{{a,b},{NULL,d}}

! CREATE TABLE foobar (f1 int list[]);
contains:type "int4 list[]" does not exist

! SELECT ARRAY[LIST[1]];
contains:integer list[] not yet supported

> CREATE TYPE bigint_list AS LIST (ELEMENT TYPE = bigint);
! CREATE TABLE bigint_list_arr (f1 bigint_list[]);
contains:type "bigint_list[]" does not exist

! SELECT ARRAY['{a => 1}'::map[text=>int]];
contains:map[text=>integer][] not yet supported

> CREATE TYPE bigint_map AS MAP (KEY TYPE = text, VALUE TYPE = bigint);
! CREATE TABLE bigint_map_map_array_table (f1 bigint_map[]);
contains:type "bigint_map[]" does not exist

> SELECT array_fill(1, ARRAY[2], ARRAY[3]);
[3:4]={1,1}

# Test that table creation involving array typescorrectly describe their resolved_ids on restart.
# This is asserted by testdrive during its catalog verification step after each DDL.

> CREATE TABLE t1 (a int4[]);

> CREATE TABLE t2 (a _int4);