spg-engine 7.37.17

Execution engine for SPG: glues spg-sql parsing to spg-storage. Foreign keys, joins, vectors, cold tier.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

//! v7.38 (read01) — ARRAY constructor element-type unification across the
//! numeric ladder, matching PG. `ARRAY[1, 2.5]` is numeric[] (not text[]),
//! `ARRAY[1, 2.5::float8]` is double precision[]; each numeric element keeps
//! its own scale. Every expected value / type is from live PG18.4.

use spg_engine::{Engine, QueryResult};

fn one(e: &mut Engine, sql: &str) -> String {
    match e
        .execute(sql)
        .unwrap_or_else(|err| panic!("{sql}: {err:?}"))
    {
        QueryResult::Rows { rows, .. } => match &rows[0].values[0] {
            spg_storage::Value::Text(s) => s.to_string(),
            other => panic!("{sql}: expected Text, got {other:?}"),
        },
        other => panic!("{sql}: expected Rows, got {other:?}"),
    }
}

#[test]
fn int_numeric_mix_is_numeric_array() {
    let mut e = Engine::new();
    assert_eq!(
        one(&mut e, "SELECT pg_typeof(ARRAY[1, 2.5, 3])::text"),
        "numeric[]"
    );
    assert_eq!(one(&mut e, "SELECT (ARRAY[1, 2.5, 3])::text"), "{1,2.5,3}");
    assert_eq!(
        one(&mut e, "SELECT pg_typeof(ARRAY[1::bigint, 2.5])::text"),
        "numeric[]"
    );
    // Each element keeps its own scale.
    assert_eq!(one(&mut e, "SELECT (ARRAY[1.50, 2])::text"), "{1.50,2}");
    assert_eq!(
        one(&mut e, "SELECT (ARRAY[1.5, 2.55, 3])::text"),
        "{1.5,2.55,3}"
    );
}

#[test]
fn float_in_the_mix_is_double_array() {
    let mut e = Engine::new();
    assert_eq!(
        one(&mut e, "SELECT pg_typeof(ARRAY[1, 2.5::float8])::text"),
        "double precision[]"
    );
    assert_eq!(
        one(&mut e, "SELECT (ARRAY[1, 2.5::float8])::text"),
        "{1,2.5}"
    );
    assert_eq!(
        one(
            &mut e,
            "SELECT pg_typeof(ARRAY[1::float8, 2::float8])::text"
        ),
        "double precision[]"
    );
}

#[test]
fn all_integer_stays_integer_array() {
    let mut e = Engine::new();
    assert_eq!(
        one(&mut e, "SELECT pg_typeof(ARRAY[1, 2, 3])::text"),
        "integer[]"
    );
    assert_eq!(
        one(&mut e, "SELECT pg_typeof(ARRAY[1::bigint, 2])::text"),
        "bigint[]"
    );
}

#[test]
fn subscript_of_numeric_array_is_numeric() {
    // The element is numeric, so `[i] / 2` is numeric division, not integer.
    let mut e = Engine::new();
    assert_eq!(
        one(&mut e, "SELECT pg_typeof((ARRAY[1, 2.5, 3])[2])::text"),
        "numeric"
    );
    assert_eq!(
        one(&mut e, "SELECT ((ARRAY[1, 2.5, 3])[2] / 2)::text"),
        "1.25000000000000000000"
    );
}

// v7.38 (read01) — the remaining Text → typed-array casts. `::int[]` and
// `::text[]` already worked; numeric[]/bool[]/date[]/float8[]/smallint[]
// errored. Each element is coerced through the scalar path, so bool spellings
// and date formats behave as they do for a scalar. Oracle: live PG18.4.
#[test]
fn text_casts_to_the_typed_arrays() {
    let mut e = Engine::new();
    assert_eq!(
        one(&mut e, "SELECT ('{1.5,2.25}'::numeric[])::text"),
        "{1.5,2.25}"
    );
    assert_eq!(
        one(&mut e, "SELECT pg_typeof('{1.5}'::numeric[])::text"),
        "numeric[]"
    );
    assert_eq!(
        one(&mut e, "SELECT ('{t,f,NULL}'::bool[])::text"),
        "{t,f,NULL}"
    );
    assert_eq!(
        one(&mut e, "SELECT pg_typeof('{t}'::bool[])::text"),
        "boolean[]"
    );
    assert_eq!(
        one(&mut e, "SELECT ('{2020-01-01,2021-06-15}'::date[])::text"),
        "{2020-01-01,2021-06-15}"
    );
    assert_eq!(
        one(&mut e, "SELECT ('{1.5,2.5}'::float8[])::text"),
        "{1.5,2.5}"
    );
    assert_eq!(one(&mut e, "SELECT ('{1,2}'::smallint[])::text"), "{1,2}");
    // The element is typed, so subscript arithmetic stays numeric.
    assert_eq!(one(&mut e, "SELECT (('{1.5}'::numeric[])[1])::text"), "1.5");
    // A bad element still errors, like PG.
    assert!(e.execute("SELECT '{x}'::bool[]").is_err());
}