Fix issue-2187

kuzudb · Oct 13, 2023 · d2c2f88 · d2c2f88
1 parent a755f57
commit d2c2f88
Show file tree

Hide file tree

Showing 6 changed files with 2,296 additions and 2,167 deletions.
diff --git a/src/antlr4/Cypher.g4 b/src/antlr4/Cypher.g4
@@ -570,7 +570,10 @@ TRUE : ( 'T' | 't' ) ( 'R' | 'r' ) ( 'U' | 'u' ) ( 'E' | 'e' ) ;
 FALSE : ( 'F' | 'f' ) ( 'A' | 'a' ) ( 'L' | 'l' ) ( 'S' | 's' ) ( 'E' | 'e' ) ;
 
 oC_ListLiteral
-    :  '[' SP? ( oC_Expression SP? ( ',' SP? oC_Expression SP? )* )? ']' ;
+    :  '[' SP? ( oC_Expression SP? ( kU_ListEntry SP? )* )? ']' ;
+
+kU_ListEntry
+    : ',' SP? oC_Expression? ;
 
 kU_StructLiteral
     :  '{' SP? kU_StructField SP? ( ',' SP? kU_StructField SP? )* '}' ;

diff --git a/src/parser/transform/transform_expression.cpp b/src/parser/transform/transform_expression.cpp
@@ -429,8 +429,18 @@ std::unique_ptr<ParsedExpression> Transformer::transformListLiteral(
     CypherParser::OC_ListLiteralContext& ctx) {
     auto listCreation =
         std::make_unique<ParsedFunctionExpression>(LIST_CREATION_FUNC_NAME, ctx.getText());
-    for (auto& childExpr : ctx.oC_Expression()) {
-        listCreation->addChild(transformExpression(*childExpr));
+    if (ctx.oC_Expression() == nullptr) { // empty list
+        return listCreation;
+    }
+    listCreation->addChild(transformExpression(*ctx.oC_Expression()));
+    for (auto& listEntry : ctx.kU_ListEntry()) {
+        if (listEntry->oC_Expression() == nullptr) {
+            auto nullValue = Value::createNullValue();
+            listCreation->addChild(
+                std::make_unique<ParsedLiteralExpression>(nullValue.copy(), nullValue.toString()));
+        } else {
+            listCreation->addChild(transformExpression(*listEntry->oC_Expression()));
+        }
     }
     return listCreation;
 }

diff --git a/src/processor/operator/persistent/reader/csv/driver.cpp b/src/processor/operator/persistent/reader/csv/driver.cpp
@@ -106,7 +106,7 @@ struct SplitStringListOperation {
             start_copy = end;
         }
         copyStringToVector(resultVector, offset,
-            std::string_view{start_copy, (size_t)(end - start_copy)}, csvReaderConfig);
+            std::string_view{start_copy, (uint32_t)(end - start_copy)}, csvReaderConfig);
         offset++;
     }
 };

diff --git a/test/test_files/tinysnb/function/list.test b/test/test_files/tinysnb/function/list.test
@@ -5,6 +5,43 @@
 
 -CASE FunctionList
 
+-LOG ListLiteral
+-STATEMENT RETURN [1,,3];
+---- 1
+[1,,3]
+-STATEMENT UNWIND [1,,3] AS a RETURN a IS NULL;
+---- 3
+False
+False
+True
+-STATEMENT RETURN [1, 'a'];
+---- error
+Binder exception: Cannot bind LIST_CREATION with parameter type INT64 and STRING.
+-STATEMENT RETURN [1,,'a'];
+---- error
+Binder exception: Cannot bind LIST_CREATION with parameter type INT64 and STRING.
+-STATEMENT RETURN [1, NULL];
+---- 1
+[1,]
+-STATEMENT RETURN [];
+---- 1
+[]
+-STATEMENT RETURN [NULL, NULL];
+---- 1
+[,]
+-STATEMENT RETURN ['a', , []];
+---- error
+Binder exception: Cannot bind LIST_CREATION with parameter type STRING and INT64[].
+-STATEMENT RETURN [[], , []];
+---- 1
+[[],,[]]
+-STATEMENT RETURN [[1], , [2]];
+---- 1
+[[1],,[2]]
+-STATEMENT RETURN [[1], , ['a']];
+---- error
+Binder exception: Cannot bind LIST_CREATION with parameter type INT64[] and STRING[].
+
 -LOG NodeLISTStructuredPropertiesTest
 -STATEMENT MATCH (a:person) RETURN a.workedHours, a.usedNames, a.courseScoresPerTerm
 ---- 8