Added cast for vector to real[]

This commit is contained in:
Andrew Kane
2021-06-20 21:53:06 -07:00
parent f15ea301c5
commit d97d9a6561
6 changed files with 49 additions and 1 deletions

View File

@@ -10,4 +10,5 @@ SELECT '{NaN}'::real[]::vector;
SELECT '{Infinity}'::real[]::vector;
SELECT '{-Infinity}'::real[]::vector;
SELECT '{}'::real[]::vector;
SELECT '[1,2,3]'::vector::real[];
SELECT array_agg(n)::vector FROM generate_series(1, 1025) n;