fix #192

kitta65 · Apr 26, 2023 · 6db8aaf · 6db8aaf
1 parent 764d7b0
commit 6db8aaf
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/parser.rs b/src/parser.rs
@@ -377,9 +377,13 @@ impl Parser {
                         let type_ = self.parse_type(false)?;
                         self.next_token()?; // > -> [
                         let mut arr = self.construct_node(NodeType::ArrayLiteral)?;
-                        self.next_token()?; // [ -> exprs
-                        arr.push_node_vec("exprs", self.parse_exprs(&vec![], false)?);
-                        self.next_token()?; // exprs -> ]
+                        self.next_token()?; // [ -> exprs | ]
+                        if self.get_token(0)?.is("]") {
+                            arr.push_node_vec("exprs", vec![]);
+                        } else {
+                            arr.push_node_vec("exprs", self.parse_exprs(&vec![], false)?);
+                            self.next_token()?; // exprs -> ]
+                        }
                         arr.push_node("rparen", self.construct_node(NodeType::Symbol)?);
                         arr.push_node("type", type_);
                         left = arr;

diff --git a/src/parser/tests/tests_core.rs b/src/parser/tests/tests_core.rs
@@ -567,6 +567,28 @@ exprs:
         // array with type declaration
         Box::new(SuccessTestCase::new(
             "\
+SELECT ARRAY<STRING>[]
+",
+            "\
+self: SELECT (SelectStatement)
+exprs:
+- self: [ (ArrayLiteral)
+  exprs: []
+  rparen:
+    self: ] (Symbol)
+  type:
+    self: ARRAY (Type)
+    type_declaration:
+      self: < (GroupedType)
+      rparen:
+        self: > (Symbol)
+      type:
+        self: STRING (Type)
+",
+            0,
+        )),
+        Box::new(SuccessTestCase::new(
+            "\
 SELECT ARRAY<INT64>[1]
 ",
             "\