@weborigami/language 0.0.51 → 0.0.53

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@weborigami/language",
-  "version": "0.0.51",
+  "version": "0.0.53",
   "description": "Web Origami expression language compiler and runtime",
   "type": "module",
   "main": "./main.js",
@@ -11,8 +11,8 @@
     "typescript": "5.4.5"
   },
   "dependencies": {
-    "@weborigami/async-tree": "0.0.51",
-    "@weborigami/types": "0.0.51",
+    "@weborigami/async-tree": "0.0.53",
+    "@weborigami/types": "0.0.53",
     "watcher": "2.3.1"
   },
   "scripts": {

package/src/compiler/origami.pegjs

@@ -7,7 +7,7 @@
 //
 
 import * as ops from "../runtime/ops.js";
-import { makeFunctionCall, makePipeline, makeTemplate } from "./parserHelpers.js";
+import { makeArray, makeFunctionCall, makeObject, makePipeline, makeTemplate } from "./parserHelpers.js";
 
 // If a parse result is an object that will be evaluated at runtime, attach the
 // location of the source code that produced it for debugging and error messages.
@@ -39,19 +39,17 @@ args "function arguments"
     }
 
 array "array"
-  = "[" __ list:list? __ closingBracket {
-      return annotate([ops.array, ...(list ?? [])], location());
+  = "[" __ entries:arrayEntries? __ closingBracket {
+      return annotate(makeArray(entries ?? []), location());
     }
 
-// An assignment statement: `foo = 1`
-assignment "tree assignment"
-  = @identifier __ "=" __ @expr
+// A separated list of array entries
+arrayEntries
+  = @arrayEntry|1.., separator| separator?
 
-assignmentOrShorthand
-  = assignment
-  / key:identifier {
-      return annotate([key, [ops.inherited, key]], location());
-    }
+arrayEntry
+  = spread
+  / expr
 
 // Something that can be called. This is more restrictive than the `expr`
 // parser; it doesn't accept regular function calls.
@@ -107,6 +105,8 @@ doubleQuoteString "double quote string"
 doubleQuoteStringChar
   = !('"' / newLine) @textChar
 
+ellipsis = "..." / "…" // Unicode ellipsis
+
 escapedChar "backslash-escaped character"
   = "\\" @.
 
@@ -199,24 +199,25 @@ number "number"
 // TODO: Use Object.fromEntries with array of key/value pairs
 //
 object "object literal"
-  = "{" __ properties:objectProperties? __ "}" {
-      return annotate([ops.object, ...(properties ?? [])], location());
+  = "{" __ entries:objectEntries? __ "}" {
+      return annotate(makeObject(entries ?? [], ops.object), location());
     }
 
-// A separated list of object properties or shorthands
-objectProperties
-  = @objectPropertyOrShorthand|1.., separator| separator?
+// A separated list of object entries
+objectEntries
+  = @objectEntry|1.., separator| separator?
 
-// A single object property with key and value: `x: 1`
-objectProperty "object property"
-  = @identifier __ ":" __ @expr
-
-objectPropertyOrShorthand
-  = objectProperty
+objectEntry
+  = spread
+  / objectProperty
   / key:identifier {
       return annotate([key, [ops.scope, key]], location());
     }
 
+// A single object property with key and value: `x: 1`
+objectProperty "object property"
+  = @identifier __ ":" __ @expr
+
 parameterizedLambda
   = "(" __ parameters:identifierList? __ ")" __ doubleArrow __ expr:expr {
     return annotate([ops.lambda, parameters ?? [], expr], location());
@@ -287,6 +288,9 @@ singleQuoteString "single quote string"
 singleQuoteStringChar
   = !("'" / newLine) @textChar
 
+spread
+  = ellipsis expr:expr { return [ops.spread, expr]; }
+
 // A single step in a pipeline, or a top-level expression
 step
   // Literals that can't start a function call
@@ -363,13 +367,24 @@ textChar
 
 // A tree literal: `{ index.html = "Hello" }`
 tree "tree literal"
-  = "{" __ assignments:treeAssignments? __ closingBrace {
-      return annotate([ops.tree, ...(assignments ?? [])], location());
+  = "{" __ entries:treeEntries? __ closingBrace {
+      return annotate(makeObject(entries ?? [], ops.tree), location());
     }
 
+// A tree assignment statement: `foo = 1`
+treeAssignment "tree assignment"
+  = @identifier __ "=" __ @expr
+
 // A separated list of assignments or shorthands
-treeAssignments
-  = @assignmentOrShorthand|1.., separator| separator?
+treeEntries
+  = @treeEntry|1.., separator| separator?
+
+treeEntry
+  = spread
+  / treeAssignment
+  / key:identifier {
+      return annotate([key, [ops.inherited, key]], location());
+    }
 
 whitespaceWithNewLine
   = inlineSpace* comment? newLine __