SQL aggregation MAX/MIN and builtin functions COLL_MAX/COLL_MIN should result in a data type mismatch over non-comparable elements

[alancai98]

Description

Spec issue partiql/partiql-lang#11 with more context. Kotlin implementation currently allows calling SQL aggregation MAX/MIN and building functions COLL_MAX/COLL_MIN on collections of non-comparable elements. These should return an error in strict mode (LEGACY typing mode with what Kotlin currently supports) and return MISSING in permissive mode.

Expected Behavior

The following queries to error in strict/legacy typing mode and return MISSING in permissive typing mode:

SELECT MIN(a) AS result FROM <<{'a': 1}, {'a': 'non-number'}>>
SELECT MAX(a) AS result FROM <<{'a': 1}, {'a': 'non-number'}>>
COLL_MIN(<<1, 'non-number'>>)
COLL_MAX(<<1, 'non_number'>>)

Additional Context

• Java version: 11
• PartiQL version: 0.11.0