js-on-sx: reject unary-op directly before ** per spec (parens still allowed)

2026-05-10 10:47:56 +00:00
parent 551c24c5a0
commit e93e1eeab1
3 changed files with 20 additions and 2 deletions
--- a/lib/js/parser.sx
+++ b/lib/js/parser.sx
@@ -446,14 +446,23 @@
              (let
                ((e (jp-parse-comma-seq st)))
                (jp-expect! st "punct" ")")
-                e)))
+                (jp-paren-wrap e))))
          (do
            (dict-set! st :idx saved)
            (jp-advance! st)
            (let
              ((e (jp-parse-comma-seq st)))
              (jp-expect! st "punct" ")")
-              e)))))))
+              (jp-paren-wrap e))))))))
+
+(define
+  jp-paren-wrap
+  (fn
+    (e)
+    (cond
+      ((and (list? e) (= (first e) (quote js-unop)))
+        (list (quote js-paren) e))
+      (else e))))

 (define
  jp-parse-comma-seq
@@ -753,6 +762,12 @@
            (cond
              ((< prec 0) left)
              ((< prec min-prec) left)
+              ((and (= op "**") (list? left) (= (first left) (quote js-unop)))
+                (error
+                  (str
+                    "SyntaxError: Unary operator '"
+                    (nth left 1)
+                    "' used immediately before exponentiation expression")))
              (else
                (do
                  (jp-advance! st)