Consider the following Rel8 program. It produces SQL which crashes.
Query Error: error: could not identify column "f1" in record data type
Is this known/expected?
The ultimate problem is that .f1, .f2, etc. for accessing fields of ROWs don't really work "through" SELECTs.
*Rel8 Data.Int Prelude> putStr $ showQuery $ do { q1 <- many (many (values [1 , 2 :: Expr Int16])); q2 <- catListTable q1; catListTable q2 }
SELECT
CAST("unnest0_9" AS int2) as "anon"
FROM (SELECT
UNNEST("unnest0_7") as "unnest0_9",
*
FROM (SELECT
(UNNEST(CASE WHEN ("rebind0_5") IS NULL THEN CAST(ARRAY[] AS record[]) ELSE "result0_4" END)).f1 as "unnest0_7",
*
FROM (SELECT *
FROM
(SELECT
0) as "T1"
LEFT OUTER JOIN
(SELECT
TRUE as "rebind0_5",
*
FROM (SELECT
*
FROM (SELECT
ARRAY_AGG("inner0_4") as "result0_4"
FROM (SELECT
ROW(CASE WHEN ("rebind0_3") IS NULL THEN CAST(ARRAY[] AS int2[]) ELSE "result0_2" END) as "inner0_4",
*
FROM (SELECT *
FROM
(SELECT
0) as "T1"
LEFT OUTER JOIN
(SELECT
TRUE as "rebind0_3",
*
FROM (SELECT
*
FROM (SELECT
ARRAY_AGG("inner0_2") as "result0_2"
FROM (SELECT
"values0_1" as "inner0_2",
*
FROM (SELECT
*
FROM (SELECT "column1" as "values0_1"
FROM
(VALUES
(CAST(1 AS int2)),
(CAST(2 AS int2))) as "V") as "T1") as "T1") as "T1"
GROUP BY COALESCE(0)) as "T1") as "T1") as "T2"
ON
TRUE) as "T1") as "T1"
GROUP BY COALESCE(0)) as "T1") as "T1") as "T2"
ON
TRUE) as "T1") as "T1") as "T1"
Consider the following Rel8 program. It produces SQL which crashes.
Is this known/expected?
The ultimate problem is that
.f1,.f2, etc. for accessing fields ofROWs don't really work "through" SELECTs.