Added cast from half to real [skip ci]

This commit is contained in:
Andrew Kane
2023-12-04 12:27:13 -08:00
parent 3b2198d52c
commit 4b630d4f27
5 changed files with 40 additions and 0 deletions

View File

@@ -76,6 +76,18 @@ SELECT 'Infinity'::real::half;
Infinity
(1 row)
SELECT '1.5'::half::real;
float4
--------
1.5
(1 row)
SELECT '{1.5}'::half[]::real[];
float4
--------
{1.5}
(1 row)
SELECT l2_distance('{0,0}'::half[], '{3,4}'::half[]);
l2_distance
-------------

View File

@@ -17,6 +17,9 @@ SELECT '65505'::integer::half;
SELECT 'NaN'::real::half;
SELECT 'Infinity'::real::half;
SELECT '1.5'::half::real;
SELECT '{1.5}'::half[]::real[];
SELECT l2_distance('{0,0}'::half[], '{3,4}'::half[]);
SELECT l2_distance('{0,0}'::half[], '{0,1}'::half[]);
SELECT l2_distance('{1,2}'::half[], '{3}'::half[]);