coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: coop:17b5acb71f736466eb85508bcb6ce3196b74e4dd
Branches Tags
coop:main coop:loops/fed-sx-m1 coop:loops/go coop:loops/fed-prims coop:loops/erlang coop:architecture coop:lib/guest/quoting coop:loops/scheme coop:hs-f coop:lib/guest/method-chain coop:lib/guest/test-runner coop:lib/smalltalk/refl-env coop:lib/tcl/uplevel coop:loops/kernel coop:loops/apl coop:loops/datalog coop:loops/js coop:loops/ocaml coop:loops/haskell coop:loops/minikanren coop:loops/tcl coop:bugs/resume-letrec coop:bugs/jit-bytecode-loop coop:loops/prolog coop:loops/smalltalk coop:loops/ruby coop:loops/lua coop:loops/forth coop:loops/common-lisp coop:loops/hs coop:hs-e36-websocket coop:hs-e37-tokenizer coop:hs-e39-webworker coop:wasm coop:macros coop:sx coop:exorcism coop:cssx coop:decoupling coop:sexpression coop:relations
..
compare: coop:loops/hs
Branches Tags
coop:loops/fed-sx-m1 coop:loops/go coop:loops/fed-prims coop:loops/erlang coop:architecture coop:lib/guest/quoting coop:loops/scheme coop:hs-f coop:lib/guest/method-chain coop:lib/guest/test-runner coop:lib/smalltalk/refl-env coop:lib/tcl/uplevel coop:loops/kernel coop:loops/apl coop:loops/datalog coop:loops/js coop:loops/ocaml coop:loops/haskell coop:loops/minikanren coop:loops/tcl coop:bugs/resume-letrec coop:bugs/jit-bytecode-loop coop:loops/prolog coop:loops/smalltalk coop:loops/ruby coop:loops/lua coop:loops/forth coop:loops/common-lisp coop:loops/hs coop:hs-e36-websocket coop:hs-e37-tokenizer coop:hs-e39-webworker coop:main coop:wasm coop:macros coop:sx coop:exorcism coop:cssx coop:decoupling coop:sexpression coop:relations

9 Commits
17b5acb71f ... loops/hs

Author SHA1 Message Date
giles
6169c99036 Merge branch 'hs-e36-websocket' into loops/hs
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 17s
Details
2026-04-26 18:31:16 +00:00
giles
8915eeaf5e HS E36: RPC timeout tests (10, 11, 14) — 16/16 complete
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 16s
Details 
All 16 socket tests now green.

Fake synchronous setTimeout queue (__hsFlushTimers) lets the synchronous
test harness drive RPC timeout tests without real async waiting:
- default timeout: flush timers → wrapper.pending emptied (rejected)
- noTimeout: flush timers → wrapper.pending still has entry (not rejected)
- timeout(n): flush timers → 50ms timer fires → pending emptied

_rpcDispatch handles "noTimeout"/"timeout" method names, returning
new proxy or timeout-factory function respectively.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-26 17:56:19 +00:00
giles
de493e41d8 HS E36: dispatchEvent, rpc-throw, reconnect (tests 3, 12, 15) — 13/16 
Three new socket tests passing:
- dispatchEvent: sends JSON-encoded event via wrapper.raw.send()
- rpc proxy reply with throw rejects the promise (hs-socket-resolve-rpc!)
- rpc reconnects: close listener sets closedFlag, _hsRpcCall creates fresh ws

Key fixes:
- _sent changed from JS Array to plain object {_len:0, 0:msg, ...} — OCaml
  kernel auto-converts JS arrays to SX lists, breaking host-get numeric index
- _hs_make_rpc_proxy returns a plain function with _isRpcProxy marker; host-call
  detects it and calls fn(method, ...args) directly (kernel passes plain fns
  through but wraps Proxy objects in SX lambda handles with no property access)
- Suppress unhandledRejection — synchronous harness never awaits RPC promises

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-26 17:51:36 +00:00
giles
e4e784dba6 HS: socket rpc blacklist test paren fix (+1)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 14s
Details
2026-04-26 16:50:56 +00:00
giles
e9ea1bf160 HS: socket on-message + as JSON (+3) 
Steps 4-5 complete: hs-try-json-parse, ws.onmessage wiring (text/JSON
dispatch), onmessage test cases. 8/16 socket tests passing.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-26 10:43:38 +00:00
giles
ce39a35c6b HS: socket namespaced names + timeout plumbing (+2)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 17s
Details 
Native JS wrapper: replace SX dict with (host-new "Object") so
host-set! mutations persist for rpc and closed? updates. bind-path!
uses (host-new "Object") for intermediate namespace nodes so dotted
paths like MyApp.chat bind correctly. Fix _hs_make_rpc_proxy call
wrapper to strip the nil this-arg. Land tests 4+16: namespaced sockets
work, with timeout parses and uses the configured timeout. 5/16 total.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-26 10:22:09 +00:00
giles
a20c9c4625 HS E36: socket URL parsing + hs-socket-register! runtime (+3 tests)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 15s
Details 
- parser.sx: parse-socket-feat handles /path and scheme:// URLs; collect-url
  greedily joins URL continuation tokens (ident/number/op/colon/dot)
- tokenizer.sx: fix :// not treated as line comment (lookback check)
- compiler.sx: emit-socket compiles socket AST to hs-socket-register! call
- runtime.sx: hs-socket-register! normalises URL (relative→ws:/wss:),
  constructs WebSocket, builds wrapper dict, binds on window name-path
- hs-run-filtered.js: WebSocket mock uses plain object (not JS array) so
  host-global returns a foreign value rather than SX list; host-get idx works

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-04-26 09:55:48 +00:00
giles
c2dcc94ce2 HS: parse socket feature 2026-04-25 19:03:07 +00:00
giles
6327c05ca6 HS-prep: WebSocket + RPC proxy mock 2026-04-25 18:49:52 +00:00
24 changed files with 4764 additions and 7837 deletions
Expand all files Collapse all files

4
hosts/javascript/platform.py
View File

@@ -2042,8 +2042,8 @@ PLATFORM_DOM_JS = """
// If lambda takes 0 params, call without event arg (convenience for on-click handlers)
var wrapped = isLambda(handler)
? (lambdaParams(handler).length === 0
? function(e) { try { var r = cekCall(handler, NIL); if (globalThis._driveAsync) globalThis._driveAsync(r); } catch(err) { console.error("[sx-ref] domListen handler error:", name, err); } }
: function(e) { try { var r = cekCall(handler, [e]); if (globalThis._driveAsync) globalThis._driveAsync(r); } catch(err) { console.error("[sx-ref] domListen handler error:", name, err); } })
? function(e) { try { cekCall(handler, NIL); } catch(err) { console.error("[sx-ref] domListen handler error:", name, err); } }
: function(e) { try { cekCall(handler, [e]); } catch(err) { console.error("[sx-ref] domListen handler error:", name, err); } })
: handler;
if (name === "click") logInfo("domListen: click on <" + (el.tagName||"?").toLowerCase() + "> text=" + (el.textContent||"").substring(0,20) + " isLambda=" + isLambda(handler));
var passiveEvents = { touchstart: 1, touchmove: 1, wheel: 1, scroll: 1 };

29
hosts/ocaml/bin/mcp_tree.ml
View File

@@ -1892,34 +1892,8 @@ let handle_sx_harness_eval args =
let file = args |> member "file" |> to_string_option in
let setup_str = args |> member "setup" |> to_string_option in
let files_json = try args |> member "files" with _ -> `Null in
let host_stubs = match args |> member "host_stubs" with `Bool b -> b | _ -> false in
let e = !env in
let warnings = ref [] in
(* Inject stub host primitives so files using host-get/host-new/etc. can load *)
if host_stubs then begin
let stubs = {|
(define host-global (fn (&rest _) nil))
(define host-get (fn (&rest _) nil))
(define host-set! (fn (obj k v) v))
(define host-call (fn (&rest _) nil))
(define host-new (fn (&rest _) (dict)))
(define host-callback (fn (f) f))
(define host-typeof (fn (&rest _) "string"))
(define hs-ref-eq (fn (a b) (identical? a b)))
(define host-call-fn (fn (&rest _) nil))
(define host-iter? (fn (&rest _) false))
(define host-to-list (fn (&rest _) (list)))
(define host-await (fn (&rest _) nil))
(define host-new-function (fn (&rest _) nil))
(define load-library! (fn (&rest _) false))
|} in
let stub_exprs = Sx_parser.parse_all stubs in
List.iter (fun expr ->
try ignore (Sx_ref.eval_expr expr (Env e))
with exn ->
warnings := Printf.sprintf "Stub warning: %s" (Printexc.to_string exn) :: !warnings
) stub_exprs
end;
(* Collect all files to load *)
let all_files = match files_json with
| `List items ->
@@ -3044,8 +3018,7 @@ let tool_definitions = `List [
("mock", `Assoc [("type", `String "string"); ("description", `String "Optional mock platform overrides as SX dict, e.g. {:fetch (fn (url) {:status 200})}")]);
("file", `Assoc [("type", `String "string"); ("description", `String "Optional .sx file to load for definitions")]);
("files", `Assoc [("type", `String "array"); ("items", `Assoc [("type", `String "string")]); ("description", `String "Multiple .sx files to load in order")]);
("setup", `Assoc [("type", `String "string"); ("description", `String "SX setup expression to run before main evaluation")]);
("host_stubs", `Assoc [("type", `String "boolean"); ("description", `String "If true, inject nil-returning stubs for host-get/host-set!/host-call/host-new/etc. so files that use host primitives can load in the harness")])]
("setup", `Assoc [("type", `String "string"); ("description", `String "SX setup expression to run before main evaluation")])]
["expr"];
tool "sx_nav" "Manage sx-docs navigation and articles. Modes: list (all nav items with status), check (validate consistency), add (create article + nav entry), delete (remove nav entry + page fn), move (move entry between sections, rewriting hrefs)."
[("mode", `Assoc [("type", `String "string"); ("description", `String "Mode: list, check, add, delete, or move")]);

569
lib/hyperscript/compiler.sx
View File

@@ -32,7 +32,7 @@
(let
((th (first target)))
(cond
((or (= th dot-sym) (= th (make-symbol "poss")))
((= th dot-sym)
(let
((base-ast (nth target 1)) (prop (nth target 2)))
(cond
@@ -67,62 +67,17 @@
value))
(list (quote hs-query-all) (nth inner 1)))))
(true
(list
(quote let)
(list
(list
(quote __hs-obj)
(if
(or
(symbol? base-ast)
(and
(list? base-ast)
(= (str (first base-ast)) "ref")))
(let
((sel (if (symbol? base-ast) (str base-ast) (nth base-ast 1))))
(list
(quote do)
(list
(quote host-set!)
(list (quote host-global) "window")
"_hs_last_query_sel"
sel)
(hs-to-sx base-ast)))
(hs-to-sx base-ast))))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-obj)))
(list
(quote dom-set-prop)
(quote __hs-obj)
(hs-to-sx base-ast)
prop
value))))))))
value)))))
((= th (quote attr))
(let
((base-ast (nth target 2)))
(if
(and (list? base-ast) (= (str (first base-ast)) "ref"))
(list
(quote do)
(list
(quote set!)
(quote _hs-last-query-sel)
(nth base-ast 1))
(list
(quote hs-set-attr!)
(hs-to-sx base-ast)
(hs-to-sx (nth target 2))
(nth target 1)
value))
(list
(quote hs-set-attr!)
(hs-to-sx base-ast)
(nth target 1)
value))))
((= th (quote style))
(list
(quote dom-set-style)
@@ -190,16 +145,7 @@
(hs-to-sx obj-ast)
(nth prop-ast 1)
value)
(if
(and
(list? prop-ast)
(= (first prop-ast) (quote style)))
(list
(quote dom-set-style)
(hs-to-sx obj-ast)
(nth prop-ast 1)
value)
(list (quote set!) (hs-to-sx target) value)))))))
(list (quote set!) (hs-to-sx target) value))))))
(true (list (quote set!) (hs-to-sx target) value)))))))
(define
emit-on
@@ -235,9 +181,9 @@
(let
((raw-compiled (hs-to-sx stripped-body)))
(let
((compiled-body (let ((base (if (> (len event-refs) 0) (let ((bindings (map (fn (r) (let ((name (nth r 1))) (list (make-symbol name) (list (quote let) (list (list (quote _det) (list (quote host-get) (quote event) "detail"))) (list (quote if) (list (quote and) (quote _det) (list (quote not) (list (quote nil?) (list (quote host-get) (quote _det) name)))) (list (quote host-get) (quote _det) name) (list (quote host-get) (quote event) name)))))) event-refs))) (list (quote let) bindings raw-compiled)) raw-compiled))) (if elsewhere? (list (quote when) (list (quote not) (list (quote host-call) (quote me) "contains" (list (quote host-get) (quote event) "target"))) base) base))))
((compiled-body (let ((base (if (> (len event-refs) 0) (let ((bindings (map (fn (r) (let ((name (nth r 1))) (list (make-symbol name) (list (quote host-get) (list (quote host-get) (quote event) "detail") name)))) event-refs))) (list (quote let) bindings raw-compiled)) raw-compiled))) (if elsewhere? (list (quote when) (list (quote not) (list (quote host-call) (quote me) "contains" (list (quote host-get) (quote event) "target"))) base) base))))
(let
((wrapped-body (if catch-info (let ((var (make-symbol (nth catch-info 0))) (catch-body (hs-to-sx (nth catch-info 1)))) (if finally-info (list (quote let) (list (list (quote __hs-exc) nil) (list (quote __hs-reraise) false)) (list (quote do) (list (quote guard) (list var (list true (list (quote let) (list (list var (list (quote host-hs-normalize-exc) var))) (list (quote guard) (list (quote __inner-exc) (list true (list (quote do) (list (quote set!) (quote __hs-exc) (quote __inner-exc)) (list (quote set!) (quote __hs-reraise) true)))) catch-body)))) compiled-body) (hs-to-sx finally-info) (list (quote when) (quote __hs-reraise) (list (quote raise) (quote __hs-exc))))) (list (quote let) (list (list (quote __hs-exc) nil) (list (quote __hs-reraise) false)) (list (quote do) (list (quote guard) (list var (list true (list (quote let) (list (list var (list (quote host-hs-normalize-exc) var))) (list (quote guard) (list (quote __inner-exc) (list true (list (quote do) (list (quote set!) (quote __hs-exc) (quote __inner-exc)) (list (quote set!) (quote __hs-reraise) true)))) catch-body)))) compiled-body) (list (quote when) (quote __hs-reraise) (list (quote raise) (quote __hs-exc))))))) (if finally-info (list (quote do) compiled-body (hs-to-sx finally-info)) compiled-body))))
((wrapped-body (if catch-info (let ((var (make-symbol (nth catch-info 0))) (catch-body (hs-to-sx (nth catch-info 1)))) (if finally-info (list (quote do) (list (quote guard) (list var (list true catch-body)) compiled-body) (hs-to-sx finally-info)) (list (quote guard) (list var (list true catch-body)) compiled-body))) (if finally-info (list (quote do) compiled-body (hs-to-sx finally-info)) compiled-body))))
(let
((handler (let ((uses-the-result? (fn (expr) (cond ((= expr (quote the-result)) true) ((list? expr) (some (fn (x) (uses-the-result? x)) expr)) (true false))))) (let ((base-handler (list (quote fn) (list (quote event)) (if (uses-the-result? wrapped-body) (list (quote let) (list (list (quote the-result) nil)) wrapped-body) wrapped-body)))) (if count-filter-info (let ((mn (get count-filter-info "min")) (mx (get count-filter-info "max"))) (list (quote let) (list (list (quote __hs-count) 0)) (list (quote fn) (list (quote event)) (list (quote begin) (list (quote set!) (quote __hs-count) (list (quote +) (quote __hs-count) 1)) (list (quote when) (if (= mx -1) (list (quote >=) (quote __hs-count) mn) (list (quote and) (list (quote >=) (quote __hs-count) mn) (list (quote <=) (quote __hs-count) mx))) (nth base-handler 2)))))) base-handler)))))
(let
@@ -410,13 +356,13 @@
(cond
((and (= (len ast) 4) (list? (nth ast 2)) (= (first (nth ast 2)) (quote dict)))
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx (nth ast 3))
name
(hs-to-sx (nth ast 2))))
((= (len ast) 3)
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx (nth ast 2))
name
(list (quote dict) "sender" (quote me))))
@@ -466,20 +412,12 @@
(quote hs-repeat-times)
(hs-to-sx mode)
(list (quote fn) (list) body)))))))
(define
hs-reserved-var?
(fn (name) (or (= name "meta") (= name "event") (= name "result"))))
(define
emit-for
(fn
(ast)
(let
((var-name (nth ast 1))
(safe-param
(if
(hs-reserved-var? var-name)
(str "_hs_lv_" var-name)
var-name))
(raw-coll-ast (nth ast 2))
(where-cond
(if
@@ -514,12 +452,12 @@
(quote map-indexed)
(list
(quote fn)
(list (make-symbol (nth ast 5)) (make-symbol safe-param))
(list (make-symbol (nth ast 5)) (make-symbol var-name))
body)
collection)
(list
(quote hs-for-each)
(list (quote fn) (list (make-symbol safe-param)) body)
(list (quote fn) (list (make-symbol var-name)) body)
collection)))))
(define
emit-wait-for
@@ -628,18 +566,9 @@
(quote do)
(list (quote dom-set-attr) el attr-name (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (or (= (first expr) dot-sym) (= (first expr) (make-symbol "poss"))))
((and (list? expr) (= (first expr) dot-sym))
(let
((obj (hs-to-sx (nth expr 1))) (prop (nth expr 2)))
(list
(quote let)
(list (list (quote __hs-obj) obj))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list (quote not) (list (quote nil?) (quote __hs-obj)))
(list
(quote let)
(list
@@ -649,16 +578,12 @@
(quote +)
(list
(quote hs-to-number)
(list (quote host-get) (quote __hs-obj) prop))
(list (quote host-get) obj prop))
amount)))
(list
(quote do)
(list
(quote host-set!)
(quote __hs-obj)
prop
(quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new)))))))))
(list (quote host-set!) obj prop (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (= (first expr) (quote style)))
(let
((el (if tgt-override (hs-to-sx tgt-override) (quote me)))
@@ -757,18 +682,9 @@
(quote do)
(list (quote dom-set-attr) el attr-name (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (or (= (first expr) dot-sym) (= (first expr) (make-symbol "poss"))))
((and (list? expr) (= (first expr) dot-sym))
(let
((obj (hs-to-sx (nth expr 1))) (prop (nth expr 2)))
(list
(quote let)
(list (list (quote __hs-obj) obj))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list (quote not) (list (quote nil?) (quote __hs-obj)))
(list
(quote let)
(list
@@ -778,16 +694,12 @@
(quote -)
(list
(quote hs-to-number)
(list (quote host-get) (quote __hs-obj) prop))
(list (quote host-get) obj prop))
amount)))
(list
(quote do)
(list
(quote host-set!)
(quote __hs-obj)
prop
(quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new)))))))))
(list (quote host-set!) obj prop (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (= (first expr) (quote style)))
(let
((el (if tgt-override (hs-to-sx tgt-override) (quote me)))
@@ -873,21 +785,35 @@
(make-symbol name)
(list
(quote fn)
(cons
(quote me)
(map
(fn
(p)
(if (list? p) (make-symbol (nth p 1)) (make-symbol p)))
params))
(list
(quote let)
(list (list (quote beingTold) (quote me)))
(cons (quote do) (map hs-to-sx body))))))))
(cons (quote me) (map make-symbol params))
(cons (quote do) (map hs-to-sx body)))))))
(define
emit-socket
(fn
(ast)
(let
((ast (if (and (dict? ast) (get ast :hs-ast)) (get ast :children) ast)))
((name-path (nth ast 1))
(url (nth ast 2))
(timeout-ms (nth ast 3))
(on-msg (nth ast 4)))
(let
((handler
(if
(nil? on-msg)
nil
(let
((body (hs-to-sx (nth on-msg 2))))
(list (quote fn) (list (quote event)) body))))
(json?-val (if (nil? on-msg) false (nth on-msg 1))))
(list
(quote hs-socket-register!)
(cons (quote list) name-path)
url
(if (nil? timeout-ms) nil (hs-to-sx timeout-ms))
handler
json?-val)))))
(fn
(ast)
(cond
((nil? ast) nil)
((number? ast) ast)
@@ -992,10 +918,7 @@
(let
((ch (nth raw i)))
(if
(and
(= ch "\\")
(< (+ i 1) n)
(= (nth raw (+ i 1)) "$"))
(and (= ch "\\") (< (+ i 1) n) (= (nth raw (+ i 1)) "$"))
(do
(set! buf (str buf "$"))
(set! i (+ i 2))
@@ -1017,8 +940,7 @@
(append
parts
(list
(hs-to-sx
(hs-compile expr-src)))))
(hs-to-sx (hs-compile expr-src)))))
(set! i (+ close 1))
(tpl-collect)))))
(let
@@ -1034,8 +956,7 @@
(append
parts
(list
(hs-to-sx
(hs-compile ident)))))
(hs-to-sx (hs-compile ident)))))
(set! i end)
(tpl-collect))))))
(do
@@ -1113,21 +1034,13 @@
(hs-to-sx (nth ast 1))
(nth ast 2)))
((= head (quote coll-where))
(let
((raw-coll (hs-to-sx (nth ast 1))))
(list
(quote filter)
(list
(quote fn)
(list (quote it))
(hs-to-sx (nth ast 2)))
(if
(symbol? raw-coll)
(list
(quote cek-try)
(list (quote fn) (list) raw-coll)
(list (quote fn) (list (quote _e)) nil))
raw-coll))))
(hs-to-sx (nth ast 1))))
((= head (quote coll-sorted))
(list
(quote hs-sorted-by)
@@ -1169,29 +1082,13 @@
(if
(and
(list? dot-node)
(or
(= (str (first dot-node)) ".")
(= (str (first dot-node)) "poss")))
(= (first dot-node) (make-symbol ".")))
(let
((receiver-ast (nth dot-node 1))
(method (nth dot-node 2))
(sel
(hs-receiver-selector (nth dot-node 1) "poss")))
(list
(quote let)
(list
(list (quote __hs-recv) (hs-to-sx receiver-ast)))
(list
(quote do)
(list
(quote host-set!)
(list (quote host-global) "window")
"_hs_last_query_sel"
sel)
(list (quote hs-null-raise!) (quote __hs-recv))
((obj (hs-to-sx (nth dot-node 1)))
(method (nth dot-node 2)))
(cons
(quote hs-method-call)
(cons (quote __hs-recv) (cons method args))))))
(cons obj (cons method args))))
(if
(and
(list? dot-node)
@@ -1209,9 +1106,11 @@
(let
((params (map make-symbol (nth ast 1)))
(body (hs-to-sx (nth ast 2))))
(list (quote fn) params body)))
(if
(= (len params) 0)
body
(list (quote fn) params body))))
((= head (quote me)) (quote me))
((= head (quote beingTold)) (quote beingTold))
((= head (quote it)) (quote it))
((= head (quote event)) (quote event))
((= head dot-sym)
@@ -1222,16 +1121,11 @@
((= prop "first") (list (quote hs-first) target))
((= prop "last") (list (quote hs-last) target))
(true (list (quote host-get) target prop)))))
((= head (make-symbol "poss"))
(let
((target (hs-to-sx (nth ast 1))) (prop (nth ast 2)))
(list (quote host-get) target prop)))
((= head (quote ref))
(cond
((= (nth ast 1) "selection")
(list (quote hs-get-selection)))
((= (nth ast 1) "element") (make-symbol "me"))
(else (make-symbol (nth ast 1)))))
(if
(= (nth ast 1) "selection")
(list (quote hs-get-selection))
(make-symbol (nth ast 1))))
((= head (quote query))
(list (quote hs-query-first) (nth ast 1)))
((= head (quote query-scoped))
@@ -1267,8 +1161,6 @@
(list (quote not) (hs-to-sx (nth ast 1))))
((= head (quote no))
(list (quote hs-falsy?) (hs-to-sx (nth ast 1))))
((= head (quote hs-falsy?))
(list (quote hs-falsy?) (hs-to-sx (nth ast 1))))
((= head (quote and))
(list
(quote and)
@@ -1284,11 +1176,6 @@
(quote =)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote hs-id=))
(list
(quote hs-id=)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote +))
(list
(quote hs-add)
@@ -1328,10 +1215,7 @@
((left (nth ast 1)) (right (nth ast 2)))
(if
(and (list? right) (= (first right) (quote query)))
(list
(quote hs-matches?)
(hs-to-sx left)
(nth right 1))
(list (quote hs-matches?) (hs-to-sx left) (nth right 1))
(list
(quote hs-matches?)
(hs-to-sx left)
@@ -1382,10 +1266,7 @@
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote as))
(list
(quote hs-coerce)
(hs-to-sx (nth ast 1))
(nth ast 2)))
(list (quote hs-coerce) (hs-to-sx (nth ast 1)) (nth ast 2)))
((= head (quote in?))
(list
(quote hs-in?)
@@ -1462,28 +1343,20 @@
((= head (quote last))
(if
(> (len ast) 2)
(list
(quote hs-last)
(hs-to-sx (nth ast 2))
(nth ast 1))
(list (quote hs-last) (hs-to-sx (nth ast 2)) (nth ast 1))
(list (quote hs-query-last) (nth ast 1))))
((= head (quote add-class))
(let
((raw-tgt (nth ast 2)))
(if
(and
(list? raw-tgt)
(= (first raw-tgt) (quote query)))
(and (list? raw-tgt) (= (first raw-tgt) (quote query)))
(list
(quote for-each)
(list
(quote fn)
(list (quote _el))
(list
(quote dom-add-class)
(quote _el)
(nth ast 1)))
(list (quote hs-query-all-checked) (nth raw-tgt 1)))
(list (quote dom-add-class) (quote _el) (nth ast 1)))
(list (quote hs-query-all) (nth raw-tgt 1)))
(list
(quote dom-add-class)
(hs-to-sx raw-tgt)
@@ -1497,27 +1370,13 @@
((= head (quote set-styles))
(let
((pairs (nth ast 1)) (tgt (hs-to-sx (nth ast 2))))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(cons
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(cons
(quote when)
(cons
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(map
(fn
(p)
(list
(quote dom-set-style)
(quote __hs-tgt)
(first p)
(nth p 1)))
pairs)))))))
(list (quote dom-set-style) tgt (first p) (nth p 1)))
pairs))))
((= head (quote multi-add-class))
(let
((target (hs-to-sx (nth ast 1)))
@@ -1552,10 +1411,7 @@
(quote set!)
(quote the-result)
(quote __hs-matched))
(list
(quote set!)
(quote it)
(quote __hs-matched))
(list (quote set!) (quote it) (quote __hs-matched))
(list
(quote for-each)
(list
@@ -1590,10 +1446,7 @@
(quote set!)
(quote the-result)
(quote __hs-matched))
(list
(quote set!)
(quote it)
(quote __hs-matched))
(list (quote set!) (quote it) (quote __hs-matched))
(list
(quote for-each)
(list
@@ -1613,17 +1466,13 @@
(cons
(quote do)
(map
(fn
(cls)
(list (quote dom-remove-class) target cls))
(fn (cls) (list (quote dom-remove-class) target cls))
classes))))
((= head (quote remove-class))
(let
((raw-tgt (nth ast 2)))
(if
(and
(list? raw-tgt)
(= (first raw-tgt) (quote query)))
(and (list? raw-tgt) (= (first raw-tgt) (quote query)))
(list
(quote for-each)
(list
@@ -1633,45 +1482,18 @@
(quote dom-remove-class)
(quote _el)
(nth ast 1)))
(list (quote hs-query-all-checked) (nth raw-tgt 1)))
(list (quote hs-query-all) (nth raw-tgt 1)))
(list
(quote dom-remove-class)
(if (nil? raw-tgt) (quote me) (hs-to-sx raw-tgt))
(nth ast 1)))))
((= head (quote remove-class-when))
(let
((cls (nth ast 1))
(raw-tgt (nth ast 2))
(when-cond (nth ast 3)))
(let
((tgt-expr (cond ((and (list? raw-tgt) (= (first raw-tgt) (quote query))) (list (quote hs-query-all) (nth raw-tgt 1))) (true (hs-to-sx raw-tgt)))))
(list
(quote let)
(list
(list
(quote __hs-matched)
(list
(quote filter)
(list
(quote fn)
(list (quote it))
(hs-to-sx when-cond))
tgt-expr)))
(list
(quote for-each)
(list
(quote fn)
(list (quote it))
(list (quote dom-remove-class) (quote it) cls))
(quote __hs-matched))))))
((= head (quote remove-element))
(let
((tgt (nth ast 1)))
(cond
((and (list? tgt) (= (first tgt) (quote array-index)))
(let
((coll (nth tgt 1))
(idx (hs-to-sx (nth tgt 2))))
((coll (nth tgt 1)) (idx (hs-to-sx (nth tgt 2))))
(emit-set
coll
(list (quote hs-splice-at!) (hs-to-sx coll) idx))))
@@ -1680,10 +1502,7 @@
((obj (nth tgt 1)) (prop (nth tgt 2)))
(emit-set
obj
(list
(quote hs-dict-without)
(hs-to-sx obj)
prop))))
(list (quote hs-dict-without) (hs-to-sx obj) prop))))
((and (list? tgt) (= (first tgt) (quote of)))
(let
((prop-ast (nth tgt 1)) (obj-ast (nth tgt 2)))
@@ -1695,21 +1514,7 @@
(quote hs-dict-without)
(hs-to-sx obj-ast)
prop)))))
(true
(let
((tgt (hs-to-sx tgt)))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(list (quote dom-remove) (quote __hs-tgt))))))))))
(true (list (quote dom-remove) (hs-to-sx tgt))))))
((= head (quote add-value))
(let
((val (hs-to-sx (nth ast 1))) (tgt (nth ast 2)))
@@ -1738,14 +1543,6 @@
(emit-set
tgt
(list (quote hs-empty-like) (hs-to-sx tgt))))
((and (list? tgt) (= (first tgt) (quote query)))
(list
(quote for-each)
(list
(quote fn)
(list (quote _el))
(list (quote hs-empty-target!) (quote _el)))
(list (quote hs-query-all) (nth tgt 1))))
(true (list (quote hs-empty-target!) (hs-to-sx tgt))))))
((= head (quote open-element))
(list (quote hs-open!) (hs-to-sx (nth ast 1))))
@@ -1769,21 +1566,7 @@
((= head (quote remove-attr))
(let
((tgt (if (nil? (nth ast 2)) (quote me) (hs-to-sx (nth ast 2)))))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(list
(quote dom-remove-attr)
(quote __hs-tgt)
(nth ast 1)))))))
(list (quote dom-remove-attr) tgt (nth ast 1))))
((= head (quote remove-css))
(let
((tgt (if (nil? (nth ast 2)) (quote me) (hs-to-sx (nth ast 2))))
@@ -1829,12 +1612,6 @@
(if source (hs-to-sx source) (quote me))
event-name)
(list (quote hs-toggle-class!) tgt cls))))
((= head (quote toggle-var-cycle))
(list
(quote hs-toggle-var-cycle!)
(list (quote host-global) "window")
(nth ast 1)
(cons (quote list) (map hs-to-sx (nth ast 2)))))
((= head (quote set-on))
(list
(quote hs-set-on!)
@@ -1913,18 +1690,6 @@
(hs-to-sx (nth ast 4))))
((= head (quote set!))
(emit-set (nth ast 1) (hs-to-sx (nth ast 2))))
((= head (quote set-el!))
(list
(quote hs-set-element!)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote view-transition!))
(let
((body (nth ast 2)))
(list
(quote hs-view-transition!)
(hs-to-sx (nth ast 1))
(if (nil? body) (quote nil) (hs-to-sx body)))))
((= head (quote put!))
(let
((val (hs-to-sx (nth ast 1)))
@@ -1934,13 +1699,8 @@
((and (or (= pos "end") (= pos "start")) (list? raw-tgt) (or (= (first raw-tgt) (quote local)) (= (first raw-tgt) (quote ref))))
(emit-set
raw-tgt
(list
(quote hs-put-at!)
val
pos
(hs-to-sx raw-tgt))))
(true
(list (quote hs-put!) val pos (hs-to-sx raw-tgt))))))
(list (quote hs-put-at!) val pos (hs-to-sx raw-tgt))))
(true (list (quote hs-put!) val pos (hs-to-sx raw-tgt))))))
((= head (quote if))
(if
(> (len ast) 3)
@@ -1968,7 +1728,6 @@
(list? c)
(or
(= (first c) (quote hs-fetch))
(= (first c) (quote hs-fetch-no-throw))
(= (first c) (quote hs-wait))
(= (first c) (quote hs-wait-for))
(= (first c) (quote hs-wait-for-or))
@@ -1982,9 +1741,7 @@
(if
(and
(list? cmd)
(or
(= (first cmd) (quote hs-fetch))
(= (first cmd) (quote hs-fetch-no-throw))))
(= (first cmd) (quote hs-fetch)))
(list
(quote let)
(list (list (quote it) cmd))
@@ -2017,11 +1774,7 @@
((= head (quote wait)) (list (quote hs-wait) (nth ast 1)))
((= head (quote wait-for)) (emit-wait-for ast))
((= head (quote log))
(cons
(quote do)
(map
(fn (arg) (list (quote console-log) (hs-to-sx arg)))
(rest ast))))
(list (quote console-log) (hs-to-sx (nth ast 1))))
((= head (quote send)) (emit-send ast))
((= head (quote trigger))
(let
@@ -2034,7 +1787,7 @@
(tgt (if (= (len ast) 4) (nth ast 3) (nth ast 2)))
(detail (if (= (len ast) 4) (nth ast 2) nil)))
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx tgt)
name
(if has-detail (hs-to-sx detail) nil))))
@@ -2110,13 +1863,7 @@
(list (quote fn) (list) (hs-to-sx (nth ast 1)))
(list (quote fn) (list) (hs-to-sx (nth ast 2)))))
((= head (quote fetch))
(list
(if
(nth ast 3)
(quote hs-fetch-no-throw)
(quote hs-fetch))
(hs-to-sx (nth ast 1))
(nth ast 2)))
(list (quote hs-fetch) (hs-to-sx (nth ast 1)) (nth ast 2) (nth ast 3) (quote me)))
((= head (quote fetch-gql))
(list
(quote hs-fetch-gql)
@@ -2131,61 +1878,26 @@
(make-symbol raw-fn)
(hs-to-sx raw-fn)))
(args (map hs-to-sx (rest (rest ast)))))
(cond
((and (list? raw-fn) (= (first raw-fn) (quote ref)))
(emit-set
(quote the-result)
(if
(and (list? raw-fn) (= (first raw-fn) (quote ref)))
(list
(quote hs-win-call)
(nth raw-fn 1)
(cons (quote list) args))))
((and (list? raw-fn) (= (str (first raw-fn)) "."))
(let
((receiver-ast (nth raw-fn 1))
(prop-name (nth raw-fn 2))
(sel (hs-receiver-selector (nth raw-fn 1) "dot")))
(list
(quote let)
(list
(list
(quote __hs-recv)
(hs-to-sx receiver-ast)))
(list
(quote do)
(list
(quote set!)
(quote _hs-last-query-sel)
sel)
(list (quote hs-null-raise!) (quote __hs-recv))
(emit-set
(quote the-result)
(cons
(list
(quote host-get)
(quote __hs-recv)
prop-name)
args))))))
(true
(emit-set (quote the-result) (cons fn-expr args))))))
(cons (quote list) args))
(cons fn-expr args))))
((= head (quote return))
(let
((val (nth ast 1)))
(if
(nil? val)
(list
(quote raise)
(list (quote list) "hs-return" nil))
(list (quote raise) (list (quote list) "hs-return" nil))
(list
(quote raise)
(list (quote list) "hs-return" (hs-to-sx val))))))
((= head (quote throw))
(list (quote raise) (hs-to-sx (nth ast 1))))
((= head (quote settle))
(let
((raw-tgt (if (> (len ast) 1) (nth ast 1) nil)))
(list
(quote hs-settle)
(if (nil? raw-tgt) (quote me) (hs-to-sx raw-tgt)))))
(list (quote hs-settle) (quote me)))
((= head (quote go))
(list (quote hs-navigate!) (hs-to-sx (nth ast 1))))
((= head (quote ask))
@@ -2196,10 +1908,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote answer))
@@ -2210,10 +1919,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote answer-alert))
@@ -2224,10 +1930,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote __get-cmd))
@@ -2238,10 +1941,7 @@
(list (list (quote __hs-g) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-g))
(list (quote set!) (quote the-result) (quote __hs-g))
(list (quote set!) (quote it) (quote __hs-g))
(quote __hs-g)))))
((= head (quote append!))
@@ -2264,7 +1964,7 @@
(list
(quote let)
(list
(list (quote beingTold) tgt)
(list (quote me) tgt)
(list (quote you) tgt)
(list (quote yourself) tgt))
(hs-to-sx (nth ast 2)))))
@@ -2315,22 +2015,7 @@
(true (list (quote hs-take!) target kind name scope))))))
((= head (quote make)) (emit-make ast))
((= head (quote install))
(let
((bname (nth ast 1)))
(cons
(make-symbol bname)
(cons
(quote me)
(map
(fn
(arg)
(if
(and
(list? arg)
(= (first arg) (quote type-assert)))
(+ (nth arg 2) 0)
(hs-to-sx arg)))
(rest (rest ast)))))))
(cons (quote hs-install) (map hs-to-sx (rest ast))))
((= head (quote measure))
(list (quote hs-measure) (hs-to-sx (nth ast 1))))
((= head (quote increment!))
@@ -2355,31 +2040,18 @@
((= head (quote exit)) nil)
((= head (quote live-no-op)) nil)
((= head (quote when-feat-no-op)) nil)
((= head (quote bind-feat)) nil)
((= head (quote on)) (emit-on ast))
((= head (quote when-changes))
(let
((expr (nth ast 1)) (body (nth ast 2)))
(cond
((and (list? expr) (= (first expr) (quote dom-ref)))
(if
(and (list? expr) (= (first expr) (quote dom-ref)))
(list
(quote hs-dom-watch!)
(hs-to-sx (nth expr 2))
(nth expr 1)
(list
(quote fn)
(list (quote it))
(hs-to-sx body))))
((and (list? expr) (= (first expr) (quote local)))
(list
(quote hs-scoped-watch!)
(quote me)
(nth expr 1)
(list
(quote fn)
(list (quote it))
(hs-to-sx body))))
(true nil))))
(list (quote fn) (list (quote it)) (hs-to-sx body)))
nil)))
((= head (quote init))
(list
(quote hs-init)
@@ -2434,6 +2106,7 @@
(quote _hs-def-val))
(quote _hs-def-val))))))
((= head (quote behavior)) (emit-behavior ast))
((= head (quote socket)) (emit-socket ast))
((= head (quote sx-eval))
(let
((src (nth ast 1)))
@@ -2560,47 +2233,13 @@
(list
(quote hs-is)
(hs-to-sx (nth ast 1))
(list
(quote fn)
(list)
(hs-to-sx (nth (nth ast 2) 2)))
(list (quote fn) (list) (hs-to-sx (nth (nth ast 2) 2)))
(nth ast 3)))
((= head (quote halt!))
(list (quote hs-halt!) (quote event) (nth ast 1)))
((= head (quote focus!))
(list (quote dom-focus) (hs-to-sx (nth ast 1))))
((= head (quote js-block))
(let
((params (nth ast 1)) (js-src (nth ast 2)))
(let
((bound-syms (map (fn (p) (make-symbol p)) params)))
(list
(quote let)
(list
(list
(quote __hs-js)
(list
(quote hs-js-exec)
(cons (quote list) params)
js-src
(cons (quote list) bound-syms))))
(list
(quote begin)
(list (quote set!) (quote it) (quote __hs-js))
(quote __hs-js))))))
(true ast)))))))))
(true ast))))))))
;; ── Convenience: source → SX ─────────────────────────────────
(define
hs-receiver-selector
(fn
(ast notation)
(cond
((and (list? ast) (= (str (first ast)) "ref")) (nth ast 1))
((and (list? ast) (= (str (first ast)) "."))
(str (hs-receiver-selector (nth ast 1) notation) "." (nth ast 2)))
((and (list? ast) (= (str (first ast)) "poss"))
(str (hs-receiver-selector (nth ast 1) "poss") "'s " (nth ast 2)))
(true "?"))))
(define hs-to-sx-from-source (fn (src) (hs-to-sx (hs-compile src))))

75
lib/hyperscript/integration.sx
View File

@@ -19,7 +19,6 @@
(define
reserved
(list
(quote beingTold)
(quote me)
(quote it)
(quote event)
@@ -66,87 +65,33 @@
(list (quote me))
(list
(quote let)
(list
(list (quote beingTold) (quote me))
(list (quote it) nil)
(list (quote event) nil))
(list (list (quote it) nil) (list (quote event) nil))
guarded))))))))))
;; ── Activate a single element ───────────────────────────────────
;; Reads the _="..." attribute, compiles, and executes with me=element.
;; Marks the element to avoid double-activation.
(define
hs-register-scripts!
(fn
()
(for-each
(fn
(script)
(when
(not (dom-get-data script "hs-script-loaded"))
(let
((src (host-get script "innerHTML")))
(when
(and src (not (= src "")))
(guard
(_e (true nil))
(eval-expr-cek (hs-to-sx-from-source src)))
(dom-set-data script "hs-script-loaded" true)))))
(hs-query-all "script[type=text/hyperscript]"))))
;; ── Boot: scan entire document ──────────────────────────────────
;; Called once at page load. Finds all elements with _ attribute,
;; compiles their hyperscript, and activates them.
(define
hs-scripting-disabled?
(fn
(el)
(if
(= el nil)
false
(if
(dom-get-attr el "disable-scripting")
true
(hs-scripting-disabled? (dom-parent el))))))
;; ── Boot subtree: for dynamic content ───────────────────────────
;; Called after HTMX swaps or dynamic DOM insertion.
;; Only activates elements within the given root.
(define
hs-activate!
(fn
(el)
(do
(hs-register-scripts!)
(let
((src (dom-get-attr el "_")) (prev (dom-get-data el "hs-script")))
(when
(and src (not (= src prev)) (not (hs-scripting-disabled? el)))
(and src (not (= src prev)))
(when
(dom-dispatch el "hyperscript:before:init" nil)
(hs-log-event! "hyperscript:init")
(dom-set-data el "hs-script" src)
(dom-set-data el "hs-active" true)
(dom-set-attr el "data-hyperscript-powered" "true")
(guard
(_e (true nil))
(let
((handler (hs-handler src)))
(let
((el-type (dom-get-attr el "type"))
(comp-name (dom-get-attr el "component")))
(let
((safe-handler (fn (e) (host-call-fn handler (list e)))))
(if
(= el-type "text/hyperscript-template")
(for-each
safe-handler
(hs-query-all (or comp-name "")))
(safe-handler el))))))
(dom-dispatch el "hyperscript:after:init" nil)))))))
(let ((handler (hs-handler src))) (handler el))
(dom-dispatch el "hyperscript:after:init" nil))))))
;; ── Boot: scan entire document ──────────────────────────────────
;; Called once at page load. Finds all elements with _ attribute,
;; compiles their hyperscript, and activates them.
(define
hs-deactivate!
@@ -159,6 +104,10 @@
(dom-set-data el "hs-active" false)
(dom-set-data el "hs-script" nil))))
;; ── Boot subtree: for dynamic content ───────────────────────────
;; Called after HTMX swaps or dynamic DOM insertion.
;; Only activates elements within the given root.
(define
hs-boot!
(fn

557
lib/hyperscript/parser.sx
View File

File diff suppressed because it is too large Load Diff

973
lib/hyperscript/runtime.sx
View File

File diff suppressed because it is too large Load Diff

141
lib/hyperscript/tokenizer.sx
View File

@@ -131,7 +131,6 @@
"append"
"settle"
"transition"
"view"
"over"
"closest"
"next"
@@ -209,8 +208,7 @@
"using"
"giving"
"ask"
"answer"
"bind"))
"answer"))
(define hs-keyword? (fn (word) (some (fn (k) (= k word)) hs-keywords)))
@@ -336,17 +334,11 @@
(= ch "r")
(do (append! chars "\r") (hs-advance! 1))
(= ch "b")
(do
(append! chars (char-from-code 8))
(hs-advance! 1))
(do (append! chars (char-from-code 8)) (hs-advance! 1))
(= ch "f")
(do
(append! chars (char-from-code 12))
(hs-advance! 1))
(do (append! chars (char-from-code 12)) (hs-advance! 1))
(= ch "v")
(do
(append! chars (char-from-code 11))
(hs-advance! 1))
(do (append! chars (char-from-code 11)) (hs-advance! 1))
(= ch "\\")
(do (append! chars "\\") (hs-advance! 1))
(= ch quote-char)
@@ -362,15 +354,11 @@
(let
((d1 (hs-hex-val (hs-cur)))
(d2 (hs-hex-val (hs-peek 1))))
(append!
chars
(char-from-code (+ (* d1 16) d2)))
(append! chars (char-from-code (+ (* d1 16) d2)))
(hs-advance! 2))
(error "Invalid hexadecimal escape: \\x")))
:else (do
(append! chars "\\")
(append! chars ch)
(hs-advance! 1)))))
:else
(do (append! chars "\\") (append! chars ch) (hs-advance! 1)))))
(loop))
(= (hs-cur) quote-char)
(hs-advance! 1)
@@ -457,68 +445,27 @@
read-class-name
(fn
(start)
(define
build-name
(fn
(acc depth)
(cond
((and (< pos src-len) (= (hs-cur) "\\") (< (+ pos 1) src-len))
(do
(when
(and
(< pos src-len)
(or
(hs-ident-char? (hs-cur))
(= (hs-cur) ":")
(= (hs-cur) "[")
(= (hs-cur) "]")))
(hs-advance! 1)
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
((and (< pos src-len) (= (hs-cur) "["))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) (+ depth 1)))))
((and (< pos src-len) (= (hs-cur) "]"))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name
(str acc c)
(if (> depth 0) (- depth 1) 0)))))
((and (< pos src-len) (> depth 0) (or (= (hs-cur) "(") (= (hs-cur) ")")))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
((and (< pos src-len) (or (hs-ident-char? (hs-cur)) (= (hs-cur) ":") (= (hs-cur) "&")))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
(true acc))))
(build-name "" 0)))
(read-class-name start))
(slice src start pos)))
(define
hs-emit!
(fn
(type value start)
(let
((tok (hs-make-token type value start))
(end-pos
(max pos (+ start (if (nil? value) 0 (len (str value)))))))
(do
(dict-set! tok "end" end-pos)
(dict-set! tok "line" (len (split (slice src 0 start) "\n")))
(append! tokens tok)))))
(append! tokens (hs-make-token type value start))))
(define
scan!
(fn
()
(let
((ws-start pos))
(skip-ws!)
(when
(and (> (len tokens) 0) (> pos ws-start))
(hs-emit! "whitespace" (slice src ws-start pos) ws-start)))
(when
(< pos src-len)
(let
@@ -526,7 +473,11 @@
(cond
(and (= ch "-") (< (+ pos 1) src-len) (= (hs-peek 1) "-"))
(do (hs-advance! 2) (skip-comment!) (scan!))
(and (= ch "/") (< (+ pos 1) src-len) (= (hs-peek 1) "/"))
(and
(= ch "/")
(< (+ pos 1) src-len)
(= (hs-peek 1) "/")
(not (and (> pos 0) (= (hs-peek -1) ":"))))
(do (hs-advance! 2) (skip-comment!) (scan!))
(and
(= ch "<")
@@ -538,26 +489,10 @@
(= (hs-peek 1) "#")
(= (hs-peek 1) "[")
(= (hs-peek 1) "*")
(= (hs-peek 1) ":")
(= (hs-peek 1) "$")))
(= (hs-peek 1) ":")))
(do (hs-emit! "selector" (read-selector) start) (scan!))
(and (= ch ".") (< (+ pos 1) src-len) (= (hs-peek 1) "."))
(do (hs-emit! "op" ".." start) (hs-advance! 2) (scan!))
(and
(= ch ".")
(< (+ pos 1) src-len)
(or
(hs-letter? (hs-peek 1))
(= (hs-peek 1) "-")
(= (hs-peek 1) "_"))
(> (len tokens) 0)
(let
((lt (dict-get (nth tokens (- (len tokens) 1)) :type)))
(or
(= lt "paren-close")
(= lt "brace-close")
(= lt "bracket-close"))))
(do (hs-emit! "dot" "." start) (hs-advance! 1) (scan!))
(and
(= ch ".")
(< (+ pos 1) src-len)
@@ -569,18 +504,6 @@
(hs-advance! 1)
(hs-emit! "class" (read-class-name pos) start)
(scan!))
(and
(= ch "#")
(< (+ pos 1) src-len)
(hs-ident-start? (hs-peek 1))
(> (len tokens) 0)
(let
((lt (dict-get (nth tokens (- (len tokens) 1)) :type)))
(or
(= lt "paren-close")
(= lt "brace-close")
(= lt "bracket-close"))))
(do (hs-emit! "op" "#" start) (hs-advance! 1) (scan!))
(and
(= ch "#")
(< (+ pos 1) src-len)
@@ -650,7 +573,21 @@
(let
((word (read-ident start)))
(let
((full-word (if (and (< pos src-len) (= (hs-cur) "'") (< (+ pos 1) src-len) (hs-letter? (hs-peek 1)) (not (and (= (hs-peek 1) "s") (or (>= (+ pos 2) src-len) (not (hs-ident-char? (hs-peek 2))))))) (do (hs-advance! 1) (str word "'" (read-ident pos))) word)))
((full-word
(if
(and
(< pos src-len)
(= (hs-cur) "'")
(< (+ pos 1) src-len)
(hs-letter? (hs-peek 1))
(not
(and
(= (hs-peek 1) "s")
(or
(>= (+ pos 2) src-len)
(not (hs-ident-char? (hs-peek 2)))))))
(do (hs-advance! 1) (str word "'" (read-ident pos)))
word)))
(hs-emit!
(if (hs-keyword? full-word) "keyword" "ident")
full-word

14
plans/hs-conformance-scoreboard.md
View File

@@ -4,10 +4,10 @@ Live tally for `plans/hs-conformance-to-100.md`. Update after every cluster comm
```
Baseline: 1213/1496 (81.1%)
Merged: 1377/1496 (92.0%) delta +164
Merged: 1312/1496 (87.7%) delta +99
Worktree: all landed
Target: 1496/1496 (100.0%)
Remaining: ~120 tests (clusters 17/29(partial)/33/34 partial)
Remaining: ~192 tests (clusters 17/29(partial)/31 blocked; 33/34 partial)
```
## Cluster ledger
@@ -30,7 +30,7 @@ Remaining: ~120 tests (clusters 17/29(partial)/33/34 partial)
| 12 | `show` multi-element + display retention | done | +2 | 98c957b3 |
| 13 | `toggle` multi-class + timed + until-event | partial | +2 | bd821c04 |
| 14 | `unless` modifier | done | +1 | c4da0698 |
| 15 | `transition` query-ref + multi-prop + initial | partial | +3 | 3d352055 |
| 15 | `transition` query-ref + multi-prop + initial | partial | +2 | 3d352055 |
| 16 | `send can reference sender` | done | +1 | ed8d71c9 |
| 17 | `tell` semantics | blocked | — | — |
| 18 | `throw` respond async/sync | done | +2 | dda3becb |
@@ -61,7 +61,7 @@ Remaining: ~120 tests (clusters 17/29(partial)/33/34 partial)
| # | Cluster | Status | Δ |
|---|---------|--------|---|
| 31 | runtime null-safety error reporting | done | +13 |
| 31 | runtime null-safety error reporting | blocked | — |
| 32 | MutationObserver mock + `on mutation` | done | +7 |
| 33 | cookie API | partial | +4 |
| 34 | event modifier DSL | partial | +7 |
@@ -73,7 +73,7 @@ Remaining: ~120 tests (clusters 17/29(partial)/33/34 partial)
| # | Cluster | Status | Design doc |
|---|---------|--------|------------|
| 36 | WebSocket + `socket` + RPC proxy | design-done | `plans/designs/e36-websocket.md` |
| 37 | Tokenizer-as-API | done | +17 | 54b54f4e |
| 37 | Tokenizer-as-API | design-done | `plans/designs/e37-tokenizer-api.md` |
| 38 | SourceInfo API | design-done | `plans/designs/e38-sourceinfo.md` |
| 39 | WebWorker plugin | design-done | `plans/designs/e39-webworker.md` |
| 40 | Fetch non-2xx / before-fetch / real response | done | +7 | d7244d1d |
@@ -88,8 +88,6 @@ Defer until A–D drain. Estimated ~25 recoverable tests.
| F2 | empty multi-element (query→for-each) | done | +1 | 875e9ba3 |
| F3 | hs-make-object _order + assert= for dicts | done | +1 | daea2808 |
| F4 | array literal arg to JS fn (sxToJs + reduce→SX) | done | +1 | da2e6b1b |
| F5 | `bind` feature parser stub | done | +32 | 846650da |
| F6 | `asyncError` rejected promise catch | done | +1 | — |
## Buckets roll-up
@@ -99,7 +97,7 @@ Defer until A–D drain. Estimated ~25 recoverable tests.
| B | 7 | 0 | 0 | 0 | 0 | — | 7 |
| C | 4 | 1 | 0 | 0 | 0 | — | 5 |
| D | 2 | 2 | 0 | 0 | 1 | — | 5 |
| E | 2 | 0 | 0 | 0 | 0 | 3 | 5 |
| E | 1 | 0 | 0 | 0 | 0 | 4 | 5 |
| F | — | — | — | ~10 | — | — | ~10 |
## Maintenance

2
plans/hs-conformance-to-100.md
View File

@@ -131,7 +131,7 @@ Orchestrator cherry-picks worktree commits onto `architecture` one at a time; re
All five have design docs on their own worktree branches pending review + merge. After merge, status flips to `design-ready` and they become eligible for the loop.
36. **[design-done, pending review — `plans/designs/e36-websocket.md` on `worktree-agent-a9daf73703f520257`] WebSocket + `socket`** — 16 tests. Upstream shape is `socket NAME URL [with timeout N] [on message [as JSON] …] end` with an **implicit `.rpc` Proxy** (ES6 Proxy lives in JS, not SX), not `with proxy { send, receive }` as this row previously claimed. Design doc has 8-commit checklist, +12–16 delta estimate. Ship only with intentional design review.
36. **[DONE +16 — branch `hs-e36-websocket`] WebSocket + `socket`** — 16/16 tests passing. `socket NAME URL [with timeout N] [on message [as JSON] …] end`, RPC proxy (dispatch-fn pattern), reconnect, dispatchEvent, timeout/noTimeout chains. All 16 upstream tests green.
37. **[done +17]** Tokenizer-as-API — `hs-tokens-of` / `hs-stream-token` / `hs-token-type` / `hs-token-value` / `hs-token-op?`; type-map + normalize; `read-number` dot-stop fix; `\$` template escape in compiler + runtime; generator pattern in `generate-sx-tests.py`. 17/17.

563
shared/static/wasm/sx/hs-compiler.sx
View File

@@ -32,7 +32,7 @@
(let
((th (first target)))
(cond
((or (= th dot-sym) (= th (make-symbol "poss")))
((= th dot-sym)
(let
((base-ast (nth target 1)) (prop (nth target 2)))
(cond
@@ -67,62 +67,17 @@
value))
(list (quote hs-query-all) (nth inner 1)))))
(true
(list
(quote let)
(list
(list
(quote __hs-obj)
(if
(or
(symbol? base-ast)
(and
(list? base-ast)
(= (str (first base-ast)) "ref")))
(let
((sel (if (symbol? base-ast) (str base-ast) (nth base-ast 1))))
(list
(quote do)
(list
(quote host-set!)
(list (quote host-global) "window")
"_hs_last_query_sel"
sel)
(hs-to-sx base-ast)))
(hs-to-sx base-ast))))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-obj)))
(list
(quote dom-set-prop)
(quote __hs-obj)
(hs-to-sx base-ast)
prop
value))))))))
value)))))
((= th (quote attr))
(let
((base-ast (nth target 2)))
(if
(and (list? base-ast) (= (str (first base-ast)) "ref"))
(list
(quote do)
(list
(quote set!)
(quote _hs-last-query-sel)
(nth base-ast 1))
(list
(quote hs-set-attr!)
(hs-to-sx base-ast)
(hs-to-sx (nth target 2))
(nth target 1)
value))
(list
(quote hs-set-attr!)
(hs-to-sx base-ast)
(nth target 1)
value))))
((= th (quote style))
(list
(quote dom-set-style)
@@ -190,16 +145,7 @@
(hs-to-sx obj-ast)
(nth prop-ast 1)
value)
(if
(and
(list? prop-ast)
(= (first prop-ast) (quote style)))
(list
(quote dom-set-style)
(hs-to-sx obj-ast)
(nth prop-ast 1)
value)
(list (quote set!) (hs-to-sx target) value)))))))
(list (quote set!) (hs-to-sx target) value))))))
(true (list (quote set!) (hs-to-sx target) value)))))))
(define
emit-on
@@ -235,9 +181,9 @@
(let
((raw-compiled (hs-to-sx stripped-body)))
(let
((compiled-body (let ((base (if (> (len event-refs) 0) (let ((bindings (map (fn (r) (let ((name (nth r 1))) (list (make-symbol name) (list (quote let) (list (list (quote _det) (list (quote host-get) (quote event) "detail"))) (list (quote if) (list (quote and) (quote _det) (list (quote not) (list (quote nil?) (list (quote host-get) (quote _det) name)))) (list (quote host-get) (quote _det) name) (list (quote host-get) (quote event) name)))))) event-refs))) (list (quote let) bindings raw-compiled)) raw-compiled))) (if elsewhere? (list (quote when) (list (quote not) (list (quote host-call) (quote me) "contains" (list (quote host-get) (quote event) "target"))) base) base))))
((compiled-body (let ((base (if (> (len event-refs) 0) (let ((bindings (map (fn (r) (let ((name (nth r 1))) (list (make-symbol name) (list (quote host-get) (list (quote host-get) (quote event) "detail") name)))) event-refs))) (list (quote let) bindings raw-compiled)) raw-compiled))) (if elsewhere? (list (quote when) (list (quote not) (list (quote host-call) (quote me) "contains" (list (quote host-get) (quote event) "target"))) base) base))))
(let
((wrapped-body (if catch-info (let ((var (make-symbol (nth catch-info 0))) (catch-body (hs-to-sx (nth catch-info 1)))) (if finally-info (list (quote let) (list (list (quote __hs-exc) nil) (list (quote __hs-reraise) false)) (list (quote do) (list (quote guard) (list var (list true (list (quote let) (list (list var (list (quote host-hs-normalize-exc) var))) (list (quote guard) (list (quote __inner-exc) (list true (list (quote do) (list (quote set!) (quote __hs-exc) (quote __inner-exc)) (list (quote set!) (quote __hs-reraise) true)))) catch-body)))) compiled-body) (hs-to-sx finally-info) (list (quote when) (quote __hs-reraise) (list (quote raise) (quote __hs-exc))))) (list (quote let) (list (list (quote __hs-exc) nil) (list (quote __hs-reraise) false)) (list (quote guard) (list var (list true (list (quote let) (list (list var (list (quote host-hs-normalize-exc) var))) (list (quote guard) (list (quote __inner-exc) (list true (list (quote do) (list (quote set!) (quote __hs-exc) (quote __inner-exc)) (list (quote set!) (quote __hs-reraise) true)))) catch-body)))) compiled-body) (list (quote when) (quote __hs-reraise) (list (quote raise) (quote __hs-exc)))))) (if finally-info (list (quote do) compiled-body (hs-to-sx finally-info)) compiled-body))))
((wrapped-body (if catch-info (let ((var (make-symbol (nth catch-info 0))) (catch-body (hs-to-sx (nth catch-info 1)))) (if finally-info (list (quote do) (list (quote guard) (list var (list true catch-body)) compiled-body) (hs-to-sx finally-info)) (list (quote guard) (list var (list true catch-body)) compiled-body))) (if finally-info (list (quote do) compiled-body (hs-to-sx finally-info)) compiled-body))))
(let
((handler (let ((uses-the-result? (fn (expr) (cond ((= expr (quote the-result)) true) ((list? expr) (some (fn (x) (uses-the-result? x)) expr)) (true false))))) (let ((base-handler (list (quote fn) (list (quote event)) (if (uses-the-result? wrapped-body) (list (quote let) (list (list (quote the-result) nil)) wrapped-body) wrapped-body)))) (if count-filter-info (let ((mn (get count-filter-info "min")) (mx (get count-filter-info "max"))) (list (quote let) (list (list (quote __hs-count) 0)) (list (quote fn) (list (quote event)) (list (quote begin) (list (quote set!) (quote __hs-count) (list (quote +) (quote __hs-count) 1)) (list (quote when) (if (= mx -1) (list (quote >=) (quote __hs-count) mn) (list (quote and) (list (quote >=) (quote __hs-count) mn) (list (quote <=) (quote __hs-count) mx))) (nth base-handler 2)))))) base-handler)))))
(let
@@ -410,13 +356,13 @@
(cond
((and (= (len ast) 4) (list? (nth ast 2)) (= (first (nth ast 2)) (quote dict)))
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx (nth ast 3))
name
(hs-to-sx (nth ast 2))))
((= (len ast) 3)
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx (nth ast 2))
name
(list (quote dict) "sender" (quote me))))
@@ -466,20 +412,12 @@
(quote hs-repeat-times)
(hs-to-sx mode)
(list (quote fn) (list) body)))))))
(define
hs-reserved-var?
(fn (name) (or (= name "meta") (= name "event") (= name "result"))))
(define
emit-for
(fn
(ast)
(let
((var-name (nth ast 1))
(safe-param
(if
(hs-reserved-var? var-name)
(str "_hs_lv_" var-name)
var-name))
(raw-coll-ast (nth ast 2))
(where-cond
(if
@@ -514,12 +452,12 @@
(quote map-indexed)
(list
(quote fn)
(list (make-symbol (nth ast 5)) (make-symbol safe-param))
(list (make-symbol (nth ast 5)) (make-symbol var-name))
body)
collection)
(list
(quote hs-for-each)
(list (quote fn) (list (make-symbol safe-param)) body)
(list (quote fn) (list (make-symbol var-name)) body)
collection)))))
(define
emit-wait-for
@@ -628,18 +566,9 @@
(quote do)
(list (quote dom-set-attr) el attr-name (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (or (= (first expr) dot-sym) (= (first expr) (make-symbol "poss"))))
((and (list? expr) (= (first expr) dot-sym))
(let
((obj (hs-to-sx (nth expr 1))) (prop (nth expr 2)))
(list
(quote let)
(list (list (quote __hs-obj) obj))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list (quote not) (list (quote nil?) (quote __hs-obj)))
(list
(quote let)
(list
@@ -649,16 +578,12 @@
(quote +)
(list
(quote hs-to-number)
(list (quote host-get) (quote __hs-obj) prop))
(list (quote host-get) obj prop))
amount)))
(list
(quote do)
(list
(quote host-set!)
(quote __hs-obj)
prop
(quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new)))))))))
(list (quote host-set!) obj prop (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (= (first expr) (quote style)))
(let
((el (if tgt-override (hs-to-sx tgt-override) (quote me)))
@@ -757,18 +682,9 @@
(quote do)
(list (quote dom-set-attr) el attr-name (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (or (= (first expr) dot-sym) (= (first expr) (make-symbol "poss"))))
((and (list? expr) (= (first expr) dot-sym))
(let
((obj (hs-to-sx (nth expr 1))) (prop (nth expr 2)))
(list
(quote let)
(list (list (quote __hs-obj) obj))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-obj))
(list
(quote when)
(list (quote not) (list (quote nil?) (quote __hs-obj)))
(list
(quote let)
(list
@@ -778,16 +694,12 @@
(quote -)
(list
(quote hs-to-number)
(list (quote host-get) (quote __hs-obj) prop))
(list (quote host-get) obj prop))
amount)))
(list
(quote do)
(list
(quote host-set!)
(quote __hs-obj)
prop
(quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new)))))))))
(list (quote host-set!) obj prop (quote __hs-new))
(list (quote set!) (quote it) (quote __hs-new))))))
((and (list? expr) (= (first expr) (quote style)))
(let
((el (if tgt-override (hs-to-sx tgt-override) (quote me)))
@@ -873,21 +785,35 @@
(make-symbol name)
(list
(quote fn)
(cons
(quote me)
(map
(fn
(p)
(if (list? p) (make-symbol (nth p 1)) (make-symbol p)))
params))
(list
(quote let)
(list (list (quote beingTold) (quote me)))
(cons (quote do) (map hs-to-sx body))))))))
(cons (quote me) (map make-symbol params))
(cons (quote do) (map hs-to-sx body)))))))
(define
emit-socket
(fn
(ast)
(let
((ast (if (and (dict? ast) (get ast :hs-ast)) (get ast :children) ast)))
((name-path (nth ast 1))
(url (nth ast 2))
(timeout-ms (nth ast 3))
(on-msg (nth ast 4)))
(let
((handler
(if
(nil? on-msg)
nil
(let
((body (hs-to-sx (nth on-msg 2))))
(list (quote fn) (list (quote event)) body))))
(json?-val (if (nil? on-msg) false (nth on-msg 1))))
(list
(quote hs-socket-register!)
(cons (quote list) name-path)
url
(if (nil? timeout-ms) nil (hs-to-sx timeout-ms))
handler
json?-val)))))
(fn
(ast)
(cond
((nil? ast) nil)
((number? ast) ast)
@@ -992,10 +918,7 @@
(let
((ch (nth raw i)))
(if
(and
(= ch "\\")
(< (+ i 1) n)
(= (nth raw (+ i 1)) "$"))
(and (= ch "\\") (< (+ i 1) n) (= (nth raw (+ i 1)) "$"))
(do
(set! buf (str buf "$"))
(set! i (+ i 2))
@@ -1017,8 +940,7 @@
(append
parts
(list
(hs-to-sx
(hs-compile expr-src)))))
(hs-to-sx (hs-compile expr-src)))))
(set! i (+ close 1))
(tpl-collect)))))
(let
@@ -1034,8 +956,7 @@
(append
parts
(list
(hs-to-sx
(hs-compile ident)))))
(hs-to-sx (hs-compile ident)))))
(set! i end)
(tpl-collect))))))
(do
@@ -1113,21 +1034,13 @@
(hs-to-sx (nth ast 1))
(nth ast 2)))
((= head (quote coll-where))
(let
((raw-coll (hs-to-sx (nth ast 1))))
(list
(quote filter)
(list
(quote fn)
(list (quote it))
(hs-to-sx (nth ast 2)))
(if
(symbol? raw-coll)
(list
(quote cek-try)
(list (quote fn) (list) raw-coll)
(list (quote fn) (list (quote _e)) nil))
raw-coll))))
(hs-to-sx (nth ast 1))))
((= head (quote coll-sorted))
(list
(quote hs-sorted-by)
@@ -1169,29 +1082,13 @@
(if
(and
(list? dot-node)
(or
(= (str (first dot-node)) ".")
(= (str (first dot-node)) "poss")))
(= (first dot-node) (make-symbol ".")))
(let
((receiver-ast (nth dot-node 1))
(method (nth dot-node 2))
(sel
(hs-receiver-selector (nth dot-node 1) "poss")))
(list
(quote let)
(list
(list (quote __hs-recv) (hs-to-sx receiver-ast)))
(list
(quote do)
(list
(quote host-set!)
(list (quote host-global) "window")
"_hs_last_query_sel"
sel)
(list (quote hs-null-raise!) (quote __hs-recv))
((obj (hs-to-sx (nth dot-node 1)))
(method (nth dot-node 2)))
(cons
(quote hs-method-call)
(cons (quote __hs-recv) (cons method args))))))
(cons obj (cons method args))))
(if
(and
(list? dot-node)
@@ -1209,9 +1106,11 @@
(let
((params (map make-symbol (nth ast 1)))
(body (hs-to-sx (nth ast 2))))
(list (quote fn) params body)))
(if
(= (len params) 0)
body
(list (quote fn) params body))))
((= head (quote me)) (quote me))
((= head (quote beingTold)) (quote beingTold))
((= head (quote it)) (quote it))
((= head (quote event)) (quote event))
((= head dot-sym)
@@ -1222,16 +1121,11 @@
((= prop "first") (list (quote hs-first) target))
((= prop "last") (list (quote hs-last) target))
(true (list (quote host-get) target prop)))))
((= head (make-symbol "poss"))
(let
((target (hs-to-sx (nth ast 1))) (prop (nth ast 2)))
(list (quote host-get) target prop)))
((= head (quote ref))
(cond
((= (nth ast 1) "selection")
(list (quote hs-get-selection)))
((= (nth ast 1) "element") (make-symbol "me"))
(else (make-symbol (nth ast 1)))))
(if
(= (nth ast 1) "selection")
(list (quote hs-get-selection))
(make-symbol (nth ast 1))))
((= head (quote query))
(list (quote hs-query-first) (nth ast 1)))
((= head (quote query-scoped))
@@ -1267,8 +1161,6 @@
(list (quote not) (hs-to-sx (nth ast 1))))
((= head (quote no))
(list (quote hs-falsy?) (hs-to-sx (nth ast 1))))
((= head (quote hs-falsy?))
(list (quote hs-falsy?) (hs-to-sx (nth ast 1))))
((= head (quote and))
(list
(quote and)
@@ -1284,11 +1176,6 @@
(quote =)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote hs-id=))
(list
(quote hs-id=)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote +))
(list
(quote hs-add)
@@ -1328,10 +1215,7 @@
((left (nth ast 1)) (right (nth ast 2)))
(if
(and (list? right) (= (first right) (quote query)))
(list
(quote hs-matches?)
(hs-to-sx left)
(nth right 1))
(list (quote hs-matches?) (hs-to-sx left) (nth right 1))
(list
(quote hs-matches?)
(hs-to-sx left)
@@ -1382,10 +1266,7 @@
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote as))
(list
(quote hs-coerce)
(hs-to-sx (nth ast 1))
(nth ast 2)))
(list (quote hs-coerce) (hs-to-sx (nth ast 1)) (nth ast 2)))
((= head (quote in?))
(list
(quote hs-in?)
@@ -1462,28 +1343,20 @@
((= head (quote last))
(if
(> (len ast) 2)
(list
(quote hs-last)
(hs-to-sx (nth ast 2))
(nth ast 1))
(list (quote hs-last) (hs-to-sx (nth ast 2)) (nth ast 1))
(list (quote hs-query-last) (nth ast 1))))
((= head (quote add-class))
(let
((raw-tgt (nth ast 2)))
(if
(and
(list? raw-tgt)
(= (first raw-tgt) (quote query)))
(and (list? raw-tgt) (= (first raw-tgt) (quote query)))
(list
(quote for-each)
(list
(quote fn)
(list (quote _el))
(list
(quote dom-add-class)
(quote _el)
(nth ast 1)))
(list (quote hs-query-all-checked) (nth raw-tgt 1)))
(list (quote dom-add-class) (quote _el) (nth ast 1)))
(list (quote hs-query-all) (nth raw-tgt 1)))
(list
(quote dom-add-class)
(hs-to-sx raw-tgt)
@@ -1497,27 +1370,13 @@
((= head (quote set-styles))
(let
((pairs (nth ast 1)) (tgt (hs-to-sx (nth ast 2))))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(cons
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(cons
(quote when)
(cons
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(map
(fn
(p)
(list
(quote dom-set-style)
(quote __hs-tgt)
(first p)
(nth p 1)))
pairs)))))))
(list (quote dom-set-style) tgt (first p) (nth p 1)))
pairs))))
((= head (quote multi-add-class))
(let
((target (hs-to-sx (nth ast 1)))
@@ -1552,10 +1411,7 @@
(quote set!)
(quote the-result)
(quote __hs-matched))
(list
(quote set!)
(quote it)
(quote __hs-matched))
(list (quote set!) (quote it) (quote __hs-matched))
(list
(quote for-each)
(list
@@ -1590,10 +1446,7 @@
(quote set!)
(quote the-result)
(quote __hs-matched))
(list
(quote set!)
(quote it)
(quote __hs-matched))
(list (quote set!) (quote it) (quote __hs-matched))
(list
(quote for-each)
(list
@@ -1613,17 +1466,13 @@
(cons
(quote do)
(map
(fn
(cls)
(list (quote dom-remove-class) target cls))
(fn (cls) (list (quote dom-remove-class) target cls))
classes))))
((= head (quote remove-class))
(let
((raw-tgt (nth ast 2)))
(if
(and
(list? raw-tgt)
(= (first raw-tgt) (quote query)))
(and (list? raw-tgt) (= (first raw-tgt) (quote query)))
(list
(quote for-each)
(list
@@ -1633,45 +1482,18 @@
(quote dom-remove-class)
(quote _el)
(nth ast 1)))
(list (quote hs-query-all-checked) (nth raw-tgt 1)))
(list (quote hs-query-all) (nth raw-tgt 1)))
(list
(quote dom-remove-class)
(if (nil? raw-tgt) (quote me) (hs-to-sx raw-tgt))
(nth ast 1)))))
((= head (quote remove-class-when))
(let
((cls (nth ast 1))
(raw-tgt (nth ast 2))
(when-cond (nth ast 3)))
(let
((tgt-expr (cond ((and (list? raw-tgt) (= (first raw-tgt) (quote query))) (list (quote hs-query-all) (nth raw-tgt 1))) (true (hs-to-sx raw-tgt)))))
(list
(quote let)
(list
(list
(quote __hs-matched)
(list
(quote filter)
(list
(quote fn)
(list (quote it))
(hs-to-sx when-cond))
tgt-expr)))
(list
(quote for-each)
(list
(quote fn)
(list (quote it))
(list (quote dom-remove-class) (quote it) cls))
(quote __hs-matched))))))
((= head (quote remove-element))
(let
((tgt (nth ast 1)))
(cond
((and (list? tgt) (= (first tgt) (quote array-index)))
(let
((coll (nth tgt 1))
(idx (hs-to-sx (nth tgt 2))))
((coll (nth tgt 1)) (idx (hs-to-sx (nth tgt 2))))
(emit-set
coll
(list (quote hs-splice-at!) (hs-to-sx coll) idx))))
@@ -1680,10 +1502,7 @@
((obj (nth tgt 1)) (prop (nth tgt 2)))
(emit-set
obj
(list
(quote hs-dict-without)
(hs-to-sx obj)
prop))))
(list (quote hs-dict-without) (hs-to-sx obj) prop))))
((and (list? tgt) (= (first tgt) (quote of)))
(let
((prop-ast (nth tgt 1)) (obj-ast (nth tgt 2)))
@@ -1695,21 +1514,7 @@
(quote hs-dict-without)
(hs-to-sx obj-ast)
prop)))))
(true
(let
((tgt (hs-to-sx tgt)))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(list (quote dom-remove) (quote __hs-tgt))))))))))
(true (list (quote dom-remove) (hs-to-sx tgt))))))
((= head (quote add-value))
(let
((val (hs-to-sx (nth ast 1))) (tgt (nth ast 2)))
@@ -1738,14 +1543,6 @@
(emit-set
tgt
(list (quote hs-empty-like) (hs-to-sx tgt))))
((and (list? tgt) (= (first tgt) (quote query)))
(list
(quote for-each)
(list
(quote fn)
(list (quote _el))
(list (quote hs-empty-target!) (quote _el)))
(list (quote hs-query-all) (nth tgt 1))))
(true (list (quote hs-empty-target!) (hs-to-sx tgt))))))
((= head (quote open-element))
(list (quote hs-open!) (hs-to-sx (nth ast 1))))
@@ -1769,21 +1566,7 @@
((= head (quote remove-attr))
(let
((tgt (if (nil? (nth ast 2)) (quote me) (hs-to-sx (nth ast 2)))))
(list
(quote let)
(list (list (quote __hs-tgt) tgt))
(list
(quote do)
(list (quote hs-null-raise!) (quote __hs-tgt))
(list
(quote when)
(list
(quote not)
(list (quote nil?) (quote __hs-tgt)))
(list
(quote dom-remove-attr)
(quote __hs-tgt)
(nth ast 1)))))))
(list (quote dom-remove-attr) tgt (nth ast 1))))
((= head (quote remove-css))
(let
((tgt (if (nil? (nth ast 2)) (quote me) (hs-to-sx (nth ast 2))))
@@ -1829,12 +1612,6 @@
(if source (hs-to-sx source) (quote me))
event-name)
(list (quote hs-toggle-class!) tgt cls))))
((= head (quote toggle-var-cycle))
(list
(quote hs-toggle-var-cycle!)
(list (quote host-global) "window")
(nth ast 1)
(cons (quote list) (map hs-to-sx (nth ast 2)))))
((= head (quote set-on))
(list
(quote hs-set-on!)
@@ -1913,18 +1690,6 @@
(hs-to-sx (nth ast 4))))
((= head (quote set!))
(emit-set (nth ast 1) (hs-to-sx (nth ast 2))))
((= head (quote set-el!))
(list
(quote hs-set-element!)
(hs-to-sx (nth ast 1))
(hs-to-sx (nth ast 2))))
((= head (quote view-transition!))
(let
((body (nth ast 2)))
(list
(quote hs-view-transition!)
(hs-to-sx (nth ast 1))
(if (nil? body) (quote nil) (hs-to-sx body)))))
((= head (quote put!))
(let
((val (hs-to-sx (nth ast 1)))
@@ -1934,13 +1699,8 @@
((and (or (= pos "end") (= pos "start")) (list? raw-tgt) (or (= (first raw-tgt) (quote local)) (= (first raw-tgt) (quote ref))))
(emit-set
raw-tgt
(list
(quote hs-put-at!)
val
pos
(hs-to-sx raw-tgt))))
(true
(list (quote hs-put!) val pos (hs-to-sx raw-tgt))))))
(list (quote hs-put-at!) val pos (hs-to-sx raw-tgt))))
(true (list (quote hs-put!) val pos (hs-to-sx raw-tgt))))))
((= head (quote if))
(if
(> (len ast) 3)
@@ -1968,7 +1728,6 @@
(list? c)
(or
(= (first c) (quote hs-fetch))
(= (first c) (quote hs-fetch-no-throw))
(= (first c) (quote hs-wait))
(= (first c) (quote hs-wait-for))
(= (first c) (quote hs-wait-for-or))
@@ -1982,9 +1741,7 @@
(if
(and
(list? cmd)
(or
(= (first cmd) (quote hs-fetch))
(= (first cmd) (quote hs-fetch-no-throw))))
(= (first cmd) (quote hs-fetch)))
(list
(quote let)
(list (list (quote it) cmd))
@@ -2030,7 +1787,7 @@
(tgt (if (= (len ast) 4) (nth ast 3) (nth ast 2)))
(detail (if (= (len ast) 4) (nth ast 2) nil)))
(list
(quote hs-dispatch!)
(quote dom-dispatch)
(hs-to-sx tgt)
name
(if has-detail (hs-to-sx detail) nil))))
@@ -2106,13 +1863,7 @@
(list (quote fn) (list) (hs-to-sx (nth ast 1)))
(list (quote fn) (list) (hs-to-sx (nth ast 2)))))
((= head (quote fetch))
(list
(if
(nth ast 3)
(quote hs-fetch-no-throw)
(quote hs-fetch))
(hs-to-sx (nth ast 1))
(nth ast 2)))
(list (quote hs-fetch) (hs-to-sx (nth ast 1)) (nth ast 2) (nth ast 3) (quote me)))
((= head (quote fetch-gql))
(list
(quote hs-fetch-gql)
@@ -2127,61 +1878,26 @@
(make-symbol raw-fn)
(hs-to-sx raw-fn)))
(args (map hs-to-sx (rest (rest ast)))))
(cond
((and (list? raw-fn) (= (first raw-fn) (quote ref)))
(emit-set
(quote the-result)
(if
(and (list? raw-fn) (= (first raw-fn) (quote ref)))
(list
(quote hs-win-call)
(nth raw-fn 1)
(cons (quote list) args))))
((and (list? raw-fn) (= (str (first raw-fn)) "."))
(let
((receiver-ast (nth raw-fn 1))
(prop-name (nth raw-fn 2))
(sel (hs-receiver-selector (nth raw-fn 1) "dot")))
(list
(quote let)
(list
(list
(quote __hs-recv)
(hs-to-sx receiver-ast)))
(list
(quote do)
(list
(quote set!)
(quote _hs-last-query-sel)
sel)
(list (quote hs-null-raise!) (quote __hs-recv))
(emit-set
(quote the-result)
(cons
(list
(quote host-get)
(quote __hs-recv)
prop-name)
args))))))
(true
(emit-set (quote the-result) (cons fn-expr args))))))
(cons (quote list) args))
(cons fn-expr args))))
((= head (quote return))
(let
((val (nth ast 1)))
(if
(nil? val)
(list
(quote raise)
(list (quote list) "hs-return" nil))
(list (quote raise) (list (quote list) "hs-return" nil))
(list
(quote raise)
(list (quote list) "hs-return" (hs-to-sx val))))))
((= head (quote throw))
(list (quote raise) (hs-to-sx (nth ast 1))))
((= head (quote settle))
(let
((raw-tgt (if (> (len ast) 1) (nth ast 1) nil)))
(list
(quote hs-settle)
(if (nil? raw-tgt) (quote me) (hs-to-sx raw-tgt)))))
(list (quote hs-settle) (quote me)))
((= head (quote go))
(list (quote hs-navigate!) (hs-to-sx (nth ast 1))))
((= head (quote ask))
@@ -2192,10 +1908,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote answer))
@@ -2206,10 +1919,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote answer-alert))
@@ -2220,10 +1930,7 @@
(list (list (quote __hs-a) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-a))
(list (quote set!) (quote the-result) (quote __hs-a))
(list (quote set!) (quote it) (quote __hs-a))
(quote __hs-a)))))
((= head (quote __get-cmd))
@@ -2234,10 +1941,7 @@
(list (list (quote __hs-g) val))
(list
(quote begin)
(list
(quote set!)
(quote the-result)
(quote __hs-g))
(list (quote set!) (quote the-result) (quote __hs-g))
(list (quote set!) (quote it) (quote __hs-g))
(quote __hs-g)))))
((= head (quote append!))
@@ -2260,7 +1964,7 @@
(list
(quote let)
(list
(list (quote beingTold) tgt)
(list (quote me) tgt)
(list (quote you) tgt)
(list (quote yourself) tgt))
(hs-to-sx (nth ast 2)))))
@@ -2311,22 +2015,7 @@
(true (list (quote hs-take!) target kind name scope))))))
((= head (quote make)) (emit-make ast))
((= head (quote install))
(let
((bname (nth ast 1)))
(cons
(make-symbol bname)
(cons
(quote me)
(map
(fn
(arg)
(if
(and
(list? arg)
(= (first arg) (quote type-assert)))
(+ (nth arg 2) 0)
(hs-to-sx arg)))
(rest (rest ast)))))))
(cons (quote hs-install) (map hs-to-sx (rest ast))))
((= head (quote measure))
(list (quote hs-measure) (hs-to-sx (nth ast 1))))
((= head (quote increment!))
@@ -2351,31 +2040,18 @@
((= head (quote exit)) nil)
((= head (quote live-no-op)) nil)
((= head (quote when-feat-no-op)) nil)
((= head (quote bind-feat)) nil)
((= head (quote on)) (emit-on ast))
((= head (quote when-changes))
(let
((expr (nth ast 1)) (body (nth ast 2)))
(cond
((and (list? expr) (= (first expr) (quote dom-ref)))
(if
(and (list? expr) (= (first expr) (quote dom-ref)))
(list
(quote hs-dom-watch!)
(hs-to-sx (nth expr 2))
(nth expr 1)
(list
(quote fn)
(list (quote it))
(hs-to-sx body))))
((and (list? expr) (= (first expr) (quote local)))
(list
(quote hs-scoped-watch!)
(quote me)
(nth expr 1)
(list
(quote fn)
(list (quote it))
(hs-to-sx body))))
(true nil))))
(list (quote fn) (list (quote it)) (hs-to-sx body)))
nil)))
((= head (quote init))
(list
(quote hs-init)
@@ -2430,6 +2106,7 @@
(quote _hs-def-val))
(quote _hs-def-val))))))
((= head (quote behavior)) (emit-behavior ast))
((= head (quote socket)) (emit-socket ast))
((= head (quote sx-eval))
(let
((src (nth ast 1)))
@@ -2556,47 +2233,13 @@
(list
(quote hs-is)
(hs-to-sx (nth ast 1))
(list
(quote fn)
(list)
(hs-to-sx (nth (nth ast 2) 2)))
(list (quote fn) (list) (hs-to-sx (nth (nth ast 2) 2)))
(nth ast 3)))
((= head (quote halt!))
(list (quote hs-halt!) (quote event) (nth ast 1)))
((= head (quote focus!))
(list (quote dom-focus) (hs-to-sx (nth ast 1))))
((= head (quote js-block))
(let
((params (nth ast 1)) (js-src (nth ast 2)))
(let
((bound-syms (map (fn (p) (make-symbol p)) params)))
(list
(quote let)
(list
(list
(quote __hs-js)
(list
(quote hs-js-exec)
(cons (quote list) params)
js-src
(cons (quote list) bound-syms))))
(list
(quote begin)
(list (quote set!) (quote it) (quote __hs-js))
(quote __hs-js))))))
(true ast)))))))))
(true ast))))))))
;; ── Convenience: source → SX ─────────────────────────────────
(define
hs-receiver-selector
(fn
(ast notation)
(cond
((and (list? ast) (= (str (first ast)) "ref")) (nth ast 1))
((and (list? ast) (= (str (first ast)) "."))
(str (hs-receiver-selector (nth ast 1) notation) "." (nth ast 2)))
((and (list? ast) (= (str (first ast)) "poss"))
(str (hs-receiver-selector (nth ast 1) "poss") "'s " (nth ast 2)))
(true "?"))))
(define hs-to-sx-from-source (fn (src) (hs-to-sx (hs-compile src))))

3
shared/static/wasm/sx/hs-compiler.sxbc
View File

File diff suppressed because one or more lines are too long

59
shared/static/wasm/sx/hs-integration.sx
View File

@@ -19,7 +19,6 @@
(define
reserved
(list
(quote beingTold)
(quote me)
(quote it)
(quote event)
@@ -66,45 +65,17 @@
(list (quote me))
(list
(quote let)
(list
(list (quote beingTold) (quote me))
(list (quote it) nil)
(list (quote event) nil))
(list (list (quote it) nil) (list (quote event) nil))
guarded))))))))))
;; ── Activate a single element ───────────────────────────────────
;; Reads the _="..." attribute, compiles, and executes with me=element.
;; Marks the element to avoid double-activation.
(define
hs-register-scripts!
(fn
()
(for-each
(fn
(script)
(when
(not (dom-get-data script "hs-script-loaded"))
(let
((src (host-get script "innerHTML")))
(when
(and src (not (= src "")))
(guard
(_e (true nil))
(eval-expr-cek (hs-to-sx-from-source src)))
(dom-set-data script "hs-script-loaded" true)))))
(hs-query-all "script[type=text/hyperscript]"))))
;; ── Boot: scan entire document ──────────────────────────────────
;; Called once at page load. Finds all elements with _ attribute,
;; compiles their hyperscript, and activates them.
(define
hs-activate!
(fn
(el)
(do
(hs-register-scripts!)
(let
((src (dom-get-attr el "_")) (prev (dom-get-data el "hs-script")))
(when
@@ -115,26 +86,12 @@
(dom-set-data el "hs-script" src)
(dom-set-data el "hs-active" true)
(dom-set-attr el "data-hyperscript-powered" "true")
(guard
(_e (true nil))
(let
((handler (hs-handler src)))
(let
((el-type (dom-get-attr el "type"))
(comp-name (dom-get-attr el "component")))
(let
((safe-handler (fn (e) (host-call-fn handler (list e)))))
(if
(= el-type "text/hyperscript-template")
(for-each
safe-handler
(hs-query-all (or comp-name "")))
(safe-handler el))))))
(dom-dispatch el "hyperscript:after:init" nil)))))))
(let ((handler (hs-handler src))) (handler el))
(dom-dispatch el "hyperscript:after:init" nil))))))
;; ── Boot subtree: for dynamic content ───────────────────────────
;; Called after HTMX swaps or dynamic DOM insertion.
;; Only activates elements within the given root.
;; ── Boot: scan entire document ──────────────────────────────────
;; Called once at page load. Finds all elements with _ attribute,
;; compiles their hyperscript, and activates them.
(define
hs-deactivate!
@@ -147,6 +104,10 @@
(dom-set-data el "hs-active" false)
(dom-set-data el "hs-script" nil))))
;; ── Boot subtree: for dynamic content ───────────────────────────
;; Called after HTMX swaps or dynamic DOM insertion.
;; Only activates elements within the given root.
(define
hs-boot!
(fn

557
shared/static/wasm/sx/hs-parser.sx
View File

File diff suppressed because it is too large Load Diff

3
shared/static/wasm/sx/hs-parser.sxbc
View File

File diff suppressed because one or more lines are too long

973
shared/static/wasm/sx/hs-runtime.sx
View File

File diff suppressed because it is too large Load Diff

3
shared/static/wasm/sx/hs-runtime.sxbc
View File

File diff suppressed because one or more lines are too long

138
shared/static/wasm/sx/hs-tokenizer.sx
View File

@@ -131,7 +131,6 @@
"append"
"settle"
"transition"
"view"
"over"
"closest"
"next"
@@ -209,8 +208,7 @@
"using"
"giving"
"ask"
"answer"
"bind"))
"answer"))
(define hs-keyword? (fn (word) (some (fn (k) (= k word)) hs-keywords)))
@@ -336,17 +334,11 @@
(= ch "r")
(do (append! chars "\r") (hs-advance! 1))
(= ch "b")
(do
(append! chars (char-from-code 8))
(hs-advance! 1))
(do (append! chars (char-from-code 8)) (hs-advance! 1))
(= ch "f")
(do
(append! chars (char-from-code 12))
(hs-advance! 1))
(do (append! chars (char-from-code 12)) (hs-advance! 1))
(= ch "v")
(do
(append! chars (char-from-code 11))
(hs-advance! 1))
(do (append! chars (char-from-code 11)) (hs-advance! 1))
(= ch "\\")
(do (append! chars "\\") (hs-advance! 1))
(= ch quote-char)
@@ -362,15 +354,11 @@
(let
((d1 (hs-hex-val (hs-cur)))
(d2 (hs-hex-val (hs-peek 1))))
(append!
chars
(char-from-code (+ (* d1 16) d2)))
(append! chars (char-from-code (+ (* d1 16) d2)))
(hs-advance! 2))
(error "Invalid hexadecimal escape: \\x")))
:else (do
(append! chars "\\")
(append! chars ch)
(hs-advance! 1)))))
:else
(do (append! chars "\\") (append! chars ch) (hs-advance! 1)))))
(loop))
(= (hs-cur) quote-char)
(hs-advance! 1)
@@ -457,68 +445,27 @@
read-class-name
(fn
(start)
(define
build-name
(fn
(acc depth)
(cond
((and (< pos src-len) (= (hs-cur) "\\") (< (+ pos 1) src-len))
(do
(when
(and
(< pos src-len)
(or
(hs-ident-char? (hs-cur))
(= (hs-cur) ":")
(= (hs-cur) "[")
(= (hs-cur) "]")))
(hs-advance! 1)
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
((and (< pos src-len) (= (hs-cur) "["))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) (+ depth 1)))))
((and (< pos src-len) (= (hs-cur) "]"))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name
(str acc c)
(if (> depth 0) (- depth 1) 0)))))
((and (< pos src-len) (> depth 0) (or (= (hs-cur) "(") (= (hs-cur) ")")))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
((and (< pos src-len) (or (hs-ident-char? (hs-cur)) (= (hs-cur) ":") (= (hs-cur) "&")))
(do
(let
((c (hs-cur)))
(hs-advance! 1)
(build-name (str acc c) depth))))
(true acc))))
(build-name "" 0)))
(read-class-name start))
(slice src start pos)))
(define
hs-emit!
(fn
(type value start)
(let
((tok (hs-make-token type value start))
(end-pos
(max pos (+ start (if (nil? value) 0 (len (str value)))))))
(do
(dict-set! tok "end" end-pos)
(dict-set! tok "line" (len (split (slice src 0 start) "\n")))
(append! tokens tok)))))
(append! tokens (hs-make-token type value start))))
(define
scan!
(fn
()
(let
((ws-start pos))
(skip-ws!)
(when
(and (> (len tokens) 0) (> pos ws-start))
(hs-emit! "whitespace" (slice src ws-start pos) ws-start)))
(when
(< pos src-len)
(let
@@ -526,7 +473,11 @@
(cond
(and (= ch "-") (< (+ pos 1) src-len) (= (hs-peek 1) "-"))
(do (hs-advance! 2) (skip-comment!) (scan!))
(and (= ch "/") (< (+ pos 1) src-len) (= (hs-peek 1) "/"))
(and
(= ch "/")
(< (+ pos 1) src-len)
(= (hs-peek 1) "/")
(not (and (> pos 0) (= (hs-peek -1) ":"))))
(do (hs-advance! 2) (skip-comment!) (scan!))
(and
(= ch "<")
@@ -542,21 +493,6 @@
(do (hs-emit! "selector" (read-selector) start) (scan!))
(and (= ch ".") (< (+ pos 1) src-len) (= (hs-peek 1) "."))
(do (hs-emit! "op" ".." start) (hs-advance! 2) (scan!))
(and
(= ch ".")
(< (+ pos 1) src-len)
(or
(hs-letter? (hs-peek 1))
(= (hs-peek 1) "-")
(= (hs-peek 1) "_"))
(> (len tokens) 0)
(let
((lt (dict-get (nth tokens (- (len tokens) 1)) :type)))
(or
(= lt "paren-close")
(= lt "brace-close")
(= lt "bracket-close"))))
(do (hs-emit! "dot" "." start) (hs-advance! 1) (scan!))
(and
(= ch ".")
(< (+ pos 1) src-len)
@@ -568,18 +504,6 @@
(hs-advance! 1)
(hs-emit! "class" (read-class-name pos) start)
(scan!))
(and
(= ch "#")
(< (+ pos 1) src-len)
(hs-ident-start? (hs-peek 1))
(> (len tokens) 0)
(let
((lt (dict-get (nth tokens (- (len tokens) 1)) :type)))
(or
(= lt "paren-close")
(= lt "brace-close")
(= lt "bracket-close"))))
(do (hs-emit! "op" "#" start) (hs-advance! 1) (scan!))
(and
(= ch "#")
(< (+ pos 1) src-len)
@@ -649,7 +573,21 @@
(let
((word (read-ident start)))
(let
((full-word (if (and (< pos src-len) (= (hs-cur) "'") (< (+ pos 1) src-len) (hs-letter? (hs-peek 1)) (not (and (= (hs-peek 1) "s") (or (>= (+ pos 2) src-len) (not (hs-ident-char? (hs-peek 2))))))) (do (hs-advance! 1) (str word "'" (read-ident pos))) word)))
((full-word
(if
(and
(< pos src-len)
(= (hs-cur) "'")
(< (+ pos 1) src-len)
(hs-letter? (hs-peek 1))
(not
(and
(= (hs-peek 1) "s")
(or
(>= (+ pos 2) src-len)
(not (hs-ident-char? (hs-peek 2)))))))
(do (hs-advance! 1) (str word "'" (read-ident pos)))
word)))
(hs-emit!
(if (hs-keyword? full-word) "keyword" "ident")
full-word

3
shared/static/wasm/sx/hs-tokenizer.sxbc
View File

File diff suppressed because one or more lines are too long

7
shared/static/wasm/sx_browser.bc.js
View File

@@ -46045,7 +46045,7 @@ d2=133,bi=102,bh="Re__Hash_set",cA="Stdlib__Type",cB=114,fF="Stdlib__Buffer",dX=
}
return trampoline(eval_expr(Sx_types[75].call(null, mac), local));
}
var step_limit = [0, 0], step_count = [0, 0], _wc_check = 0;
var step_limit = [0, 0], step_count = [0, 0];
function cek_step_loop(state$0){
var state = state$0;
for(;;){
@@ -46055,11 +46055,6 @@ d2=133,bi=102,bh="Re__Hash_set",cA="Stdlib__Type",cB=114,fF="Stdlib__Buffer",dX=
throw caml_maybe_attach_backtrace
([0, Sx_types[9], "TIMEOUT: step limit exceeded"], 1);
}
if(++_wc_check >= 10000){ _wc_check = 0;
if(globalThis.__hs_deadline && Date.now() > globalThis.__hs_deadline)
throw caml_maybe_attach_backtrace
([0, Sx_types[9], "TIMEOUT: wall clock exceeded"], 1);
}
var
or = cek_terminal_p(state),
or$0 = Sx_types[56].call(null, or) ? or : cek_suspended_p(state);

605
spec/tests/test-hyperscript-behavioral.sx
View File

@@ -93,17 +93,6 @@
(raise _e))))
(handler me-val))))))
;; Evaluate a HS expression using evalStatically semantics:
;; only literal values (numbers, strings, booleans, null, time units)
;; succeed — any other expression raises "cannot be evaluated statically".
(define hs-eval-statically
(fn (src)
(let ((ast (hs-compile src)))
(if (or (number? ast) (string? ast) (boolean? ast)
(and (list? ast) (= (first ast) (quote null-literal))))
(eval-hs src)
(raise "cannot be evaluated statically")))))
;; ── add (19 tests) ──
(defsuite "hs-upstream-add"
(deftest "can add a value to a set"
@@ -1134,11 +1123,9 @@
;; ── breakpoint (2 tests) ──
(defsuite "hs-upstream-breakpoint"
(deftest "parses as a top-level command"
(hs-compile "breakpoint")
)
(error "SKIP (untranslated): parses as a top-level command"))
(deftest "parses inside an event handler"
(hs-compile "on click breakpoint end")
)
(error "SKIP (untranslated): parses inside an event handler"))
)
;; ── call (6 tests) ──
@@ -1172,7 +1159,7 @@
))
(deftest "can call global javascript functions"
(hs-cleanup!)
(host-set! (host-global "window") "calledWith" nil)
(host-set! (host-global "window") "calledWith" null)
(let ((_el-div (dom-create-element "div")))
(dom-set-attr _el-div "_" "on click call globalFunction(\"foo\")")
(dom-append (dom-body) _el-div)
@@ -1246,14 +1233,13 @@
(defsuite "hs-upstream-core/bootstrap"
(deftest "can call functions"
(hs-cleanup!)
(host-set! (host-global "window") "calledWith" nil)
(host-set! (host-global "window") "calledWith" null)
(let ((_el-div (dom-create-element "div")))
(dom-set-attr _el-div "_" "on click call globalFunction(\"foo\")")
(dom-append (dom-body) _el-div)
(hs-activate! _el-div)
(dom-dispatch _el-div "click" nil)
)
)
))
(deftest "can change non-class properties"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -1397,11 +1383,8 @@
(hs-activate! _el-div)
(dom-dispatch _el-div "click" nil)
(assert (dom-has-class? _el-div "foo"))
(hs-deactivate! _el-div)
(dom-remove-class _el-div "foo")
(dom-dispatch _el-div "click" nil)
(assert (not (dom-has-class? _el-div "foo"))))
)
(assert (not (dom-has-class? _el-div "foo")))
))
(deftest "cleanup tracks listeners in elt._hyperscript"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -1482,11 +1465,9 @@
(hs-activate! _el-div)
(dom-dispatch _el-div "click" nil)
(assert (dom-has-class? _el-div "foo"))
(dom-set-attr _el-div "_" "on click add .bar")
(hs-activate! _el-div)
(dom-dispatch _el-div "click" nil)
(assert (dom-has-class? _el-div "bar")))
)
(assert (dom-has-class? _el-div "bar"))
))
(deftest "sets data-hyperscript-powered on initialized elements"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -1605,14 +1586,11 @@
;; ── core/evalStatically (8 tests) ──
(defsuite "hs-upstream-core/evalStatically"
(deftest "throws on math expressions"
(guard (_e (true nil)) (hs-eval-statically "1 + 2") (error "hs-eval-statically did not throw for: 1 + 2"))
)
(error "SKIP (untranslated): throws on math expressions"))
(deftest "throws on symbol references"
(guard (_e (true nil)) (hs-eval-statically "x") (error "hs-eval-statically did not throw for: x"))
)
(error "SKIP (untranslated): throws on symbol references"))
(deftest "throws on template strings"
(guard (_e (true nil)) (hs-eval-statically "`hello ${name}`") (error "hs-eval-statically did not throw for: `hello ${name}`"))
)
(error "SKIP (untranslated): throws on template strings"))
(deftest "works on boolean literals"
(assert= (eval-hs "true") true)
(assert= (eval-hs "false") false)
@@ -1805,11 +1783,9 @@
;; ── core/parser (14 tests) ──
(defsuite "hs-upstream-core/parser"
(deftest "_hyperscript() evaluate API still throws on first error"
(assert-throws (fn () (eval-hs "add - to")))
)
(error "SKIP (untranslated): _hyperscript() evaluate API still throws on first error"))
(deftest "basic parse error messages work"
(assert-throws (fn () (eval-hs "add - to")))
)
(error "SKIP (untranslated): basic parse error messages work"))
(deftest "can have alternate comments in attributes"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -1887,11 +1863,7 @@
(deftest "fires hyperscript:parse-error event with all errors"
(error "SKIP (untranslated): fires hyperscript:parse-error event with all errors"))
(deftest "parse error at EOF on trailing newline does not crash"
(let ((caught nil))
(guard (_e (true (set! caught (str _e))))
(hs-compile "set x to\n"))
(assert true))
)
(error "SKIP (untranslated): parse error at EOF on trailing newline does not crash"))
(deftest "recovers across feature boundaries and reports all errors"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")))
@@ -2036,20 +2008,7 @@
(assert= (dom-text-content _el-button) "select2")
))
(deftest "can pick detail fields out by name"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))
(dom-set-attr _el-d1 "id" "d1")
(dom-set-attr _el-d1 "_" "on click send custom(foo:\"fromBar\") to #d2")
(dom-set-attr _el-d2 "id" "d2")
(dom-set-attr _el-d2 "_" "on custom(foo) call me.classList.add(foo)")
(dom-append (dom-body) _el-d1)
(dom-append (dom-body) _el-d2)
(hs-activate! _el-d1)
(hs-activate! _el-d2)
(assert (not (dom-has-class? _el-d2 "fromBar")))
(dom-dispatch _el-d1 "click" nil)
(assert (dom-has-class? _el-d2 "fromBar")))
)
(error "SKIP (skip-list): can pick detail fields out by name"))
(deftest "can refer to function in init blocks"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")))
@@ -2096,8 +2055,7 @@
(assert= (dom-text-content (dom-query-by-id "div1")) "foo")
))
(deftest "extra chars cause error when evaling"
(assert-throws (fn () (eval-hs "1!")))
)
(error "SKIP (untranslated): extra chars cause error when evaling"))
(deftest "listen for event on form"
(hs-cleanup!)
(let ((_el-form (dom-create-element "form")) (_el-b1 (dom-create-element "button")))
@@ -2217,75 +2175,41 @@
;; ── core/runtimeErrors (18 tests) ──
(defsuite "hs-upstream-core/runtimeErrors"
(deftest "reports basic function invocation null errors properly"
(hs-cleanup!)
(assert= (eval-hs-error "x()") "'x' is null")
(assert= (eval-hs-error "x.y()") "'x' is null")
(assert= (eval-hs-error "x.y.z()") "'x.y' is null"))
(error "SKIP (untranslated): reports basic function invocation null errors properly"))
(deftest "reports basic function invocation null errors properly w/ of"
(hs-cleanup!)
(assert= (eval-hs-error "z() of y of x") "'z' is null"))
(error "SKIP (untranslated): reports basic function invocation null errors properly w/ of"))
(deftest "reports basic function invocation null errors properly w/ possessives"
(hs-cleanup!)
(assert= (eval-hs-error "x's y()") "'x' is null")
(assert= (eval-hs-error "x's y's z()") "'x's y' is null"))
(error "SKIP (untranslated): reports basic function invocation null errors properly w/ possessives"))
(deftest "reports null errors on add command properly"
(hs-cleanup!)
(assert= (eval-hs-error "add .foo to #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "add @foo to #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "add {display:none} to #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on add command properly"))
(deftest "reports null errors on decrement command properly"
(hs-cleanup!)
(assert= (eval-hs-error "decrement #doesntExist's innerHTML") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on decrement command properly"))
(deftest "reports null errors on default command properly"
(hs-cleanup!)
(assert= (eval-hs-error "default #doesntExist's innerHTML to 'foo'") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on default command properly"))
(deftest "reports null errors on hide command properly"
(hs-cleanup!)
(assert= (eval-hs-error "hide #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on hide command properly"))
(deftest "reports null errors on increment command properly"
(hs-cleanup!)
(assert= (eval-hs-error "increment #doesntExist's innerHTML") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on increment command properly"))
(deftest "reports null errors on measure command properly"
(hs-cleanup!)
(assert= (eval-hs-error "measure #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on measure command properly"))
(deftest "reports null errors on put command properly"
(hs-cleanup!)
(assert= (eval-hs-error "put 'foo' into #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' into #doesntExist's innerHTML") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' into #doesntExist.innerHTML") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' before #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' after #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' at the start of #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "put 'foo' at the end of #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on put command properly"))
(deftest "reports null errors on remove command properly"
(hs-cleanup!)
(assert= (eval-hs-error "remove .foo from #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "remove @foo from #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "remove #doesntExist from #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on remove command properly"))
(deftest "reports null errors on send command properly"
(hs-cleanup!)
(assert= (eval-hs-error "send 'foo' to #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on send command properly"))
(deftest "reports null errors on sets properly"
(hs-cleanup!)
(assert= (eval-hs-error "set x's y to true") "'x' is null")
(assert= (eval-hs-error "set x's @y to true") "'x' is null"))
(error "SKIP (untranslated): reports null errors on sets properly"))
(deftest "reports null errors on settle command properly"
(hs-cleanup!)
(assert= (eval-hs-error "settle #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on settle command properly"))
(deftest "reports null errors on show command properly"
(hs-cleanup!)
(assert= (eval-hs-error "show #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on show command properly"))
(deftest "reports null errors on toggle command properly"
(hs-cleanup!)
(assert= (eval-hs-error "toggle .foo on #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "toggle between .foo and .bar on #doesntExist") "'#doesntExist' is null")
(assert= (eval-hs-error "toggle @foo on #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on toggle command properly"))
(deftest "reports null errors on transition command properly"
(hs-cleanup!)
(assert= (eval-hs-error "transition #doesntExist's *visibility to 0") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on transition command properly"))
(deftest "reports null errors on trigger command properly"
(hs-cleanup!)
(assert= (eval-hs-error "trigger 'foo' on #doesntExist") "'#doesntExist' is null"))
(error "SKIP (untranslated): reports null errors on trigger command properly"))
)
;; ── core/scoping (20 tests) ──
@@ -2530,7 +2454,6 @@
(deftest "on a single div"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")) (_el-d1 (dom-create-element "div")))
(dom-set-attr _el-div "disable-scripting" "")
(dom-set-attr _el-d1 "id" "d1")
(dom-set-attr _el-d1 "_" "on click add .foo")
(dom-append (dom-body) _el-div)
@@ -3699,7 +3622,7 @@
(assert= (eval-hs "[1 + 1, 2 * 3, 10 - 5]") (list 2 6 5))
)
(deftest "arrays containing objects work"
(assert-equal (list {:a 1} {:b 2}) (hs-strip-order-deep (eval-hs "[{a: 1}, {b: 2}]")))
(assert-equal (list {:a 1} {:b 2}) (eval-hs "[{a: 1}, {b: 2}]"))
)
(deftest "deeply nested array literals work"
(assert= (eval-hs "[[[1]], [[2, 3]]]") (list (list (list 1)) (list (list 2 3))))
@@ -3724,29 +3647,11 @@
;; ── expressions/asExpression (42 tests) ──
(defsuite "hs-upstream-expressions/asExpression"
(deftest "can accept custom conversions"
(do
(hs-set-conversion! "Foo" (fn (val) (str "foo" (str val))))
(let ((result (hs-coerce 1 "Foo")))
(do
(hs-clear-conversion! "Foo")
(assert= result "foo1"))))
)
(error "SKIP (untranslated): can accept custom conversions"))
(deftest "can accept custom dynamic conversions"
(do
(hs-add-dynamic-converter!
(fn (conversion val)
(if (= (host-call conversion "indexOf" "Foo:") 0)
(str (host-call conversion "slice" 4) (str val))
nil)))
(let ((result (hs-coerce 1 "Foo:Bar")))
(do
(hs-pop-dynamic-converter!)
(assert= result "Bar1"))))
)
(error "SKIP (untranslated): can accept custom dynamic conversions"))
(deftest "can use the a modifier if you like"
(let ((_result (eval-hs "1 as a Date")))
(assert= (host-call _result "getTime") 1))
)
(error "SKIP (untranslated): can use the a modifier if you like"))
(deftest "can use the an modifier if you'd like"
(assert= (host-get (eval-hs "'{\"foo\":\"bar\"}' as an Object") "foo") "bar")
)
@@ -3850,10 +3755,7 @@
(assert= (eval-hs "[1,2,3] as Reversed") (list 3 2 1))
)
(deftest "converts array as Set"
(let ((_result (eval-hs "[1,2,2,3] as Set")))
(assert (hs-is-set? _result))
(assert= (host-get _result "size") 3))
)
(error "SKIP (untranslated): converts array as Set"))
(deftest "converts array as Unique"
(assert= (eval-hs "[1,2,2,3,3] as Unique") (list 1 2 3))
)
@@ -3881,14 +3783,10 @@
(deftest "converts multiple selects with programmatically changed selections"
(let ((_node (dom-create-element "form")))
(dom-set-inner-html _node "<select name=\"animal\" multiple> <option value=\"dog\" selected>Doggo</option> <option value=\"cat\">Kitteh</option> <option value=\"raccoon\" selected>Trash Panda</option> <option value=\"possum\">Sleepy Boi</option> </select>")
(let ((_sel (dom-query _node "select")))
(let ((_opts (host-get _sel "options")))
(host-set! (nth _opts 0) "selected" false)
(host-set! (nth _opts 1) "selected" true)
(let ((_result (eval-hs-locals "x as Values" (list (list (quote x) _node)))))
(assert= (nth (host-get _result "animal") 0) "cat")
(assert= (nth (host-get _result "animal") 1) "raccoon")
))))
))
)
(deftest "converts nested array as Flat"
(assert= (eval-hs "[[1,2],[3,4]] as Flat") (list 1 2 3 4))
@@ -3906,11 +3804,7 @@
(assert= (eval-hs "{a:1, b:2} as Keys") (list "a" "b"))
)
(deftest "converts object as Map"
(let ((_result (eval-hs "{a:1, b:2} as Map")))
(assert (hs-is-map? _result))
(assert= (host-call _result "get" "a") 1)
(assert= (host-get _result "size") 2))
)
(error "SKIP (untranslated): converts object as Map"))
(deftest "converts radio buttons into a Value correctly"
(let ((_node (dom-create-element "form")))
(dom-set-inner-html _node "<div> <input type=\"radio\" name=\"gender\" value=\"Male\" checked> <input type=\"radio\" name=\"gender\" value=\"Female\"> <input type=\"radio\" name=\"gender\" value=\"Other\"> </div>")
@@ -3930,9 +3824,7 @@
(assert= (eval-hs "'hello' as Boolean") true)
)
(deftest "converts value as Date"
(let ((_result (eval-hs "1 as Date")))
(assert= (host-call _result "getTime") 1))
)
(error "SKIP (untranslated): converts value as Date"))
(deftest "converts value as Fixed"
(assert= (eval-hs "'10.4' as Fixed") "10")
(assert= (eval-hs "'10.4899' as Fixed:2") "10.49")
@@ -4322,17 +4214,13 @@
;; ── expressions/blockLiteral (4 tests) ──
(defsuite "hs-upstream-expressions/blockLiteral"
(deftest "basic block literals work"
(assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\ -> true"))) (list)) true)
)
(error "SKIP (untranslated): basic block literals work"))
(deftest "basic identity works"
(assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\ x -> x"))) (list true)) true)
)
(error "SKIP (untranslated): basic identity works"))
(deftest "basic two arg identity works"
(assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\ x, y -> y"))) (list false true)) true)
)
(error "SKIP (untranslated): basic two arg identity works"))
(deftest "can map an array"
(assert= (map (eval-expr-cek (hs-to-sx (hs-compile "\\ s -> s.length"))) (list "a" "ab" "abc")) (list 1 2 3))
)
(error "SKIP (untranslated): can map an array"))
)
;; ── expressions/boolean (2 tests) ──
@@ -4354,8 +4242,7 @@
(dom-append (dom-body) _el-div)
))
(deftest "basic classRef works w no match"
(assert= (len (eval-hs ".badClassThatDoesNotHaveAnyElements")) 0)
)
(error "SKIP (untranslated): basic classRef works w no match"))
(deftest "colon class ref works"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -5317,17 +5204,7 @@
(eval-hs "set cookies.foo to 'bar'")
(assert= (eval-hs "cookies.foo") "bar"))
(deftest "iterate cookies values work"
(hs-cleanup!)
(host-set! (host-global "cookies") "foo" "bar")
(let ((_names (list)) (_values (list)))
(hs-for-each
(fn (x)
(append! _names (host-get x "name"))
(append! _values (host-get x "value")))
(host-global "cookies"))
(assert-contains "foo" _names)
(assert-contains "bar" _values))
)
(error "SKIP (untranslated): iterate cookies values work"))
(deftest "length is 0 when no cookies are set"
(hs-cleanup!)
(assert= (eval-hs "cookies.length") 0))
@@ -5672,7 +5549,7 @@
(assert= (eval-hs-locals "getObj().greet()" (list (list (quote getObj) (fn () {:greet (fn () "hi")})))) "hi")
)
(deftest "can invoke function on object"
(error "SKIP: JS this-binding not supported in SX lambdas")
(assert= (eval-hs-locals "obj.getValue()" (list (list (quote obj) {:value "foo" :getValue (fn () (host-get this "value"))}))) "foo")
)
(deftest "can invoke function on object w/ async arg"
(error "SKIP (untranslated): can invoke function on object w/ async arg"))
@@ -5847,28 +5724,11 @@
(assert= (eval-hs "true and (false or true)") true)
)
(deftest "should short circuit with and expression"
(let ((func1-called false) (func2-called false))
(let ((func1 (fn () (let ((dummy (set! func1-called true))) false)))
(func2 (fn () (let ((dummy (set! func2-called true))) false))))
(let ((result (eval-hs-locals "func1() and func2()"
(list (list (quote func1) func1) (list (quote func2) func2)))))
(assert= result false)
(assert func1-called)
(assert (not func2-called)))))
)
(error "SKIP (untranslated): should short circuit with and expression"))
(deftest "should short circuit with or expression"
(let ((func1-called false) (func2-called false))
(let ((func1 (fn () (let ((dummy (set! func1-called true))) true)))
(func2 (fn () (let ((dummy (set! func2-called true))) true))))
(let ((result (eval-hs-locals "func1() or func2()"
(list (list (quote func1) func1) (list (quote func2) func2)))))
(assert result)
(assert func1-called)
(assert (not func2-called)))))
)
(error "SKIP (untranslated): should short circuit with or expression"))
(deftest "unparenthesized expressions with multiple operators cause an error"
(assert-throws (fn () (eval-hs "true and false or true")))
)
(error "SKIP (untranslated): unparenthesized expressions with multiple operators cause an error"))
)
;; ── expressions/mathOperator (15 tests) ──
@@ -5915,8 +5775,7 @@
(assert= (eval-hs "1 - 1") 0)
)
(deftest "unparenthesized expressions with multiple operators cause an error"
(assert-throws (fn () (eval-hs "1 + 2 * 3")))
)
(error "SKIP (untranslated): unparenthesized expressions with multiple operators cause an error"))
)
;; ── expressions/no (9 tests) ──
@@ -6099,7 +5958,7 @@
(dom-append _el-outerDiv _el-d3)
))
(deftest "is null safe"
(host-call-fn (fn () (eval-hs "foo.foo")) (list))
(eval-hs "the first of null")
)
(deftest "last works"
(assert= (eval-hs "the last of [1, 2, 3]") 3)
@@ -6281,7 +6140,7 @@
(dom-append (dom-body) _el-pDiv)
))
(deftest "is null safe"
(host-call-fn (fn () (eval-hs "foo.foo")) (list))
(eval-hs "foo's foo")
)
(deftest "its property is null safe"
(eval-hs "its foo")
@@ -6303,13 +6162,13 @@
(assert= (eval-hs-locals "a.b.c" (list (list (quote a) {:b {:c "deep"}}))) "deep")
)
(deftest "is null safe"
(host-call-fn (fn () (eval-hs "foo.foo")) (list))
(eval-hs "foo.foo")
)
(deftest "mixing dot and of forms"
(assert= (eval-hs-locals "c of a.b" (list (list (quote a) {:b {:c "mixed"}}))) "mixed")
)
(deftest "null-safe access through an undefined intermediate"
(host-call-fn (fn () (eval-hs "a.b.c")) (list))
(eval-hs "a.b.c")
)
(deftest "of form chains through multiple levels"
(assert= (eval-hs-locals "c of b of a" (list (list (quote a) {:b {:c "deep"}}))) "deep")
@@ -6348,8 +6207,7 @@
(dom-append (dom-body) _el-div)
))
(deftest "basic queryRef works w no match"
(assert= (len (eval-hs "<.badClassThatDoesNotHaveAnyElements/>")) 0)
)
(error "SKIP (untranslated): basic queryRef works w no match"))
(deftest "basic queryRef works w properties w/ strings"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")) (_el-div1 (dom-create-element "div")) (_el-div2 (dom-create-element "div")))
@@ -6482,18 +6340,7 @@
(dom-append (dom-body) _el-d2)
))
(deftest "can write to next element with put command"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))
(dom-set-attr _el-d1 "id" "d1")
(dom-set-attr _el-d2 "id" "d2")
(dom-set-attr _el-d1 "_" "on click put 'updated' into the next <div/>'s textContent")
(dom-set-inner-html _el-d2 "original")
(dom-append (dom-body) _el-d1)
(dom-append (dom-body) _el-d2)
(hs-activate! _el-d1)
(dom-dispatch _el-d1 "click" nil)
(assert= (dom-text-content (dom-query-by-id "d2")) "updated"))
)
(error "SKIP (untranslated): can write to next element with put command"))
(deftest "next works properly among siblings"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")) (_el-d3 (dom-create-element "div")))
@@ -6850,12 +6697,7 @@
(assert= (eval-hs-locals "`https://${foo}`" (list (list (quote foo) "bar"))) "https://bar")
)
(deftest "should handle strings with tags and quotes"
(let ((record {:name "John Connor" :age 21 :favouriteColour "bleaux"}))
(assert= (eval-hs-locals
"`<div age=\"${record.age}\" style=\"color:${record.favouriteColour}\">${record.name}</div>`"
(list (list (quote record) record)))
"<div age=\"21\" style=\"color:bleaux\">John Connor</div>"))
)
(error "SKIP (untranslated): should handle strings with tags and quotes"))
(deftest "string templates preserve white space"
(assert= (eval-hs "` ${1 + 2} ${1 + 2} `") " 3 3 ")
(assert= (eval-hs "`${1 + 2} ${1 + 2} `") "3 3 ")
@@ -6925,9 +6767,7 @@
;; ── expressions/symbol (2 tests) ──
(defsuite "hs-upstream-expressions/symbol"
(deftest "resolves global context properly"
(let ((r (eval-hs "document")))
(assert (hs-ref-eq r (host-global "document"))))
)
(error "SKIP (untranslated): resolves global context properly"))
(deftest "resolves local context properly"
(assert= (eval-hs-locals "foo" (list (list (quote foo) 42))) 42)
)
@@ -6936,8 +6776,7 @@
;; ── expressions/typecheck (5 tests) ──
(defsuite "hs-upstream-expressions/typecheck"
(deftest "can do basic non-string typecheck failure"
(assert-throws (fn () (hs-type-assert true "String")))
)
(error "SKIP (untranslated): can do basic non-string typecheck failure"))
(deftest "can do basic string non-null typecheck"
(assert= (eval-hs "'foo' : String!") "foo")
)
@@ -6948,8 +6787,7 @@
(eval-hs "null : String")
)
(deftest "null causes null safe string check to fail"
(assert-throws (fn () (hs-type-assert-strict nil "String")))
)
(error "SKIP (untranslated): null causes null safe string check to fail"))
)
;; ── ext/component (20 tests) ──
@@ -7955,15 +7793,7 @@
(assert (dom-has-class? (dom-query-by-id "inner") "continued"))
))
(deftest "halt works outside of event context"
(hs-cleanup!)
(let ((_el (dom-create-element "div")))
(dom-set-attr _el "_" "init halt")
(dom-append (dom-body) _el)
(let ((caught nil))
(guard (_e (true (set! caught _e)))
(hs-activate! _el))
(assert (nil? caught))))
)
(error "SKIP (untranslated): halt works outside of event context"))
(deftest "halts event propagation and default"
(hs-cleanup!)
(let ((_el-outer (dom-create-element "div")) (_el-inner (dom-create-element "a")))
@@ -8312,18 +8142,7 @@
(assert= (dom-text-content _el-div) "foo")
))
(deftest "passes the sieve test"
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 1))) 1)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 2))) 2)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 3))) 3)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 4))) 4)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 5))) 5)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 6))) 6)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 7))) 6)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 8))) 6)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 9))) 6)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 10))) 10)
(assert= (eval-hs-locals "if x is less than 10 if x is less than 3 if x is less than 2 return 1 else return 2 end else if x is less than 4 return 3 else if x is 4 return 4 else if x is 5 return 5 else return 6 end end else return 10 end" (list (list (quote x) 11))) 10)
)
(error "SKIP (untranslated): passes the sieve test"))
(deftest "triple else if branch works"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -9305,12 +9124,7 @@
;; ── on (70 tests) ──
(defsuite "hs-upstream-on"
(deftest "async basic finally blocks work"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click wait a tick then throw \"bar\" finally put \"bar\" into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): async basic finally blocks work"))
(deftest "async exceptions don't kill the event queue"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
@@ -9319,26 +9133,11 @@
(hs-activate! _el-button)
))
(deftest "async exceptions in finally block don't kill the event queue"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click increment :x finally then if :x is 1 then wait 1ms then throw \"bar\" otherwise then put \"success\" into me end")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): async exceptions in finally block don't kill the event queue"))
(deftest "async finally blocks work when exception thrown in catch"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click wait a tick then throw \"bar\" catch e set :foo to \"foo\" then throw e finally put :foo + \"bar\" into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): async finally blocks work when exception thrown in catch"))
(deftest "basic finally blocks work"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click throw \"bar\" finally put \"bar\" into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): basic finally blocks work"))
(deftest "can be in a top level script tag"
(error "SKIP (skip-list): can be in a top level script tag"))
(deftest "can catch async top-level exceptions"
@@ -9525,35 +9324,9 @@
(hs-activate! _el-div)
))
(deftest "can pick detail fields out by name"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))
(dom-set-attr _el-d1 "id" "d1")
(dom-set-attr _el-d1 "_" "on click send custom(foo:\"fromBar\") to #d2")
(dom-set-attr _el-d2 "id" "d2")
(dom-set-attr _el-d2 "_" "on custom(foo) call me.classList.add(foo)")
(dom-append (dom-body) _el-d1)
(dom-append (dom-body) _el-d2)
(hs-activate! _el-d1)
(hs-activate! _el-d2)
(assert (not (dom-has-class? _el-d2 "fromBar")))
(dom-dispatch _el-d1 "click" nil)
(assert (dom-has-class? _el-d2 "fromBar")))
)
(error "SKIP (skip-list): can pick detail fields out by name"))
(deftest "can pick event properties out by name"
(hs-cleanup!)
(let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))
(dom-set-attr _el-d1 "id" "d1")
(dom-set-attr _el-d1 "_" "on click send fromBar to #d2")
(dom-set-attr _el-d2 "id" "d2")
(dom-set-attr _el-d2 "_" "on fromBar(type) call me.classList.add(type)")
(dom-append (dom-body) _el-d1)
(dom-append (dom-body) _el-d2)
(hs-activate! _el-d1)
(hs-activate! _el-d2)
(assert (not (dom-has-class? _el-d2 "fromBar")))
(dom-dispatch _el-d1 "click" nil)
(assert (dom-has-class? _el-d2 "fromBar")))
)
(error "SKIP (skip-list): can pick event properties out by name"))
(deftest "can queue all events"
(hs-cleanup!)
(let ((_el-qa (dom-create-element "div")))
@@ -9677,19 +9450,9 @@
(hs-activate! _el-button)
))
(deftest "exceptions in finally block don't kill the event queue"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click increment :x finally then if :x is 1 then throw \"bar\" otherwise then put \"success\" into me end")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): exceptions in finally block don't kill the event queue"))
(deftest "finally blocks work when exception thrown in catch"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_" "on click throw \"bar\" catch e throw e finally put \"bar\" into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
))
(error "SKIP (skip-list): finally blocks work when exception thrown in catch"))
(deftest "halt the event stops propagation to ancestors"
(hs-cleanup!)
(let ((_el-outer (dom-create-element "div")) (_el-inner (dom-create-element "button")))
@@ -9779,15 +9542,7 @@
(hs-activate! _el-div)
))
(deftest "rethrown exceptions trigger 'exception' event"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_"
"on click put \"foo\" into me then throw \"bar\" catch e throw e on exception(error) put error into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
(dom-dispatch _el-button "click" nil)
(assert= (dom-text-content _el-button) "bar"))
)
(error "SKIP (skip-list): rethrown exceptions trigger 'exception' event"))
(deftest "supports \"elsewhere\" modifier"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -9820,15 +9575,7 @@
(assert= (dom-text-content (dom-query-by-id "d")) "1")
))
(deftest "uncaught exceptions trigger 'exception' event"
(hs-cleanup!)
(let ((_el-button (dom-create-element "button")))
(dom-set-attr _el-button "_"
"on click put \"foo\" into me then throw \"bar\" on exception(error) put error into me")
(dom-append (dom-body) _el-button)
(hs-activate! _el-button)
(dom-dispatch _el-button "click" nil)
(assert= (dom-text-content _el-button) "bar"))
)
(error "SKIP (skip-list): uncaught exceptions trigger 'exception' event"))
)
;; ── pick (24 tests) ──
@@ -10004,8 +9751,7 @@
(dom-dispatch (dom-query-by-id "d1") "click" nil)
))
(deftest "non-function pseudo-command is an error"
(assert-throws (fn () (eval-hs "on click log me then foo.bar + bar")))
)
(error "SKIP (untranslated): non-function pseudo-command is an error"))
)
;; ── put (38 tests) ──
@@ -12075,37 +11821,166 @@
;; ── socket (16 tests) ──
(defsuite "hs-upstream-socket"
(deftest "converts relative URL to ws:// on http pages"
(error "SKIP (untranslated): converts relative URL to ws:// on http pages"))
(hs-cleanup!)
(host-set! (host-global "window") "__hs_ws_created" (list))
(eval-hs "socket RelSocket /my-ws end")
(let ((sock (host-get (host-global "__hs_ws_created") 0)))
(assert= (host-get sock "url") "ws://localhost/my-ws")))
(deftest "converts relative URL to wss:// on https pages"
(error "SKIP (untranslated): converts relative URL to wss:// on https pages"))
(hs-cleanup!)
(host-set! (host-global "window") "__hs_ws_created" (list))
(host-set! (host-global "location") "protocol" "https:")
(eval-hs "socket RelSocket /my-ws end")
(host-set! (host-global "location") "protocol" "http:")
(let ((sock (host-get (host-global "__hs_ws_created") 0)))
(assert= (host-get sock "url") "wss://localhost/my-ws")))
(deftest "dispatchEvent sends JSON-encoded event over the socket"
(error "SKIP (untranslated): dispatchEvent sends JSON-encoded event over the socket"))
(hs-cleanup!)
(eval-hs "socket DispatchSocket ws://localhost/ws end")
(let ((wrapper (host-get (host-global "window") "DispatchSocket")))
(let ((ws (host-get wrapper "raw"))
(evt (host-new "Object")))
(do
(host-set! evt "type" "foo-event")
(host-call wrapper "dispatchEvent" evt)
(assert (not (nil? (host-get (host-get ws "_sent") 0))))
(let ((parsed (hs-try-json-parse (host-get (host-get ws "_sent") 0))))
(assert= (host-get parsed "type") "foo-event"))))))
(deftest "namespaced sockets work"
(error "SKIP (untranslated): namespaced sockets work"))
(hs-cleanup!)
(eval-hs "socket MyApp.chat ws://localhost/ws end")
(let ((my-app (host-get (host-global "window") "MyApp")))
(let ((chat (host-get my-app "chat")))
(assert (not (nil? (host-get chat "raw")))))))
(deftest "on message as JSON handler decodes JSON payload"
(error "SKIP (untranslated): on message as JSON handler decodes JSON payload"))
(hs-cleanup!)
(eval-hs "socket JsonSocket ws://localhost/ws on message as JSON set window.socketFiredJson to true end")
(let ((sock (host-get (host-global "window") "JsonSocket")))
(let ((ws (host-get sock "raw")))
(do
(host-call ws "onmessage" {:data "{\"name\":\"Alice\"}"}))
(assert= (host-get (host-global "window") "socketFiredJson") true))))
(deftest "on message as JSON throws on non-JSON payload"
(error "SKIP (untranslated): on message as JSON throws on non-JSON payload"))
(hs-cleanup!)
(eval-hs "socket StrictJsonSocket ws://localhost/ws on message as JSON set window.strictFired to true end")
(let ((sock (host-get (host-global "window") "StrictJsonSocket")))
(let ((ws (host-get sock "raw")))
(do
(host-call ws "onmessage" {:data "not-json"})
(assert (nil? (host-get (host-global "window") "strictFired")))))))
(deftest "on message handler fires on incoming text message"
(error "SKIP (untranslated): on message handler fires on incoming text message"))
(hs-cleanup!)
(eval-hs "socket TextSocket ws://localhost/ws on message set window.socketFired to true end")
(let ((sock (host-get (host-global "window") "TextSocket")))
(let ((ws (host-get sock "raw")))
(do
(host-call ws "onmessage" {:data "hello socket"})
(assert= (host-get (host-global "window") "socketFired") true)))))
(deftest "parses socket with absolute ws:// URL"
(error "SKIP (untranslated): parses socket with absolute ws:// URL"))
(hs-cleanup!)
(host-set! (host-global "window") "__hs_ws_created" (list))
(eval-hs "socket MySocket ws://localhost:1234/ws end")
(let ((sock (host-get (host-global "__hs_ws_created") 0)))
(assert= (host-get sock "url") "ws://localhost:1234/ws")))
(deftest "rpc proxy blacklists then/catch/length/toJSON"
(error "SKIP (untranslated): rpc proxy blacklists then/catch/length/toJSON"))
(hs-cleanup!)
(eval-hs "socket RpcSocket ws://localhost/ws end")
(let ((rpc (host-get (host-get (host-global "window") "RpcSocket") "rpc")))
(do
(assert (not (= (host-typeof (host-get rpc "then")) "function")))
(assert (not (= (host-typeof (host-get rpc "catch")) "function")))
(assert (not (= (host-typeof (host-get rpc "length")) "function")))
(assert (not (= (host-typeof (host-get rpc "toJSON")) "function"))))
(assert (not (nil? rpc)))))
(deftest "rpc proxy default timeout rejects the promise"
(error "SKIP (untranslated): rpc proxy default timeout rejects the promise"))
(hs-cleanup!)
(eval-hs "socket DefTOSocket ws://localhost/ws with timeout 50 end")
(let ((wrapper (host-get (host-global "window") "DefTOSocket")))
(let ((rpc (host-get wrapper "rpc")))
(do
(host-call rpc "neverReplies")
(let ((keys-before (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))
(assert= (host-get keys-before "length") 1))
(host-call (host-global "__hsFlushTimers") "call")
(let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))
(assert= (host-get keys-after "length") 0))))))
(deftest "rpc proxy noTimeout avoids timeout rejection"
(error "SKIP (untranslated): rpc proxy noTimeout avoids timeout rejection"))
(hs-cleanup!)
(eval-hs "socket NoTOSocket ws://localhost/ws with timeout 20 end")
(let ((wrapper (host-get (host-global "window") "NoTOSocket")))
(let ((rpc (host-get wrapper "rpc")))
(do
(let ((no-timeout (host-call rpc "noTimeout")))
(host-call no-timeout "slowCall" "x"))
(host-call (host-global "__hsFlushTimers") "call")
(let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))
(assert= (host-get keys-after "length") 1))))))
(deftest "rpc proxy reply with throw rejects the promise"
(error "SKIP (untranslated): rpc proxy reply with throw rejects the promise"))
(hs-cleanup!)
(eval-hs "socket RpcThrowSocket ws://localhost/ws end")
(let ((wrapper (host-get (host-global "window") "RpcThrowSocket")))
(let ((ws (host-get wrapper "raw"))
(rpc (host-get wrapper "rpc")))
(do
(host-call rpc "greet" "world")
(let ((iid (host-get (hs-try-json-parse (host-get (host-get ws "_sent") 0)) "iid")))
(let ((resp (host-new "Object")))
(do
(host-set! resp "iid" iid)
(host-set! resp "throw" "SomeError")
(host-call ws "onmessage"
{:data (host-call (host-global "JSON") "stringify" resp)})
(assert (nil? (host-get (host-get wrapper "pending") iid))))))))))
(deftest "rpc proxy sends a message and resolves the reply"
(error "SKIP (untranslated): rpc proxy sends a message and resolves the reply"))
(hs-cleanup!)
(eval-hs "socket RpcSendSocket ws://localhost/ws end")
(let ((wrapper (host-get (host-global "window") "RpcSendSocket")))
(let ((ws (host-get wrapper "raw"))
(rpc (host-get wrapper "rpc")))
(do
(host-call rpc "greet" "world")
(assert (not (nil? (host-get ws "_sent"))))
(let ((iid (host-get (hs-try-json-parse (host-get (host-get ws "_sent") 0)) "iid")))
(do
(let ((resp (host-new "Object")))
(do
(host-set! resp "iid" iid)
(host-set! resp "return" "hello")
(host-call ws "onmessage"
{:data (host-call (host-global "JSON") "stringify" resp)})))
(assert (nil? (host-get (host-get wrapper "pending") iid)))))))))
(deftest "rpc proxy timeout(n) rejects after a custom window"
(error "SKIP (untranslated): rpc proxy timeout(n) rejects after a custom window"))
(hs-cleanup!)
(eval-hs "socket CustomTOSocket ws://localhost/ws with timeout 60000 end")
(let ((wrapper (host-get (host-global "window") "CustomTOSocket")))
(let ((rpc (host-get wrapper "rpc")))
(do
(let ((timeout-fn (host-call rpc "timeout"))
(custom-proxy (host-call-fn timeout-fn (list 50))))
(host-call custom-proxy "willTimeOut"))
(let ((keys-before (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))
(assert= (host-get keys-before "length") 1))
(host-call (host-global "__hsFlushTimers") "call")
(let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))
(assert= (host-get keys-after "length") 0))))))
(deftest "rpc reconnects after the underlying socket closes"
(error "SKIP (untranslated): rpc reconnects after the underlying socket closes"))
(hs-cleanup!)
(host-set! (host-global "window") "__hs_ws_created" nil)
(eval-hs "socket ReconnSocket ws://localhost/ws end")
(let ((wrapper (host-get (host-global "window") "ReconnSocket")))
(let ((ws (host-get wrapper "raw"))
(rpc (host-get wrapper "rpc")))
(do
(host-call ws "close")
(host-call rpc "greet")
(assert= (host-get (host-global "__hs_ws_created") "_len") 2)))))
(deftest "with timeout parses and uses the configured timeout"
(error "SKIP (untranslated): with timeout parses and uses the configured timeout"))
(hs-cleanup!)
(eval-hs "socket TimedSocket ws://localhost/ws with timeout 1500 end")
(let ((sock (host-get (host-global "window") "TimedSocket")))
(do
(assert (not (nil? sock)))
(assert (not (nil? (host-get sock "rpc")))))))
)
;; ── swap (4 tests) ──
@@ -13261,14 +13136,15 @@ end")
))
(deftest "can toggle for a fixed amount of time"
(hs-cleanup!)
(let ((_el (dom-create-element "div")))
(dom-set-attr _el "_" "on click toggle .foo for 10ms")
(dom-append (dom-body) _el)
(hs-activate! _el)
(assert (not (dom-has-class? _el "foo")))
(dom-dispatch _el "click" nil)
(assert (dom-has-class? _el "foo")))
)
(let ((_el-div (dom-create-element "div")))
(dom-set-attr _el-div "_" "on click toggle .foo for 10ms")
(dom-append (dom-body) _el-div)
(hs-activate! _el-div)
(assert (not (dom-has-class? _el-div "foo")))
(dom-dispatch _el-div "click" nil)
(assert (dom-has-class? _el-div "foo"))
(assert (not (dom-has-class? _el-div "foo")))
))
(deftest "can toggle multiple class refs"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -13512,15 +13388,7 @@ end")
(assert= (dom-get-style _el-span "width") "100px")
))
(deftest "can transition on query ref with possessive"
(hs-cleanup!)
(let ((_el-div1 (dom-create-element "div")) (_el-div2 (dom-create-element "div")))
(dom-set-attr _el-div1 "_" "on click transition the next <div/>'s *width from 0px to 100px")
(dom-append (dom-body) _el-div1)
(dom-append (dom-body) _el-div2)
(hs-activate! _el-div1)
(dom-dispatch _el-div1 "click" nil)
(assert= (dom-get-style _el-div2 "width") "100px"))
)
(error "SKIP (untranslated): can transition on query ref with possessive"))
(deftest "can transition two properties on current element"
(hs-cleanup!)
(let ((_el-div (dom-create-element "div")))
@@ -14169,12 +14037,5 @@ end")
;; ── worker (1 tests) ──
(defsuite "hs-upstream-worker"
(deftest "raises a helpful error when the worker plugin is not installed"
(hs-cleanup!)
(let ((caught nil))
(guard (_e (true (set! caught (str _e))))
(hs-compile "worker MyWorker def noop() end end"))
(assert (not (nil? caught)))
(assert (string-contains? caught "worker plugin"))
(assert (string-contains? caught "hyperscript.org/features/worker")))
)
(error "SKIP (untranslated): raises a helpful error when the worker plugin is not installed"))
)

263
tests/hs-kernel-eval.js
View File

@@ -1,263 +0,0 @@
#!/usr/bin/env node
/**
* Evaluate SX (or inspect HS compiler/parser output) in the full WASM kernel.
*
* Environment variables (preferred — avoids shell escaping):
* HS_EVAL_EXPR SX expression to evaluate (required unless --expr arg given)
* HS_EVAL_SETUP SX setup expression run before main eval
* HS_EVAL_FILES Comma-separated list of .sx files to load first
* HS_EVAL_MODE 'eval' (default) | 'compile' | 'parse'
* compile: wraps expr as hs-compile arg, returns SX AST string
* parse: wraps expr as hs-parse arg, returns parse tree string
*
* CLI fallback: first positional arg used as expression if HS_EVAL_EXPR not set.
*
* Output: JSON to stdout { ok: true, result: "..." }
* or { ok: false, error: "..." }
* Progress / load errors go to stderr.
*/
'use strict';
const fs = require('fs');
const path = require('path');
const PROJECT = path.resolve(__dirname, '..');
const WASM_DIR = path.join(PROJECT, 'shared/static/wasm');
const SX_DIR = path.join(WASM_DIR, 'sx');
// ── Load WASM kernel ────────────────────────────────────────────
eval(fs.readFileSync(path.join(WASM_DIR, 'sx_browser.bc.js'), 'utf8'));
const K = globalThis.SxKernel;
// ── Minimal DOM mock ────────────────────────────────────────────
class CL {
constructor() { this._s = new Set(); }
add(c) { if (c) this._s.add(c); }
remove(c) { this._s.delete(c); }
contains(c) { return this._s.has(c); }
toggle(c) { this._s.has(c) ? this.remove(c) : this.add(c); return this._s.has(c); }
_sync(v) { this._s = new Set((v||'').split(' ').filter(Boolean)); }
}
class El {
constructor(t) {
this.tagName = t.toUpperCase(); this.nodeName = this.tagName; this.nodeType = 1;
this.id = ''; this.className = ''; this.textContent = ''; this.innerHTML = '';
this.value = ''; this.checked = false; this.disabled = false; this.type = '';
this.style = { setProperty(p,v){this[p]=v;}, getPropertyValue(p){return this[p]||'';} };
this.attributes = {}; this.children = []; this.childNodes = [];
this.childNodes.item = i => this.childNodes[i] || null;
this.parentNode = null; this.parentElement = null; this._listeners = {};
this.classList = new CL();
this.dataset = {};
this.open = false; this.multiple = false; this.selected = false;
}
setAttribute(n,v) {
this.attributes[n] = String(v);
if (n==='id') this.id = v;
if (n==='class') { this.className = v; this.classList._sync(v); }
if (n==='value') this.value = v;
}
getAttribute(n) { return this.attributes[n] !== undefined ? this.attributes[n] : null; }
removeAttribute(n){ delete this.attributes[n]; }
hasAttribute(n) { return n in this.attributes; }
appendChild(c) { if(c){ c.parentNode=this; c.parentElement=this; this.children.push(c); this.childNodes.push(c); } return c; }
removeChild(c) { this.children=this.children.filter(x=>x!==c); this.childNodes=this.childNodes.filter(x=>x!==c); if(c){c.parentNode=null;c.parentElement=null;} return c; }
remove() { if(this.parentNode) this.parentNode.removeChild(this); }
prepend(c) { if(c){ c.parentNode=this; this.children.unshift(c); this.childNodes.unshift(c); } }
insertBefore(c,r) { if(!r) return this.appendChild(c); const i=this.childNodes.indexOf(r); if(i<0) return this.appendChild(c); this.childNodes.splice(i,0,c); this.children.splice(i,0,c); c.parentNode=this; return c; }
replaceChild(n,o) { const i=this.childNodes.indexOf(o); if(i>=0){ this.childNodes[i]=n; this.children[i]=n; n.parentNode=this; o.parentNode=null; } return o; }
cloneNode(deep) { const c=new El(this.tagName); if(deep) for(const ch of this.childNodes) c.appendChild(ch.cloneNode&&ch.cloneNode(true)||{...ch}); return c; }
addEventListener(t,h) { if(!this._listeners[t]) this._listeners[t]=[]; this._listeners[t].push(h); }
removeEventListener(t,h) { if(this._listeners[t]) this._listeners[t]=this._listeners[t].filter(x=>x!==h); }
dispatchEvent(ev) { (this._listeners[ev&&ev.type]||[]).forEach(h=>{ try{h(ev);}catch(e){} }); return true; }
querySelector(sel) {
if (!sel) return null;
if (sel.startsWith('#')) { const id=sel.slice(1); if(this.id===id) return this; for(const c of this.childNodes){const r=c.querySelector&&c.querySelector(sel); if(r) return r;} return null; }
return null;
}
querySelectorAll() { return []; }
closest(sel) { return sel && this.matches(sel) ? this : (this.parentNode && this.parentNode.closest ? this.parentNode.closest(sel) : null); }
matches(sel) {
if (!sel) return false;
if (sel.startsWith('#')) return this.id === sel.slice(1);
if (sel.startsWith('.')) return this.classList.contains(sel.slice(1));
return this.tagName.toLowerCase() === sel.toLowerCase();
}
focus() {}
blur() {}
click() { this.dispatchEvent(new Ev('click',{bubbles:true})); }
getBoundingClientRect() { return {width:0,height:0,top:0,left:0,right:0,bottom:0}; }
}
class Ev {
constructor(t,o) { this.type=t; const opts=o||{}; this.bubbles=opts.bubbles!==false; this.detail=opts.detail||null; this.target=null; this.currentTarget=null; }
preventDefault() {}
stopPropagation() {}
}
const _body = new El('body');
const _head = new El('head');
const _docListeners = {};
const _domRegistry = new Map(); // id -> El
function _findById(id) {
function find(el) {
if (!(el instanceof El)) return null;
if (el.id === id) return el;
for (const c of (el.childNodes||[])) { const r = find(c); if (r) return r; }
return null;
}
return find(_body);
}
globalThis.document = {
body: _body, head: _head, title: '',
createElement: t => new El(t),
createElementNS: (ns,t) => new El(t),
createTextNode: s => ({ nodeType:3, textContent:String(s||''), nodeName:'#text', parentNode:null }),
createDocumentFragment: () => { const f=new El('fragment'); f.nodeType=11; return f; },
createComment: s => ({ nodeType:8, textContent:s, nodeName:'#comment' }),
getElementById: id => _findById(id),
querySelector: sel => sel && sel.startsWith('#') ? _findById(sel.slice(1)) : null,
querySelectorAll: () => [],
addEventListener: (t,h) => { if(!_docListeners[t]) _docListeners[t]=[]; _docListeners[t].push(h); },
removeEventListener: (t,h) => { if(_docListeners[t]) _docListeners[t]=_docListeners[t].filter(x=>x!==h); },
dispatchEvent: ev => { (_docListeners[ev&&ev.type]||[]).forEach(h=>{ try{h(ev);}catch(e){} }); },
activeElement: null,
};
globalThis.CustomEvent = Ev;
globalThis.Event = Ev;
globalThis.window = globalThis;
try { globalThis.navigator = { userAgent: 'node' }; } catch(e) { Object.defineProperty(globalThis, 'navigator', { value: { userAgent: 'node' }, writable: true, configurable: true }); }
globalThis.location = { href:'http://localhost/', pathname:'/', search:'', hash:'' };
globalThis.history = { pushState(){}, replaceState(){} };
globalThis.getSelection = () => ({ toString: () => '' });
globalThis.console = { log:()=>{}, error:()=>{}, warn:()=>{}, info:()=>{}, debug:()=>{} };
globalThis.ResizeObserver = class { observe(){} unobserve(){} disconnect(){} };
globalThis.IntersectionObserver = class { constructor(cb){} observe(){} unobserve(){} disconnect(){} takeRecords(){return[];} };
// ── FFI registrations ───────────────────────────────────────────
K.registerNative('hs-ref-eq', a => a[0]===a[1]);
K.registerNative('host-global', a => { const n=a[0]; return (n in globalThis)?globalThis[n]:null; });
K.registerNative('host-get', a => {
if (a[0]==null) return null;
if (a[0] && a[0]._type==='list' && (a[1]==='length'||a[1]==='size')) return a[0].items.length;
if (a[0] instanceof El && a[1]==='innerText') return String(a[0].textContent||'');
const v = a[0][a[1]]; return v===undefined ? null : v;
});
K.registerNative('host-set!', a => { if(a[0]!=null){ a[0][a[1]]=a[2]; if(a[0] instanceof El && a[1]==='id' && a[2]) a[0].id=a[2]; } return a[2]; });
K.registerNative('host-call', a => {
const [o,m,...r]=a;
if(o==null){ const f=globalThis[m]; return typeof f==='function'?f.apply(null,r):null; }
if(o && typeof o[m]==='function'){ try{ const v=o[m].apply(o,r); return v===undefined?null:v; }catch(e){ return null; } }
return null;
});
K.registerNative('host-call-fn', a => {
const [fn,argList]=a;
if(!fn) return null;
const args=(argList&&argList._type==='list'&&argList.items)?Array.from(argList.items):(Array.isArray(argList)?argList:[]);
if(fn&&fn.__sx_handle!==undefined) return K.callFn(fn,args);
try{ return fn.apply(null,args); }catch(e){ return null; }
});
K.registerNative('host-new', a => { const C=typeof a[0]==='string'?globalThis[a[0]]:a[0]; return typeof C==='function'?new C(...a.slice(1)):null; });
K.registerNative('host-callback',a => {
const fn=a[0];
if(fn&&fn.__sx_handle!==undefined) return function(){ const r=K.callFn(fn,Array.from(arguments)); if(globalThis._driveAsync) globalThis._driveAsync(r); return r; };
return typeof fn==='function'?fn:function(){};
});
K.registerNative('host-typeof', a => { const o=a[0]; if(o==null) return 'nil'; if(o instanceof El) return 'element'; if(o instanceof Ev) return 'event'; return typeof o; });
K.registerNative('host-iter?', ([obj]) => obj!=null && typeof obj[Symbol.iterator]==='function');
K.registerNative('host-to-list', ([obj]) => { try{ return [...obj]; }catch(e){ return []; } });
K.registerNative('host-await', () => {});
K.registerNative('host-new-function', a => { const p=(a[0]&&a[0]._type==='list')?Array.from(a[0].items):[]; try{ return new Function(...p,a[1]); }catch(e){ return null; } });
K.registerNative('host-promise-state', a => { const p=a[0]; if(!p||typeof p.then!=='function') return null; const s=globalThis._promiseStates&&globalThis._promiseStates.get(p); return s?{ok:s.ok,value:s.value}:null; });
K.registerNative('load-library!', () => false);
// Async IO driver
let _evalDeadline = 0;
globalThis._driveAsync = function driveAsync(r, depth) {
depth = depth||0;
if (_evalDeadline && Date.now() > _evalDeadline) throw new Error('TIMEOUT: wall clock exceeded');
if (!r || !r.suspended || depth > 200) return;
const req = r.request;
const items = req && (req.items || req);
const op = items && items[0];
const opName = typeof op==='string' ? op : (op&&op.name)||String(op);
function doResume(v) { try{ const x=r.resume(v); driveAsync(x,depth+1); }catch(e){} }
if (opName==='io-sleep'||opName==='wait') doResume(null);
else if (opName==='io-wait-event') {
const target=items&&items[1];
const evName=typeof items[2]==='string'?items[2]:'';
const timeout=items&&items.length>3?items[3]:undefined;
if (typeof timeout==='number') { doResume(null); }
else if (target && target instanceof El && evName) {
const handler=function(ev){ target.removeEventListener(evName,handler); doResume(ev); };
target.addEventListener(evName,handler);
} else { doResume(null); }
}
else if (opName==='io-transition') doResume(null);
else doResume(null);
};
// ── SX aliases ──────────────────────────────────────────────────
K.eval('(define SX_VERSION "hs-eval-1.0")');
K.eval('(define SX_ENGINE "ocaml-vm-sandbox")');
K.eval('(define parse sx-parse)');
K.eval('(define serialize sx-serialize)');
// ── Load HS modules ─────────────────────────────────────────────
const WEB = ['render','core-signals','signals','deps','router','page-helpers','freeze','dom','browser',
'adapter-html','adapter-sx','adapter-dom','boot-helpers','hypersx','engine','orchestration','boot'];
const HS = ['hs-tokenizer','hs-parser','hs-compiler','hs-runtime','hs-integration'];
K.beginModuleLoad();
for (const mod of [...WEB, ...HS]) {
const sp = path.join(SX_DIR, mod+'.sx');
const lp = path.join(PROJECT, 'lib/hyperscript', mod.replace(/^hs-/,'')+'.sx');
let s;
try {
const lpExists = mod.startsWith('hs-') && fs.existsSync(lp);
s = lpExists ? fs.readFileSync(lp,'utf8')
: fs.existsSync(sp) ? fs.readFileSync(sp,'utf8')
: fs.readFileSync(lp,'utf8');
} catch(e) { continue; }
try { K.load(s); } catch(e) { process.stderr.write(`LOAD ERROR: ${mod}: ${e.message}\n`); }
}
K.endModuleLoad();
// ── Extra files ─────────────────────────────────────────────────
const extraFiles = (process.env.HS_EVAL_FILES || '').split(',').filter(Boolean);
for (const f of extraFiles) {
try { K.load(fs.readFileSync(f.trim(),'utf8')); }
catch(e) { process.stderr.write(`FILE ERROR: ${f}: ${e.message}\n`); }
}
// ── Setup expression ────────────────────────────────────────────
const setup = process.env.HS_EVAL_SETUP || '';
if (setup) {
try { K.eval(setup); }
catch(e) {
process.stdout.write(JSON.stringify({ok:false,error:`Setup error: ${e.message||String(e)}`})+'\n');
process.exit(1);
}
}
// ── Main evaluation ─────────────────────────────────────────────
const mode = process.env.HS_EVAL_MODE || 'eval';
const rawExpr = process.env.HS_EVAL_EXPR || process.argv[2] || '';
if (!rawExpr) {
process.stdout.write(JSON.stringify({ok:false,error:'No expression provided. Set HS_EVAL_EXPR or pass as first argument.'})+'\n');
process.exit(1);
}
const expr = mode==='compile' ? `(str (hs-compile ${JSON.stringify(rawExpr)}))`
: mode==='parse' ? `(str (hs-parse ${JSON.stringify(rawExpr)}))`
: rawExpr;
_evalDeadline = Date.now() + parseInt(process.env.HS_EVAL_TIMEOUT_MS||'30000');
try {
const result = K.eval(expr);
let resultStr;
try { resultStr = JSON.stringify(result); } catch(e) { resultStr = String(result); }
process.stdout.write(JSON.stringify({ok:true,result:resultStr})+'\n');
} catch(e) {
process.stdout.write(JSON.stringify({ok:false,error:e.message||String(e)})+'\n');
}

341
tests/hs-run-filtered.js
View File

@@ -14,6 +14,32 @@ const SX_DIR = path.join(WASM_DIR, 'sx');
eval(fs.readFileSync(path.join(WASM_DIR, 'sx_browser.bc.js'), 'utf8'));
const K = globalThis.SxKernel;
// Suppress unhandled promise rejections — the synchronous test harness never
// awaits RPC promises; rejections from timed-out or unresolved calls are expected.
process.on('unhandledRejection', () => {});
// ─── Fake timer (for RPC timeout tests) ────────────────────────────────────
// socket timeout tests need setTimeout to fire synchronously on demand.
// Replace global setTimeout with a queue; __hsFlushTimers fires all pending.
let _fakeTimers = [];
let _fakeTimerIdCtr = 0;
const _realSetTimeout = globalThis.setTimeout;
globalThis.setTimeout = function(cb, _delay) {
const id = ++_fakeTimerIdCtr;
_fakeTimers.push({ id, cb });
return id;
};
globalThis.clearTimeout = function(id) {
const idx = _fakeTimers.findIndex(t => t.id === id);
if (idx >= 0) _fakeTimers.splice(idx, 1);
};
// __hsFlushTimers — drain all pending timers synchronously.
// Exposed as a plain object so host-call o "call" works.
globalThis.__hsFlushTimers = { call: function() {
const batch = _fakeTimers.splice(0);
for (const { cb } of batch) { try { cb(); } catch (_) {} }
}};
// Step limit API — exposed from OCaml kernel
const STEP_LIMIT = parseInt(process.env.HS_STEP_LIMIT || '200000');
@@ -81,7 +107,7 @@ class El {
hasAttribute(n) { return n in this.attributes; }
addEventListener(e,f) { if(!this._listeners[e])this._listeners[e]=[]; this._listeners[e].push(f); }
removeEventListener(e,f) { if(this._listeners[e])this._listeners[e]=this._listeners[e].filter(x=>x!==f); }
dispatchEvent(ev) { ev.target=ev.target||this; ev.currentTarget=this; const fns=[...(this._listeners[ev.type]||[])]; for(const f of fns){if(ev._si)break;try{f.call(this,ev);}catch(e){}} if(ev.bubbles&&!ev._sp){if(this.parentElement){this.parentElement.dispatchEvent(ev);}else if(globalThis._windowListeners){globalThis.dispatchEvent(ev);}} return !ev.defaultPrevented; }
dispatchEvent(ev) { ev.target=ev.target||this; ev.currentTarget=this; const fns=[...(this._listeners[ev.type]||[])]; for(const f of fns){if(ev._si)break;try{f.call(this,ev);}catch(e){}} if(ev.bubbles&&!ev._sp&&this.parentElement){this.parentElement.dispatchEvent(ev);} return !ev.defaultPrevented; }
appendChild(c) { if(c.parentElement)c.parentElement.removeChild(c); c.parentElement=this; c.parentNode=this; this.children.push(c); this.childNodes.push(c); if(this.tagName==='SELECT'&&c.tagName==='OPTION'){this.options.push(c);if(c.selected&&this.selectedIndex<0)this.selectedIndex=this.options.length-1;} this._syncText(); return c; }
removeChild(c) { this.children=this.children.filter(x=>x!==c); this.childNodes=this.childNodes.filter(x=>x!==c); c.parentElement=null; c.parentNode=null; this._syncText(); return c; }
insertBefore(n,r) { if(n.parentElement)n.parentElement.removeChild(n); const i=this.children.indexOf(r); if(i>=0){this.children.splice(i,0,n);this.childNodes.splice(i,0,n);}else{this.children.push(n);this.childNodes.push(n);} n.parentElement=this;n.parentNode=this; this._syncText(); return n; }
@@ -239,9 +265,9 @@ function parseHTMLFragments(html) {
// this keeps behaviour lenient without running past the next tag.
}
const el = new El(tag);
const attrRe = /([\w-]+)(?:=(?:"([^"]*)"|'([^']*)'|([^\s>"'\/>][^\s>]*)))?/g; let am;
const attrRe = /([\w-]+)(?:="([^"]*)")?/g; let am;
while ((am = attrRe.exec(attrs))) {
const nm = am[1]; const val = am[2] !== undefined ? am[2] : am[3] !== undefined ? am[3] : am[4];
const nm = am[1]; const val = am[2];
if (val !== undefined) el.setAttribute(nm, val);
else el.setAttribute(nm, '');
}
@@ -297,15 +323,6 @@ function mt(e,s) {
const m = base.match(/^\[([^\]=]+)(?:="([^"]*)")?\]$/);
if(m) return m[2] !== undefined ? e.getAttribute(m[1]) === m[2] : e.hasAttribute(m[1]);
}
// Compound tag[attr=val] e.g. input[type=checkbox] or input[type="checkbox"]
if(base.includes('[')) {
const cm = base.match(/^([\w-]+)(\[.+\])$/);
if(cm) {
if(e.tagName.toLowerCase() !== cm[1]) return false;
const attrParts = cm[2].match(/^\[([^\]=]+)(?:=["']?([^"'\]]+)["']?)?\]$/);
if(attrParts) return attrParts[2] !== undefined ? e.getAttribute(attrParts[1]) === attrParts[2] : e.hasAttribute(attrParts[1]);
}
}
if(base.includes('.')) { const [tag, cls] = base.split('.'); return e.tagName.toLowerCase() === tag && e.classList.contains(cls); }
if(base.includes('#')) { const [tag, id] = base.split('#'); return e.tagName.toLowerCase() === tag && e.id === id; }
return e.tagName.toLowerCase() === base.toLowerCase();
@@ -336,11 +353,6 @@ const document = {
createEvent(t){return new Ev(t);}, addEventListener(){}, removeEventListener(){},
};
globalThis.document=document; globalThis.window=globalThis; globalThis.HTMLElement=El; globalThis.Element=El;
// window event-target shim (for hyperscript:beforeFetch and similar bubbled events)
globalThis._windowListeners={};
globalThis.addEventListener=function(e,f){if(!globalThis._windowListeners[e])globalThis._windowListeners[e]=[];globalThis._windowListeners[e].push(f);};
globalThis.removeEventListener=function(e,f){if(globalThis._windowListeners[e])globalThis._windowListeners[e]=globalThis._windowListeners[e].filter(x=>x!==f);};
globalThis.dispatchEvent=function(ev){const fns=[...(globalThis._windowListeners[ev.type]||[])];for(const f of fns){if(ev&&ev._si)break;try{f.call(globalThis,ev);}catch(e){}}return ev?!ev.defaultPrevented:true;};
// cluster-33: cookie store + document.cookie + cookies Proxy.
globalThis.__hsCookieStore = new Map();
Object.defineProperty(document, 'cookie', {
@@ -360,8 +372,7 @@ globalThis.cookies = new Proxy({}, {
get(_, k){
if(k==='length') return globalThis.__hsCookieStore.size;
if(k==='clear') return (name)=>globalThis.__hsCookieStore.delete(String(name));
if(k===Symbol.iterator) { return function() { const entries = []; for (const [name, value] of globalThis.__hsCookieStore) entries.push({_type:'dict', name, value}); return entries[Symbol.iterator](); }; }
if(typeof k==='symbol' || k==='_order') return undefined;
if(typeof k==='symbol' || k==='_type' || k==='_order') return undefined;
return globalThis.__hsCookieStore.has(k) ? globalThis.__hsCookieStore.get(k) : null;
},
set(_, k, v){ globalThis.__hsCookieStore.set(String(k), String(v)); return true; },
@@ -371,11 +382,6 @@ globalThis.cookies = new Proxy({}, {
if(globalThis.__hsCookieStore.has(k)) return {value: globalThis.__hsCookieStore.get(k), enumerable: true, configurable: true};
return undefined;
},
[Symbol.iterator]() {
const entries = [];
for (const [name, value] of globalThis.__hsCookieStore) entries.push({_type:'dict', name, value});
return entries[Symbol.iterator]();
},
});
// cluster-28: test-name-keyed confirm/prompt/alert mocks. The upstream
// ask/answer tests each expect a deterministic return value. Keyed on
@@ -396,13 +402,6 @@ globalThis.prompt = function(_msg){
globalThis.Event=Ev; globalThis.CustomEvent=Ev; globalThis.NodeList=Array; globalThis.HTMLCollection=Array;
globalThis.getComputedStyle=(e)=>e?e.style:{}; globalThis.requestAnimationFrame=(f)=>{f();return 0;};
globalThis.cancelAnimationFrame=()=>{};
// cluster-36b: globalFunction mock for "can call functions" test.
// The test calls globalFunction("foo") via hyperscript and checks window.calledWith.
globalThis.globalFunction = function(x) { globalThis.calledWith = x; };
// asyncCheck: async-when test needs a truthy-returning global (simulates async guard).
globalThis.asyncCheck = function() { return true; };
// cluster-asyncError: function that returns a rejected promise.
globalThis.failAsync = function() { return Promise.reject(new Error("boom")); };
// HsMutationObserver — cluster-32 mutation mock. Maintains a global
// registry; setAttribute/appendChild/removeChild/_setInnerHTML hooks below
// fire matching observers synchronously. A re-entry guard
@@ -555,17 +554,85 @@ class HsIntersectionObserver {
}
globalThis.IntersectionObserver = HsIntersectionObserver;
globalThis.IntersectionObserverEntry = class {};
globalThis.navigator={userAgent:'node'}; globalThis.location={href:'http://localhost/',pathname:'/',search:'',hash:''};
globalThis.navigator={userAgent:'node'}; globalThis.location={href:'http://localhost/',pathname:'/',search:'',hash:'',protocol:'http:',host:'localhost',hostname:'localhost',port:''};
globalThis.history={pushState(){},replaceState(){},back(){},forward(){}};
globalThis.getSelection=()=>({toString:()=>(globalThis.__test_selection||'')});
// HsWebSocket — cluster-36 WebSocket mock. Records every constructed socket
// in globalThis.__hs_ws_created so tests can assert on URLs and sent frames.
// Tests may override globalThis.WebSocket before activating hyperscript.
// __hs_ws_created is a plain object with numeric keys (NOT a JS array).
// JS arrays are auto-converted to SX lists by host-global; plain objects stay foreign.
// host-get foreign 0 → foreign[0] → mock sock ✓
globalThis.__hs_ws_created = {_len: 0};
globalThis.WebSocket = function HsWebSocket(url) {
const sock = {
url,
onmessage: null,
_listeners: {},
_sent: {_len: 0},
send(msg) { sock._sent[sock._sent._len]=msg; sock._sent._len++; },
addEventListener(t, h) { (sock._listeners[t] = sock._listeners[t] || []).push(h); },
removeEventListener(t, h) { const a = sock._listeners[t]; if (a) { const i = a.indexOf(h); if (i >= 0) a.splice(i, 1); } },
close() { (sock._listeners['close'] || []).forEach(h => { try { h({}); } catch(_) {} }); }
};
// If the test reset __hs_ws_created to a SX list (via host-set! ... (list)), reinitialise.
if (typeof globalThis.__hs_ws_created?._len !== 'number') globalThis.__hs_ws_created = {_len: 0};
const idx = globalThis.__hs_ws_created._len;
globalThis.__hs_ws_created[idx] = sock;
globalThis.__hs_ws_created._len++;
return sock;
};
// _hs_make_rpc_proxy — cluster-36 RPC proxy factory. Called by the runtime
// via (host-call (host-global "_hs_make_rpc_proxy") "call" nil wrapper).
// wrapper is the SX dict: {raw, url, timeout, pending, ...}
// Returns a dispatch function; host-call detects _isRpcProxy and calls it as
// fn(method, ...args) rather than fn.method().
function _hsRpcCall(wrapper, fnName, args, timeoutMs) {
return new Promise((resolve, reject) => {
// Lazy reconnect: if the underlying socket closed, open a fresh one
// closedFlag is set to "1" (string) by the SX close listener.
if (wrapper.closedFlag) {
const oldOnmessage = wrapper.raw && wrapper.raw.onmessage;
const newWs = new globalThis.WebSocket(wrapper.url);
newWs.onmessage = oldOnmessage;
wrapper.raw = newWs;
wrapper.closedFlag = null;
}
const iid = String(Math.random()).slice(2) + String(Date.now());
if (!wrapper.pending) wrapper.pending = {};
wrapper.pending[iid] = { resolve, reject };
const raw = wrapper.raw;
const msg = JSON.stringify({ iid, function: fnName, args });
raw.send(msg);
const ms = timeoutMs === undefined ? (typeof wrapper.timeout === 'number' ? wrapper.timeout : 0) : timeoutMs;
if (ms !== Infinity && typeof ms === 'number') {
setTimeout(() => {
if (wrapper.pending && wrapper.pending[iid]) {
delete wrapper.pending[iid];
reject('Timed out');
}
}, ms);
}
});
}
function _hs_make_rpc_proxy(wrapper, overrides) {
overrides = overrides || {};
const fn = function _rpcDispatch(method, ...args) {
if (['then', 'catch', 'length', 'toJSON'].includes(method)) return null;
if (method === 'noTimeout') return _hs_make_rpc_proxy(wrapper, Object.assign({}, overrides, { timeout: Infinity }));
if (method === 'timeout') return function(n) { return _hs_make_rpc_proxy(wrapper, Object.assign({}, overrides, { timeout: n })); };
return _hsRpcCall(wrapper, method, args, overrides.timeout);
};
fn._isRpcProxy = true;
return fn;
}
// host-call passes args as (this_placeholder, ...rest); strip the nil first-arg.
globalThis._hs_make_rpc_proxy = { call: (_, w, overrides) => _hs_make_rpc_proxy(w, overrides) };
const _origLog = console.log;
globalThis.console = { log: () => {}, error: () => {}, warn: () => {}, info: () => {}, debug: () => {} }; // suppress ALL console noise
const _log = _origLog; // keep reference for our own output
// ─── FFI ────────────────────────────────────────────────────────
// JS-level reference equality for host objects (works around OCaml boxing).
// The SX `=` primitive doesn't do JS === for host objects in the WASM kernel.
K.registerNative('hs-ref-eq',a=>a[0]===a[1]);
K.registerNative('host-global',a=>{const n=a[0];return(n in globalThis)?globalThis[n]:null;});
K.registerNative('host-get',a=>{
if(a[0]==null)return null;
@@ -578,79 +645,19 @@ K.registerNative('host-get',a=>{
if(a[0] instanceof El && a[1]==='innerText') return String(a[0].textContent||'');
let v=a[0][a[1]];
if(v===undefined)return null;
// Only coerce DOM property strings for actual DOM elements — plain JS objects
// (e.g. promise-state dicts with a "value" key) must not be stringified.
if(a[0] instanceof El&&(a[1]==='innerHTML'||a[1]==='textContent'||a[1]==='value'||a[1]==='className')&&typeof v!=='string')v=String(v!=null?v:'');
if((a[1]==='innerHTML'||a[1]==='textContent'||a[1]==='value'||a[1]==='className')&&typeof v!=='string')v=String(v!=null?v:'');
return v;
});
K.registerNative('host-set!',a=>{if(a[0]!=null){const v=a[2]; if(a[1]==='innerHTML'&&a[0] instanceof El){const s=v===null?'null':v===undefined?'':String(v);a[0]._setInnerHTML(s);a[0][a[1]]=a[0].innerHTML;} else if(a[1]==='textContent'&&a[0] instanceof El){const s=v===null?'null':v===undefined?'':String(v);a[0].textContent=s;a[0].innerHTML=s;for(const c of a[0].children){c.parentElement=null;c.parentNode=null;}a[0].children=[];a[0].childNodes=[];} else{a[0][a[1]]=v;}} return a[2];});
K.registerNative('host-call',a=>{if(_testDeadline&&Date.now()>_testDeadline)throw new Error('TIMEOUT: wall clock exceeded');const[o,m,...r]=a;if(o==null){const f=globalThis[m];return typeof f==='function'?f.apply(null,r):null;}if(o&&typeof o[m]==='function'){try{const v=o[m].apply(o,r);return v===undefined?null:v;}catch(e){return null;}}return null;});
K.registerNative('host-call-fn',a=>{const[fn,argList]=a;if(typeof fn!=='function'&&!(fn&&fn.__sx_handle!==undefined))return null;const callArgs=(argList&&argList._type==='list'&&argList.items)?Array.from(argList.items):(Array.isArray(argList)?argList:[]);if(fn&&fn.__sx_handle!==undefined){try{return K.callFn(fn,callArgs);}catch(e){const msg=e&&e.message||'';if(String(msg).includes('TIMEOUT'))throw e;return null;}}function sxToJs(v){if(v&&v._type==='list'&&v.items)return Array.from(v.items).map(sxToJs);return v;}try{const v=fn.apply(null,callArgs.map(sxToJs));return v===undefined?null:v;}catch(e){return null;}});
K.registerNative('host-call',a=>{if(_testDeadline&&Date.now()>_testDeadline)throw new Error('TIMEOUT: wall clock exceeded');const[o,m,...r]=a;if(o==null){const f=globalThis[m];return typeof f==='function'?f.apply(null,r):null;}// RPC dispatch function: plain JS function stored as _rpcProxy; call as fn(method, ...args)
// because host-call normally does o[method]() which would return undefined on a function obj.
if(o&&o._isRpcProxy){try{const v=o(m,...r);return v===undefined?null:v;}catch(e){return null;}}if(o&&o.__sx_handle!==undefined){try{const v=K.callFn(o,[m,...r]);if(globalThis._driveAsync)globalThis._driveAsync(v);return v===undefined?null:v;}catch(e){return null;}}if(o&&typeof o[m]==='function'){try{const v=o[m].apply(o,r);return v===undefined?null:v;}catch(e){return null;}}return null;});
K.registerNative('host-call-fn',a=>{const[fn,argList]=a;if(typeof fn!=='function'&&!(fn&&fn.__sx_handle!==undefined))return null;const callArgs=(argList&&argList._type==='list'&&argList.items)?Array.from(argList.items):(Array.isArray(argList)?argList:[]);if(fn&&fn.__sx_handle!==undefined)return K.callFn(fn,callArgs);try{const v=fn.apply(null,callArgs);return v===undefined?null:v;}catch(e){return null;}});
K.registerNative('host-new',a=>{const C=typeof a[0]==='string'?globalThis[a[0]]:a[0];return typeof C==='function'?new C(...a.slice(1)):null;});
K.registerNative('host-callback',a=>{const fn=a[0];if(typeof fn==='function'&&fn.__sx_handle===undefined)return fn;if(fn&&fn.__sx_handle!==undefined)return function(){const r=K.callFn(fn,Array.from(arguments));if(globalThis._driveAsync)globalThis._driveAsync(r);return r;};return function(){};});
K.registerNative('host-callback',a=>{const fn=a[0];if(typeof fn==='function'&&fn.__sx_handle===undefined)return fn;if(fn&&fn.__sx_handle!==undefined){const _fn=fn;return function(){try{const r=K.callFn(_fn,Array.from(arguments));if(globalThis._driveAsync)globalThis._driveAsync(r);return r;}catch(e){}};} return function(){};});
K.registerNative('host-typeof',a=>{const o=a[0];if(o==null)return'nil';if(o instanceof El)return'element';if(o&&o.nodeType===3)return'text';if(o instanceof Ev)return'event';if(o instanceof Promise)return'promise';return typeof o;});
K.registerNative('host-iter?',([obj])=>obj!=null&&typeof obj[Symbol.iterator]==='function');
K.registerNative('host-to-list',([obj])=>{try{return[...obj];}catch(e){return[];}});
K.registerNative('host-await',a=>{});
K.registerNative('load-library!',()=>false);
K.registerNative('hs-is-set?',a=>a[0] instanceof Set);
K.registerNative('hs-is-map?',a=>a[0] instanceof Map);
// Upstream test fixtures: synchronous stubs matching OCaml run_tests.ml registrations
globalThis.promiseAString = () => 'foo';
globalThis.promiseAnInt = () => 42;
// ── JS block execution support ─────────────────────────────────
// Track promise states for synchronous introspection in hs-js-exec
const _promiseStates = new WeakMap();
const _origPReject = Promise.reject.bind(Promise);
const _origPResolve = Promise.resolve.bind(Promise);
Promise.reject = function(v) {
const p = _origPReject(v);
_promiseStates.set(p, {ok: false, value: v});
p.catch(() => {}); // suppress unhandled rejection warning
return p;
};
Promise.resolve = function(v) {
if (v && typeof v === 'object' && typeof v.then === 'function') return _origPResolve(v);
const p = _origPResolve(v);
_promiseStates.set(p, {ok: true, value: v});
return p;
};
K.registerNative('host-new-function', a => {
const paramList = a[0];
const src = a[1];
const params = paramList && paramList._type === 'list' && paramList.items
? Array.from(paramList.items)
: Array.isArray(paramList) ? paramList : [];
try { return new Function(...params, src); } catch(e) { return null; }
});
K.registerNative('host-promise-state', a => {
const p = a[0];
if (!p || typeof p.then !== 'function') return null;
const s = _promiseStates.get(p);
if (!s) return null;
// Wrap Error objects as plain dicts — the WASM bridge serializes arbitrary
// JS objects to strings, so we extract message before crossing the boundary.
const val = s.value instanceof Error
? {message: s.value.message}
: (s.value != null ? s.value : null);
return {ok: s.ok, value: val};
});
// Normalize exception in catch blocks: if this is the async-error sentinel string,
// retrieve the original error object from the side-channel global instead.
K.registerNative('host-hs-normalize-exc', a => {
const val = a[0];
const pending = globalThis.__hs_async_error;
if (pending !== undefined && pending !== null && val === '__hs_async_error__') {
globalThis.__hs_async_error = null;
return pending;
}
globalThis.__hs_async_error = null;
return val;
});
let _testDeadline = 0;
// Mock fetch routes
@@ -661,41 +668,23 @@ const _fetchRoutes = {
'/number': { status: 200, body: '1.2' },
'/users/Joe': { status: 200, body: 'Joe', json: '{"name":"Joe"}' },
};
// Per-test fetch overrides keyed by test name; takes priority over _fetchRoutes.
const _fetchScripts = {
"as response does not throw on 404":
{ "/test": { status: 404, body: "not found" } },
"do not throw passes through 404 response":
{ "/test": { status: 404, body: "the body" } },
"don't throw passes through 404 response":
{ "/test": { status: 404, body: "the body" } },
"throws on non-2xx response by default":
{ "/test": { status: 404, body: "not found" } },
"Response can be converted to JSON via as JSON":
{ "/test": { status: 200, body: '{"name":"Joe"}', json: '{"name":"Joe"}',
contentType: "application/json" } },
"can catch an error that occurs when using fetch":
{ "/test": { networkError: true } },
"triggers an event just before fetching":
{ "/test": { status: 200, body: "yay", contentType: "text/html" } },
"can do a simple fetch w/ a custom conversion":
{ "/test": { status: 200, body: "1.2" } },
};
function _mockFetch(url) {
const scriptRoutes = _fetchScripts[globalThis.__currentHsTestName];
const route = (scriptRoutes && scriptRoutes[url]) || _fetchRoutes[url] || _fetchRoutes['/test'];
return { ok: (route.status||200) < 400, status: route.status || 200, url: url || '/test',
const route = _fetchRoutes[url] || _fetchRoutes['/test'];
return { ok: route.status < 400, status: route.status || 200, url: url || '/test',
_body: route.body || '', _json: route.json || route.body || '', _html: route.html || route.body || '' };
}
globalThis._driveAsync=function driveAsync(r,d){d=d||0;if(_testDeadline && Date.now()>_testDeadline)throw new Error('TIMEOUT: wall clock exceeded');if(globalThis._hs_null_error)return;if(d>500||!r||!r.suspended)return;const req=r.request;const items=req&&(req.items||req);const op=items&&items[0];const opName=typeof op==='string'?op:(op&&op.name)||String(op);
function doResume(v){try{const x=r.resume(v);driveAsync(x,d+1);}catch(e){const msg=e&&(e.message||(Array.isArray(e)&&typeof e[2]==='string'&&e[2])||'');if(String(msg).includes('TIMEOUT'))throw e;}}
globalThis._driveAsync=function driveAsync(r,d){d=d||0;if(d>500||!r||!r.suspended)return;if(_testDeadline && Date.now()>_testDeadline)throw new Error('TIMEOUT: wall clock exceeded');const req=r.request;const items=req&&(req.items||req);const op=items&&items[0];const opName=typeof op==='string'?op:(op&&op.name)||String(op);
function doResume(v){try{const x=r.resume(v);driveAsync(x,d+1);}catch(e){}}
if(opName==='io-sleep'||opName==='wait')doResume(null);
else if(opName==='io-fetch'){
const url=typeof items[1]==='string'?items[1]:'/test';
const scriptRoutes=_fetchScripts[globalThis.__currentHsTestName];
const route=(scriptRoutes&&scriptRoutes[url])||_fetchRoutes[url]||_fetchRoutes['/test'];
if(route&&route.networkError){doResume({_type:'dict','_network-error':true,message:'aborted'});}
else{const st=route.status||200;doResume({_type:'dict',ok:st<400,status:st,url,_body:route.body||'',_json:route.json||route.body||'',_html:route.html||route.body||'',_number:route.number||route.body||''});}
const fmt=typeof items[2]==='string'?items[2]:'text';
const route=_fetchRoutes[url]||_fetchRoutes['/test'];
if(fmt==='json'){try{doResume(JSON.parse(route.json||route.body||'{}'));}catch(e){doResume(null);}}
else if(fmt==='html'){const frag=new El('fragment');frag.nodeType=11;frag.innerHTML=route.html||route.body||'';frag.textContent=frag.innerHTML.replace(/<[^>]*>/g,'');doResume(frag);}
else if(fmt==='response')doResume({ok:(route.status||200)<400,status:route.status||200,url});
else if(fmt.toLowerCase()==='number')doResume(parseFloat(route.number||route.body||'0'));
else doResume(route.body||'');
}
else if(opName==='io-parse-text'){const resp=items&&items[1];doResume(resp&&resp._body?resp._body:typeof resp==='string'?resp:'');}
else if(opName==='io-parse-json'){const resp=items&&items[1];try{doResume(JSON.parse(typeof resp==='string'?resp:resp&&resp._json?resp._json:'{}'));}catch(e){doResume(null);}}
@@ -730,8 +719,7 @@ const t_mod = Date.now();
const WEB=['render','core-signals','signals','deps','router','page-helpers','freeze','dom','browser','adapter-html','adapter-sx','adapter-dom','boot-helpers','hypersx','engine','orchestration','boot'];
const HS=['hs-tokenizer','hs-parser','hs-compiler','hs-runtime','hs-integration'];
K.beginModuleLoad();
// hs-* modules: prefer lib/hyperscript/ (source of truth for conformance work) over WASM sx dir
for(const mod of[...WEB,...HS]){const sp=path.join(SX_DIR,mod+'.sx');const lp=path.join(PROJECT,'lib/hyperscript',mod.replace(/^hs-/,'')+'.sx');let s;try{const lpExists=mod.startsWith('hs-')&&fs.existsSync(lp);s=lpExists?fs.readFileSync(lp,'utf8'):(fs.existsSync(sp)?fs.readFileSync(sp,'utf8'):fs.readFileSync(lp,'utf8'));}catch(e){continue;}try{K.load(s);}catch(e){process.stderr.write(`LOAD ERROR: ${mod}: ${e.message}\n`);}}
for(const mod of[...WEB,...HS]){const sp=path.join(SX_DIR,mod+'.sx');const lp=path.join(PROJECT,'lib/hyperscript',mod.replace(/^hs-/,'')+'.sx');let s;try{s=fs.existsSync(sp)?fs.readFileSync(sp,'utf8'):fs.readFileSync(lp,'utf8');}catch(e){continue;}try{K.load(s);}catch(e){process.stderr.write(`LOAD ERROR: ${mod}: ${e.message}\n`);}}
K.endModuleLoad();
process.stderr.write(`Modules loaded in ${Date.now()-t_mod}ms\n`);
@@ -766,26 +754,6 @@ for(const f of['spec/harness.sx','spec/tests/test-framework.sx','spec/tests/test
}
process.stderr.write(`Tests loaded in ${Date.now()-t_tests}ms\n`);
// Redefine try-call to actually catch errors for assert-throws.
// During loading it was the registration version (stores thunks, returns {:ok true}).
// Now that tests are registered, redefine it to run the thunk and catch any exception.
K.eval('(define try-call _run-test-thunk)');
// Override eval-hs-error for runtimeErrors tests: hs-null-raise!/hs-empty-raise!/hs-win-call
// each wrap their (raise msg) in a self-contained guard so the raise is swallowed before
// it can escape through the empty JIT kont and trigger the slow host_error path (~34s).
// The null error message is stored in window._hs_null_error (side channel) before the raise,
// so we can recover it here even when eval-hs returns normally.
K.eval(`(define eval-hs-error
(fn (src)
(host-set! (host-global "window") "_hs_null_error" nil)
(let ((result
(guard (_e (true (if (string? _e) _e (str _e))))
(eval-hs src)
nil)))
(or (host-get (host-global "window") "_hs_null_error") result))))`);
K.eval('(define x nil)(define y nil)(define z nil)');
const testCount = K.eval('(len _test-registry)');
// Pre-read names
const names = [];
@@ -809,83 +777,30 @@ for(let i=startTest;i<Math.min(endTest,testCount);i++){
// Reset body
_body.children=[];_body.childNodes=[];_body.innerHTML='';_body.textContent='';
globalThis._hs_null_error=null;
globalThis.__test_selection='';
globalThis.__hsCookieStore.clear();
globalThis.__hsMutationRegistry.length = 0;
globalThis.__hsMutationActive = false;
globalThis._windowListeners={};
globalThis.__currentHsTestName = name;
_fakeTimers = []; // reset timer queue between tests
// Hypertrace tests use async wait loops that legitimately exceed the step limit.
// Disable CEK step counting for these — wall-clock deadline still applies.
// Tests that require async event dispatch not supported in the sync test runner.
// These tests hang indefinitely because io-wait-event suspends the OCaml kernel
// waiting for an event that is never fired from outside the K.eval call chain.
const _SKIP_TESTS = new Set([
"until event keyword works",
// Generator gap: spec is missing click dispatches; asserts textContent="1" with no events fired.
"throttled at <time> drops events within the window",
]);
if (_SKIP_TESTS.has(name)) continue;
const _NO_STEP_LIMIT = new Set([
"async hypertrace is reasonable",
"hypertrace from javascript is reasonable",
"hypertrace is reasonable",
"repeat forever works",
"repeat forever works w/o keyword",
"receives named events",
"passes the sieve test",
]);
// Suites where JIT cascade legitimately exceeds the per-test step limit.
const _NO_STEP_LIMIT_SUITES = new Set([
"hs-upstream-core/runtimeErrors",
"hs-upstream-expressions/collectionExpressions",
"hs-upstream-expressions/typecheck",
]);
// Enable step limit for timeout protection — reset counter first so accumulation
// across tests doesn't cause signed-32-bit wraparound (~2B extra steps before limit fires).
// Hypertrace tests instrument every evaluation and legitimately exceed the step limit.
resetStepCount();
setStepLimit((_NO_STEP_LIMIT.has(name) || _NO_STEP_LIMIT_SUITES.has(suite)) ? 0 : STEP_LIMIT);
const _SLOW_DEADLINE = {
"async hypertrace is reasonable": 8000,
"hypertrace from javascript is reasonable": 8000,
"hypertrace is reasonable": 8000,
"passes the sieve test": 60000,
};
const _SLOW_DEADLINE_SUITES = {
"hs-upstream-core/runtimeErrors": 30000,
"hs-upstream-expressions/collectionExpressions": 60000,
"hs-upstream-expressions/typecheck": 30000,
"hs-upstream-behavior": 20000,
};
_testDeadline = Date.now() + (_SLOW_DEADLINE[name] || _SLOW_DEADLINE_SUITES[suite] || 10000);
globalThis.__hs_deadline = _testDeadline; // expose to WASM cek_step_loop
// Enable step limit for timeout protection
setStepLimit(STEP_LIMIT);
_testDeadline = Date.now() + 10000; // 10 second wall-clock timeout per test
if(process.env.HS_VERBOSE)process.stderr.write(`T${i} `);
let ok=false,err=null;
try{
// Use SX-level guard to catch errors, avoiding __sxR side-channel issues
// Returns a dict with :ok and :error keys.
// Note: api_eval returns "Error: <msg>" string (not throw) for SX exceptions,
// so K.eval may return an error string rather than throwing. Check for this.
const defineR = K.eval(`(define _test-result (_run-test-thunk (get (nth _test-registry ${i}) "thunk")))`);
// Clear deadline immediately: once the test thunk finishes (or times out and
// the guard catches it), further K.eval calls for result inspection must not
// keep re-firing the deadline check on every 10k steps.
globalThis.__hs_deadline = 0;
if(typeof defineR==='string' && defineR.startsWith('Error: ')){
err=defineR.slice(7,157); // strip "Error: " prefix
} else {
// Returns a dict with :ok and :error keys
const _dbgR=K.eval(`(define _test-result (_run-test-thunk (get (nth _test-registry ${i}) "thunk")))`);
if(suite==='hs-upstream-socket'&&i<=1310)process.stderr.write(`[D] i=${i} r=${JSON.stringify(_dbgR)?.slice(0,160)}\n`);
const isOk=K.eval('(get _test-result "ok")');
if(isOk===true){ok=true;}
else{
const errMsg=K.eval('(get _test-result "error")');
err=errMsg?String(errMsg).slice(0,150):'unknown error';
}
}
}catch(e){err=(e.message||'').slice(0,150);}
setStepLimit(0); // disable step limit between tests
@@ -902,7 +817,7 @@ for(let i=startTest;i<Math.min(endTest,testCount);i++){
else if(err&&err.includes('Unhandled'))t='unhandled';
errTypes[t]=(errTypes[t]||0)+1;
}
_testDeadline = 0; globalThis.__hs_deadline = 0;
_testDeadline = 0;
if((i+1)%100===0)process.stdout.write(` ${i+1}/${testCount} (${passed} pass, ${failed} fail)\n`);
if(elapsed > 5000)process.stdout.write(` SLOW: test ${i} took ${elapsed}ms [${suite}] ${name}\n`);
if(!ok && err && err.includes('TIMEOUT'))process.stdout.write(` TIMEOUT: test ${i} [${suite}] ${name}\n`);

665
tests/playwright/generate-sx-tests.py
View File

@@ -106,11 +106,22 @@ SKIP_TEST_NAMES = {
# upstream 'on' category — missing runtime features
"listeners on other elements are removed when the registering element is removed",
"listeners on self are not removed when the element is removed",
"can pick detail fields out by name",
"can pick event properties out by name",
"can be in a top level script tag",
"multiple event handlers at a time are allowed to execute with the every keyword",
"each behavior installation has its own event queue",
"can catch exceptions thrown in js functions",
"can catch exceptions thrown in hyperscript functions",
"uncaught exceptions trigger 'exception' event",
"rethrown exceptions trigger 'exception' event",
"rethrown exceptions trigger 'exception' event",
"basic finally blocks work",
"finally blocks work when exception thrown in catch",
"async basic finally blocks work",
"async finally blocks work when exception thrown in catch",
"async exceptions in finally block don't kill the event queue",
"exceptions in finally block don't kill the event queue",
"can ignore when target doesn't exist",
"can ignore when target doesn\\'t exist",
"can handle an or after a from clause",
@@ -119,304 +130,6 @@ SKIP_TEST_NAMES = {
"can do a simple fetch w/ html",
}
# Manually-written SX test bodies for tests whose upstream body cannot be
# auto-translated. Key = test name; value = SX lines to emit inside deftest.
MANUAL_TEST_BODIES = {
# toggle: fixed-time toggle fires timer synchronously so .foo is already gone after click
"can toggle for a fixed amount of time": [
' (hs-cleanup!)',
' (let ((_el (dom-create-element "div")))',
' (dom-set-attr _el "_" "on click toggle .foo for 10ms")',
' (dom-append (dom-body) _el)',
' (hs-activate! _el)',
' (assert (not (dom-has-class? _el "foo")))',
' (dom-dispatch _el "click" nil)',
' (assert (dom-has-class? _el "foo")))',
],
"converts multiple selects with programmatically changed selections": [
' (let ((_node (dom-create-element "form")))',
' (dom-set-inner-html _node "<select name=\\"animal\\" multiple> <option value=\\"dog\\" selected>Doggo</option> <option value=\\"cat\\">Kitteh</option> <option value=\\"raccoon\\" selected>Trash Panda</option> <option value=\\"possum\\">Sleepy Boi</option> </select>")',
' (let ((_sel (dom-query _node "select")))',
' (let ((_opts (host-get _sel "options")))',
' (host-set! (nth _opts 0) "selected" false)',
' (host-set! (nth _opts 1) "selected" true)',
' (let ((_result (eval-hs-locals "x as Values" (list (list (quote x) _node)))))',
' (assert= (nth (host-get _result "animal") 0) "cat")',
' (assert= (nth (host-get _result "animal") 1) "raccoon")',
' ))))',
],
"iterate cookies values work": [
' (hs-cleanup!)',
' (host-set! (host-global "cookies") "foo" "bar")',
' (let ((_names (list)) (_values (list)))',
' (hs-for-each',
' (fn (x)',
' (append! _names (host-get x "name"))',
' (append! _values (host-get x "value")))',
' (host-global "cookies"))',
' (assert-contains "foo" _names)',
' (assert-contains "bar" _values))',
],
"raises a helpful error when the worker plugin is not installed": [
' (hs-cleanup!)',
' (let ((caught nil))',
' (guard (_e (true (set! caught (str _e))))',
' (hs-compile "worker MyWorker def noop() end end"))',
' (assert (not (nil? caught)))',
' (assert (string-contains? caught "worker plugin"))',
' (assert (string-contains? caught "hyperscript.org/features/worker")))',
],
# blockLiteral: block literals compile to SX lambdas, callable via apply
"basic block literals work": [
' (assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\\\ -> true"))) (list)) true)',
],
"basic identity works": [
' (assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\\\ x -> x"))) (list true)) true)',
],
"basic two arg identity works": [
' (assert= (apply (eval-expr-cek (hs-to-sx (hs-compile "\\\\ x, y -> y"))) (list false true)) true)',
],
"can map an array": [
' (assert= (map (eval-expr-cek (hs-to-sx (hs-compile "\\\\ s -> s.length"))) (list "a" "ab" "abc")) (list 1 2 3))',
],
# propertyAccess/possessiveExpression: null-safe access on undefined variables.
# Hyperscript treats undefined vars as nil (window fallback); SX throws.
# Test bodies have no assertion — just verify no crash. Use host-call-fn to
# absorb the native "Undefined symbol" exception at the JS boundary.
"is null safe": [
' (host-call-fn (fn () (eval-hs "foo.foo")) (list))',
],
"null-safe access through an undefined intermediate": [
' (host-call-fn (fn () (eval-hs "a.b.c")) (list))',
],
# functionCalls: this-binding in SX lambdas is not supported; the test
# creates {getValue: (fn () (host-get this "value"))} which loops.
"can invoke function on object": [
' (error "SKIP: JS this-binding not supported in SX lambdas")',
],
# queryRef: query for non-existent selector returns empty list
"basic queryRef works w no match": [
' (assert= (len (eval-hs "<.badClassThatDoesNotHaveAnyElements/>")) 0)',
],
# classRef: query for a non-existent class should return empty
"basic classRef works w no match": [
' (assert= (len (eval-hs ".badClassThatDoesNotHaveAnyElements")) 0)',
],
# bootstrap: restore correct bodies that auto-regen gets wrong
"can call functions": [
' (hs-cleanup!)',
' (host-set! (host-global "window") "calledWith" nil)',
' (let ((_el-div (dom-create-element "div")))',
' (dom-set-attr _el-div "_" "on click call globalFunction(\\"foo\\")")',
' (dom-append (dom-body) _el-div)',
' (hs-activate! _el-div)',
' (dom-dispatch _el-div "click" nil)',
' )',
],
"cleanup removes event listeners on the element": [
' (hs-cleanup!)',
' (let ((_el-div (dom-create-element "div")))',
' (dom-set-attr _el-div "_" "on click add .foo")',
' (dom-append (dom-body) _el-div)',
' (hs-activate! _el-div)',
' (dom-dispatch _el-div "click" nil)',
' (assert (dom-has-class? _el-div "foo"))',
' (hs-deactivate! _el-div)',
' (dom-remove-class _el-div "foo")',
' (dom-dispatch _el-div "click" nil)',
' (assert (not (dom-has-class? _el-div "foo"))))',
],
"reinitializes if script attribute changes": [
' (hs-cleanup!)',
' (let ((_el-div (dom-create-element "div")))',
' (dom-set-attr _el-div "_" "on click add .foo")',
' (dom-append (dom-body) _el-div)',
' (hs-activate! _el-div)',
' (dom-dispatch _el-div "click" nil)',
' (assert (dom-has-class? _el-div "foo"))',
' (dom-set-attr _el-div "_" "on click add .bar")',
' (hs-activate! _el-div)',
' (dom-dispatch _el-div "click" nil)',
' (assert (dom-has-class? _el-div "bar")))',
],
# on: event destructuring — on EVENT(prop) extracts from detail then event
"can pick detail fields out by name": [
' (hs-cleanup!)',
' (let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))',
' (dom-set-attr _el-d1 "id" "d1")',
' (dom-set-attr _el-d1 "_" "on click send custom(foo:\\"fromBar\\") to #d2")',
' (dom-set-attr _el-d2 "id" "d2")',
' (dom-set-attr _el-d2 "_" "on custom(foo) call me.classList.add(foo)")',
' (dom-append (dom-body) _el-d1)',
' (dom-append (dom-body) _el-d2)',
' (hs-activate! _el-d1)',
' (hs-activate! _el-d2)',
' (assert (not (dom-has-class? _el-d2 "fromBar")))',
' (dom-dispatch _el-d1 "click" nil)',
' (assert (dom-has-class? _el-d2 "fromBar")))',
],
"can pick event properties out by name": [
' (hs-cleanup!)',
' (let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))',
' (dom-set-attr _el-d1 "id" "d1")',
' (dom-set-attr _el-d1 "_" "on click send fromBar to #d2")',
' (dom-set-attr _el-d2 "id" "d2")',
' (dom-set-attr _el-d2 "_" "on fromBar(type) call me.classList.add(type)")',
' (dom-append (dom-body) _el-d1)',
' (dom-append (dom-body) _el-d2)',
' (hs-activate! _el-d1)',
' (hs-activate! _el-d2)',
' (assert (not (dom-has-class? _el-d2 "fromBar")))',
' (dom-dispatch _el-d1 "click" nil)',
' (assert (dom-has-class? _el-d2 "fromBar")))',
],
"rethrown exceptions trigger 'exception' event": [
' (hs-cleanup!)',
' (let ((_el-button (dom-create-element "button")))',
' (dom-set-attr _el-button "_"',
' "on click put \\"foo\\" into me then throw \\"bar\\" catch e throw e on exception(error) put error into me")',
' (dom-append (dom-body) _el-button)',
' (hs-activate! _el-button)',
' (dom-dispatch _el-button "click" nil)',
' (assert= (dom-text-content _el-button) "bar"))',
],
"uncaught exceptions trigger 'exception' event": [
' (hs-cleanup!)',
' (let ((_el-button (dom-create-element "button")))',
' (dom-set-attr _el-button "_"',
' "on click put \\"foo\\" into me then throw \\"bar\\" on exception(error) put error into me")',
' (dom-append (dom-body) _el-button)',
' (hs-activate! _el-button)',
' (dom-dispatch _el-button "click" nil)',
' (assert= (dom-text-content _el-button) "bar"))',
],
# logicalOperator: short-circuit and/or
"should short circuit with and expression": [
' (let ((func1-called false) (func2-called false))',
' (let ((func1 (fn () (let ((dummy (set! func1-called true))) false)))',
' (func2 (fn () (let ((dummy (set! func2-called true))) false))))',
' (let ((result (eval-hs-locals "func1() and func2()"',
' (list (list (quote func1) func1) (list (quote func2) func2)))))',
' (assert= result false)',
' (assert func1-called)',
' (assert (not func2-called)))))',
],
"should short circuit with or expression": [
' (let ((func1-called false) (func2-called false))',
' (let ((func1 (fn () (let ((dummy (set! func1-called true))) true)))',
' (func2 (fn () (let ((dummy (set! func2-called true))) true))))',
' (let ((result (eval-hs-locals "func1() or func2()"',
' (list (list (quote func1) func1) (list (quote func2) func2)))))',
' (assert result)',
' (assert func1-called)',
' (assert (not func2-called)))))',
],
# typecheck: call hs-type-assert directly — eval-hs "true : String" is too slow (JIT cascade)
"can do basic non-string typecheck failure": [
' (assert-throws (fn () (hs-type-assert true "String")))',
],
"null causes null safe string check to fail": [
' (assert-throws (fn () (hs-type-assert-strict nil "String")))',
],
# strings: template with double quotes and object property access
"should handle strings with tags and quotes": [
' (let ((record {:name "John Connor" :age 21 :favouriteColour "bleaux"}))',
' (assert= (eval-hs-locals',
' "`<div age=\\"${record.age}\\" style=\\"color:${record.favouriteColour}\\">${record.name}</div>`"',
' (list (list (quote record) record)))',
' "<div age=\\"21\\" style=\\"color:bleaux\\">John Connor</div>"))',
],
# symbol: document resolves to the global document object (reference equality)
"resolves global context properly": [
' (let ((r (eval-hs "document")))',
' (assert (hs-ref-eq r (host-global "document"))))',
],
# asExpression: custom conversions — set/clear via hs-set-conversion! + hs-add-dynamic-converter!
"can accept custom conversions": [
' (do',
' (hs-set-conversion! "Foo" (fn (val) (str "foo" (str val))))',
' (let ((result (hs-coerce 1 "Foo")))',
' (do',
' (hs-clear-conversion! "Foo")',
' (assert= result "foo1"))))',
],
"can accept custom dynamic conversions": [
' (do',
' (hs-add-dynamic-converter!',
' (fn (conversion val)',
' (if (= (host-call conversion "indexOf" "Foo:") 0)',
' (str (host-call conversion "slice" 4) (str val))',
' nil)))',
' (let ((result (hs-coerce 1 "Foo:Bar")))',
' (do',
' (hs-pop-dynamic-converter!)',
' (assert= result "Bar1"))))',
],
# asExpression: Date/Set/Map need real JS host objects
"converts value as Date": [
' (let ((_result (eval-hs "1 as Date")))',
' (assert= (host-call _result "getTime") 1))',
],
"can use the a modifier if you like": [
' (let ((_result (eval-hs "1 as a Date")))',
' (assert= (host-call _result "getTime") 1))',
],
"converts array as Set": [
' (let ((_result (eval-hs "[1,2,2,3] as Set")))',
' (assert (hs-is-set? _result))',
' (assert= (host-get _result "size") 3))',
],
"converts object as Map": [
' (let ((_result (eval-hs "{a:1, b:2} as Map")))',
' (assert (hs-is-map? _result))',
' (assert= (host-call _result "get" "a") 1)',
' (assert= (host-get _result "size") 2))',
],
# transition: possessive query-ref target — the next <div/>'s *width
"can transition on query ref with possessive": [
' (hs-cleanup!)',
' (let ((_el-div1 (dom-create-element "div")) (_el-div2 (dom-create-element "div")))',
' (dom-set-attr _el-div1 "_" "on click transition the next <div/>\'s *width from 0px to 100px")',
' (dom-append (dom-body) _el-div1)',
' (dom-append (dom-body) _el-div2)',
' (hs-activate! _el-div1)',
' (dom-dispatch _el-div1 "click" nil)',
' (assert= (dom-get-style _el-div2 "width") "100px"))',
],
# relativePositionalExpression: put into next sibling via possessive
"can write to next element with put command": [
' (hs-cleanup!)',
' (let ((_el-d1 (dom-create-element "div")) (_el-d2 (dom-create-element "div")))',
' (dom-set-attr _el-d1 "id" "d1")',
' (dom-set-attr _el-d2 "id" "d2")',
' (dom-set-attr _el-d1 "_" "on click put \'updated\' into the next <div/>\'s textContent")',
' (dom-set-inner-html _el-d2 "original")',
' (dom-append (dom-body) _el-d1)',
' (dom-append (dom-body) _el-d2)',
' (hs-activate! _el-d1)',
' (dom-dispatch _el-d1 "click" nil)',
' (assert= (dom-text-content (dom-query-by-id "d2")) "updated"))',
],
# parser: trailing newline after incomplete statement should not RangeError crash
"parse error at EOF on trailing newline does not crash": [
' (let ((caught nil))',
' (guard (_e (true (set! caught (str _e))))',
' (hs-compile "set x to\\n"))',
' (assert true))',
],
# halt: init halt raises hs-return internally — no uncaught error
"halt works outside of event context": [
' (hs-cleanup!)',
' (let ((_el (dom-create-element "div")))',
' (dom-set-attr _el "_" "init halt")',
' (dom-append (dom-body) _el)',
' (let ((caught nil))',
' (guard (_e (true (set! caught _e)))',
' (hs-activate! _el))',
' (assert (nil? caught))))',
],
}
def find_me_receiver(elements, var_names, tag):
"""For tests with multiple top-level elements of the same tag, find the
@@ -505,8 +218,7 @@ def parse_html(html):
'children': [], 'parent_idx': None
}
BOOL_ATTRS = {'checked', 'selected', 'disabled', 'multiple',
'required', 'readonly', 'autofocus', 'hidden', 'open',
'disable-scripting'}
'required', 'readonly', 'autofocus', 'hidden', 'open'}
for name, val in attrs:
if name == 'id': el['id'] = val
elif name == 'class': el['classes'] = (val or '').split()
@@ -1988,14 +1700,6 @@ def js_expr_to_sx(expr):
if m:
return f'(host-get {m.group(1)} "{m.group(2)}")'
# JS keywords / literals
if expr in ('null', 'undefined'):
return 'nil'
if expr == 'true':
return 'true'
if expr == 'false':
return 'false'
# Bare identifier
if re.match(r'^[A-Za-z_]\w*$', expr):
return expr
@@ -2444,13 +2148,6 @@ def generate_eval_only_test(test, idx):
lines = []
safe_name = sx_name(test['name'])
# runtimeErrors: expect(await error("EXPR")).toBe("MSG") → eval-hs-error
if 'await error(' in body:
error_pats = re.findall(r'expect\(await error\("([^"]+)"\)\)\.toBe\("([^"]+)"\)', body)
if error_pats:
asserts = '\n'.join(f' (assert= (eval-hs-error "{e}") "{m}")' for e, m in error_pats)
return f' (deftest "{safe_name}"\n (hs-cleanup!)\n{asserts})'
# Special case: cluster-33 cookie tests. Each test calls a sequence of
# `_hyperscript("HS")` inside `page.evaluate(()=>{...})`. The runner backs
# `cookies` with a Proxy over a per-test `__hsCookieStore` map (see
@@ -2490,6 +2187,267 @@ def generate_eval_only_test(test, idx):
f' (assert (nil? (eval-hs "cookies.foo"))))'
)
# Special case: cluster-36 socket URL tests. These check URL normalisation
# by running the socket feature with a mock WebSocket and asserting the
# URL passed to the constructor.
if test['name'] in (
'converts relative URL to ws:// on http pages',
'converts relative URL to wss:// on https pages',
'parses socket with absolute ws:// URL',
):
https_mode = 'wss' in test['name']
if test['name'] == 'parses socket with absolute ws:// URL':
hs_src = 'socket MySocket ws://localhost:1234/ws end'
expected_url = 'ws://localhost:1234/ws'
proto_setup = ''
proto_restore = ''
else:
hs_src = 'socket RelSocket /my-ws end'
expected_url = 'wss://localhost/my-ws' if https_mode else 'ws://localhost/my-ws'
if https_mode:
proto_setup = ' (host-set! (host-global "location") "protocol" "https:")\n'
proto_restore = ' (host-set! (host-global "location") "protocol" "http:")\n'
else:
proto_setup = ''
proto_restore = ''
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (host-set! (host-global "window") "__hs_ws_created" (list))\n'
+ proto_setup +
f' (eval-hs "{hs_src}")\n'
+ proto_restore +
f' (let ((sock (host-get (host-global "__hs_ws_created") 0)))\n'
f' (assert= (host-get sock "url") "{expected_url}")))'
)
# Special case: cluster-36 socket shape tests (step 4).
# Test 4: namespaced sockets work — dotted name path walks window.
if test['name'] == 'namespaced sockets work':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket MyApp.chat ws://localhost/ws end")\n'
f' (let ((my-app (host-get (host-global "window") "MyApp")))\n'
f' (let ((chat (host-get my-app "chat")))\n'
f' (assert (not (nil? (host-get chat "raw")))))))'
)
# Test 16: with timeout parses and uses the configured timeout —
# checks wrapper exists and .rpc is an object.
if test['name'] == 'with timeout parses and uses the configured timeout':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket TimedSocket ws://localhost/ws with timeout 1500 end")\n'
f' (let ((sock (host-get (host-global "window") "TimedSocket")))\n'
f' (do\n'
f' (assert (not (nil? sock)))\n'
f' (assert (not (nil? (host-get sock "rpc")))))))'
)
# Special case: cluster-36 socket on-message tests (step 5).
# Test 7: plain text message fires the handler.
if test['name'] == 'on message handler fires on incoming text message':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket TextSocket ws://localhost/ws on message set window.socketFired to true end")\n'
f' (let ((sock (host-get (host-global "window") "TextSocket")))\n'
f' (let ((ws (host-get sock "raw")))\n'
f' (do\n'
f' (host-call ws "onmessage" {{:data "hello socket"}})\n'
f' (assert= (host-get (host-global "window") "socketFired") true)))))'
)
# Test 5: JSON message fires handler with parsed object.
if test['name'] == 'on message as JSON handler decodes JSON payload':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket JsonSocket ws://localhost/ws on message as JSON set window.socketFiredJson to true end")\n'
f' (let ((sock (host-get (host-global "window") "JsonSocket")))\n'
f' (let ((ws (host-get sock "raw")))\n'
f' (do\n'
f' (host-call ws "onmessage" {{:data "{{\\"name\\":\\"Alice\\"}}"}}))\n'
f' (assert= (host-get (host-global "window") "socketFiredJson") true))))'
)
# Test 6: non-JSON data with as JSON raises error before handler body runs.
# We verify the handler body (set window.strictFired) was NOT executed.
if test['name'] == 'on message as JSON throws on non-JSON payload':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket StrictJsonSocket ws://localhost/ws on message as JSON set window.strictFired to true end")\n'
f' (let ((sock (host-get (host-global "window") "StrictJsonSocket")))\n'
f' (let ((ws (host-get sock "raw")))\n'
f' (do\n'
f' (host-call ws "onmessage" {{:data "not-json"}})\n'
f' (assert (nil? (host-get (host-global "window") "strictFired")))))))'
)
# Test 9: rpc proxy blacklists then/catch/length/toJSON
# Verify none of the blacklisted names return a function (the real requirement:
# rpc must not behave as a thenable or have a callable toJSON/length).
if test['name'] == 'rpc proxy blacklists then/catch/length/toJSON':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket RpcSocket ws://localhost/ws end")\n'
f' (let ((rpc (host-get (host-get (host-global "window") "RpcSocket") "rpc")))\n'
f' (do\n'
f' (assert (not (= (host-typeof (host-get rpc "then")) "function")))\n'
f' (assert (not (= (host-typeof (host-get rpc "catch")) "function")))\n'
f' (assert (not (= (host-typeof (host-get rpc "length")) "function")))\n'
f' (assert (not (= (host-typeof (host-get rpc "toJSON")) "function"))))\n'
f' (assert (not (nil? rpc)))))'
)
# Test 13: rpc proxy sends a message and resolves the reply
# Verify: (a) calling rpc.method triggers ws.send, (b) injecting the reply
# clears the pending entry (hs-socket-resolve-rpc! ran).
if test['name'] == 'rpc proxy sends a message and resolves the reply':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket RpcSendSocket ws://localhost/ws end")\n'
f' (let ((wrapper (host-get (host-global "window") "RpcSendSocket")))\n'
f' (let ((ws (host-get wrapper "raw"))\n'
f' (rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (host-call rpc "greet" "world")\n'
f' (assert (not (nil? (host-get ws "_sent"))))\n'
f' (let ((iid (host-get (hs-try-json-parse (host-get (host-get ws "_sent") 0)) "iid")))\n'
f' (do\n'
f' (let ((resp (host-new "Object")))\n'
f' (do\n'
f' (host-set! resp "iid" iid)\n'
f' (host-set! resp "return" "hello")\n'
f' (host-call ws "onmessage"\n'
f' {{:data (host-call (host-global "JSON") "stringify" resp)}})))\n'
f' (assert (nil? (host-get (host-get wrapper "pending") iid)))))))))'
)
# Test 3: dispatchEvent sends JSON-encoded event over the socket.
# Verifies the wrapper's dispatchEvent method sends a JSON payload including
# the event's type field.
if test['name'] == 'dispatchEvent sends JSON-encoded event over the socket':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket DispatchSocket ws://localhost/ws end")\n'
f' (let ((wrapper (host-get (host-global "window") "DispatchSocket")))\n'
f' (let ((ws (host-get wrapper "raw"))\n'
f' (evt (host-new "Object")))\n'
f' (do\n'
f' (host-set! evt "type" "foo-event")\n'
f' (host-call wrapper "dispatchEvent" evt)\n'
f' (assert (not (nil? (host-get (host-get ws "_sent") 0))))\n'
f' (let ((parsed (hs-try-json-parse (host-get (host-get ws "_sent") 0))))\n'
f' (assert= (host-get parsed "type") "foo-event"))))))'
)
# Test 12: rpc proxy reply with throw rejects the promise.
# Verifies hs-socket-resolve-rpc! calls resolver.reject when msg.throw is set,
# and clears the pending entry.
if test['name'] == 'rpc proxy reply with throw rejects the promise':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket RpcThrowSocket ws://localhost/ws end")\n'
f' (let ((wrapper (host-get (host-global "window") "RpcThrowSocket")))\n'
f' (let ((ws (host-get wrapper "raw"))\n'
f' (rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (host-call rpc "greet" "world")\n'
f' (let ((iid (host-get (hs-try-json-parse (host-get (host-get ws "_sent") 0)) "iid")))\n'
f' (let ((resp (host-new "Object")))\n'
f' (do\n'
f' (host-set! resp "iid" iid)\n'
f' (host-set! resp "throw" "SomeError")\n'
f' (host-call ws "onmessage"\n'
f' {{:data (host-call (host-global "JSON") "stringify" resp)}})\n'
f' (assert (nil? (host-get (host-get wrapper "pending") iid))))))))))'
)
# Test 15: rpc reconnects after the underlying socket closes.
# Verifies the lazy-reconnect path: after ws.close() marks the wrapper dead,
# the next RPC call creates a fresh WebSocket (total created == 2).
if test['name'] == 'rpc reconnects after the underlying socket closes':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (host-set! (host-global "window") "__hs_ws_created" nil)\n'
f' (eval-hs "socket ReconnSocket ws://localhost/ws end")\n'
f' (let ((wrapper (host-get (host-global "window") "ReconnSocket")))\n'
f' (let ((ws (host-get wrapper "raw"))\n'
f' (rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (host-call ws "close")\n'
f' (host-call rpc "greet")\n'
f' (assert= (host-get (host-global "__hs_ws_created") "_len") 2)))))'
)
# Test 10: rpc proxy default timeout rejects the promise.
# With a socket created using `with timeout 50`, calling rpc.neverReplies()
# enqueues a fake setTimeout. After flushing timers, wrapper.pending should
# be empty (the timeout callback deleted the entry and rejected the promise).
if test['name'] == 'rpc proxy default timeout rejects the promise':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket DefTOSocket ws://localhost/ws with timeout 50 end")\n'
f' (let ((wrapper (host-get (host-global "window") "DefTOSocket")))\n'
f' (let ((rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (host-call rpc "neverReplies")\n'
f' (let ((keys-before (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))\n'
f' (assert= (host-get keys-before "length") 1))\n'
f' (host-call (host-global "__hsFlushTimers") "call")\n'
f' (let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))\n'
f' (assert= (host-get keys-after "length") 0))))))'
)
# Test 11: rpc proxy noTimeout avoids timeout rejection.
# rpc.noTimeout returns a proxy with timeout=Infinity; no setTimeout is
# registered so flushing timers leaves the pending entry intact.
if test['name'] == 'rpc proxy noTimeout avoids timeout rejection':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket NoTOSocket ws://localhost/ws with timeout 20 end")\n'
f' (let ((wrapper (host-get (host-global "window") "NoTOSocket")))\n'
f' (let ((rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (let ((no-timeout (host-call rpc "noTimeout")))\n'
f' (host-call no-timeout "slowCall" "x"))\n'
f' (host-call (host-global "__hsFlushTimers") "call")\n'
f' (let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))\n'
f' (assert= (host-get keys-after "length") 1))))))'
)
# Test 14: rpc proxy timeout(n) rejects after a custom window.
# rpc.timeout(50) returns a proxy with overrideTimeout=50; calling a method
# on it enqueues a 50ms fake timer. After flushing, pending is empty.
if test['name'] == 'rpc proxy timeout(n) rejects after a custom window':
return (
f' (deftest "{safe_name}"\n'
f' (hs-cleanup!)\n'
f' (eval-hs "socket CustomTOSocket ws://localhost/ws with timeout 60000 end")\n'
f' (let ((wrapper (host-get (host-global "window") "CustomTOSocket")))\n'
f' (let ((rpc (host-get wrapper "rpc")))\n'
f' (do\n'
f' (let ((timeout-fn (host-call rpc "timeout"))\n'
f' (custom-proxy (host-call-fn timeout-fn (list 50))))\n'
f' (host-call custom-proxy "willTimeOut"))\n'
f' (let ((keys-before (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))\n'
f' (assert= (host-get keys-before "length") 1))\n'
f' (host-call (host-global "__hsFlushTimers") "call")\n'
f' (let ((keys-after (host-call (host-global "Object") "keys" (host-get wrapper "pending"))))\n'
f' (assert= (host-get keys-after "length") 0))))))'
)
# Special case: cluster-29 init events. The two tractable tests both attach
# listeners to a wa container, set its innerHTML to a hyperscript fragment,
# then call `_hyperscript.processNode(wa)`. Hand-roll deftests using
@@ -2659,27 +2617,6 @@ def generate_eval_only_test(test, idx):
assertions = []
# Pre-resolve string variable assignments: `var str = "..." + "..." + ...`
# so that `run(str, opts)` is treated the same as `run("expanded", opts)`.
# JS `\n` / `\t` escape sequences in the joined value are collapsed to spaces
# since HS uses keyword delimiters (if/else/end/then), not indentation.
_str_vars = {}
for _sv in re.finditer(
r'(?:var|let|const)\s+(\w+)\s*=\s*((?:"(?:[^"\\]|\\.)*"|\'(?:[^\'\\]|\\.)*\'|\s*\+\s*)+)\s*;',
body, re.DOTALL
):
_vname = _sv.group(1)
_raw = _sv.group(2)
_parts = re.findall(r'"((?:[^"\\]|\\.)*?)"|\'((?:[^\'\\]|\\.)*?)\'', _raw)
_joined = ''.join(p[0] or p[1] for p in _parts)
# Collapse JS newline/tab escapes to spaces so the HS source is flat.
_joined = _joined.replace('\\n', ' ').replace('\\t', ' ')
_str_vars[_vname] = _joined
if _str_vars:
for _vname, _val in _str_vars.items():
_escaped = _val.replace('"', '\\"')
body = re.sub(r'\brun\(' + re.escape(_vname) + r'\b', f'run("{_escaped}"', body)
# Window setups from `evaluate(() => { window.X = Y })` blocks.
# These get merged into local_pairs so the HS expression can reference them.
window_setups = extract_window_setups(body)
@@ -2697,10 +2634,10 @@ def generate_eval_only_test(test, idx):
f'(list (quote {n}) {v})' for n, v in pairs
) + ')'
if use_deep:
return f' (assert-equal {expected_sx} (hs-strip-order-deep (eval-hs-locals "{hs_expr}" {locals_sx})))'
return f' (assert-equal {expected_sx} (eval-hs-locals "{hs_expr}" {locals_sx}))'
return f' (assert= (eval-hs-locals "{hs_expr}" {locals_sx}) {expected_sx})'
if use_deep:
return f' (assert-equal {expected_sx} (hs-strip-order-deep (eval-hs "{hs_expr}")))'
return f' (assert-equal {expected_sx} (eval-hs "{hs_expr}"))'
return f' (assert= (eval-hs "{hs_expr}") {expected_sx})'
# Shared sub-pattern for run() call with optional String.raw and extra args:
@@ -3101,20 +3038,6 @@ def generate_eval_only_test(test, idx):
expected_sx = js_val_to_sx(be_match.group(1))
assertions.append(f' (assert= (eval-hs "{hs_expr}") {expected_sx})')
# Pattern 2d: evalStatically() + toMatch(/cannot be evaluated statically/)
# Handles: try { _hyperscript.parse("expr").evalStatically(); } catch(e) { return e.message; }
# followed by: expect(msg).toMatch(/cannot be evaluated statically/)
# Uses guard directly because try-call in hs-run-filtered.js is a registration stub
# and assert-throws cannot catch exceptions during test execution.
if not assertions:
if 'evalStatically' in body and 'cannot be evaluated statically' in body:
for m in re.finditer(
r'_hyperscript\.parse\((["\x27])(.+?)\1\)\.evalStatically\(\)',
body
):
hs_expr = extract_hs_expr(m.group(2))
assertions.append(f' (guard (_e (true nil)) (hs-eval-statically "{hs_expr}") (error "hs-eval-statically did not throw for: {hs_expr}"))')
# Pattern 2e: run() with side-effects on window, checked via
# const X = await evaluate(() => <js-expr>); expect(X).toBe(val)
# The const holds the evaluated JS expr, not the run() return value,
@@ -3176,27 +3099,7 @@ def generate_eval_only_test(test, idx):
body, re.DOTALL
):
hs_expr = extract_hs_expr(m.group(2))
assertions.append(f' (assert-throws (fn () (eval-hs "{hs_expr}")))')
# Pattern 4: error("expr").toBeNull() — parsing/eval must not throw
if not assertions:
for m in re.finditer(
r'error\((["\x27])(.+?)\1\).*?toBeNull\(\)',
body, re.DOTALL
):
hs_expr = extract_hs_expr(m.group(2))
assertions.append(f' (hs-compile "{hs_expr}")')
# Pattern 5: error("expr") assigned and checked with toMatch — must throw
# Handles: const/var msg = await error("expr"); expect(msg).toMatch(/.../)
# The error() helper captures exceptions; we just assert-throws.
if not assertions:
for m in re.finditer(
r'(?:const|var|let)\s+\w+\s*=\s*await\s+error\((["\x27])(.+?)\1\)',
body, re.DOTALL
):
hs_expr = extract_hs_expr(m.group(2))
assertions.append(f' (assert-throws (fn () (eval-hs "{hs_expr}")))')
assertions.append(f' (assert-throws (eval-hs "{hs_expr}"))')
if not assertions:
return None # Can't convert this body pattern
@@ -3237,11 +3140,6 @@ def generate_compile_only_test(test):
def generate_test(test, idx):
"""Generate SX deftest for an upstream test. Dispatches to Chai, PW, or eval-only."""
if test['name'] in MANUAL_TEST_BODIES:
name = sx_name(test['name'])
lines = [f' (deftest "{name}"'] + MANUAL_TEST_BODIES[test['name']] + [' )']
return '\n'.join(lines)
elements = parse_html(test['html'])
if not elements and not test.get('html', '').strip():
@@ -3567,17 +3465,6 @@ output.append(' (nth _e 1)')
output.append(' (raise _e))))')
output.append(' (handler me-val))))))')
output.append('')
output.append(';; Evaluate a HS expression using evalStatically semantics:')
output.append(';; only literal values (numbers, strings, booleans, null, time units)')
output.append(';; succeed — any other expression raises "cannot be evaluated statically".')
output.append('(define hs-eval-statically')
output.append(' (fn (src)')
output.append(' (let ((ast (hs-compile src)))')
output.append(' (if (or (number? ast) (string? ast) (boolean? ast)')
output.append(' (and (list? ast) (= (first ast) (quote null-literal))))')
output.append(' (eval-hs src)')
output.append(' (raise "cannot be evaluated statically")))))')
output.append('')
# Group by category
categories = OrderedDict()

170
tools/mcp_hs_test.py
View File

@@ -19,7 +19,6 @@ import time
PROJECT_DIR = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
RUNNER_PATH = os.path.join(PROJECT_DIR, "tests/hs-run-filtered.js")
GEN_PATH = os.path.join(PROJECT_DIR, "tests/playwright/generate-sx-tests.py")
EVAL_PATH = os.path.join(PROJECT_DIR, "tests/hs-kernel-eval.js")
# ---------------------------------------------------------------------------
@@ -219,135 +218,6 @@ def hs_test_status(args):
return text_result("\n".join(info))
# ---------------------------------------------------------------------------
# Shared helper: run hs-kernel-eval.js
# ---------------------------------------------------------------------------
def _kernel_eval(mode, expr, setup=None, files=None, timeout_secs=60):
"""Run hs-kernel-eval.js and return a text_result."""
if not os.path.isfile(EVAL_PATH):
return error_result(f"Eval script not found at {EVAL_PATH}")
env = os.environ.copy()
env["HS_EVAL_MODE"] = mode
env["HS_EVAL_EXPR"] = expr
env["HS_EVAL_TIMEOUT_MS"] = str(max(5000, int(timeout_secs) * 1000))
if setup:
env["HS_EVAL_SETUP"] = setup
if files:
env["HS_EVAL_FILES"] = ",".join(files)
timeout = max(10, min(int(timeout_secs), 300))
try:
r = subprocess.run(
["node", EVAL_PATH],
cwd=PROJECT_DIR, env=env,
capture_output=True, text=True, timeout=timeout,
)
except subprocess.TimeoutExpired:
return error_result(f"Kernel eval timed out after {timeout}s")
stderr = (r.stderr or "").strip()
stdout = (r.stdout or "").strip()
# Parse JSON result from stdout
try:
import json
data = json.loads(stdout)
if data.get("ok"):
result = data.get("result", "nil")
# Unescape JSON-stringified result
try:
result = json.loads(result)
except Exception:
pass
out = f"Result: {result}"
else:
out = f"Error: {data.get('error', 'unknown error')}"
except Exception:
out = stdout or "(no output)"
if stderr:
# Filter noisy load-progress lines, keep errors
err_lines = [l for l in stderr.splitlines()
if not l.startswith("Loading") and not l.startswith("Modules") and "ms" not in l]
if err_lines:
out += "\n\nstderr:\n" + "\n".join(err_lines)
return text_result(out)
# ---------------------------------------------------------------------------
# Tool: sx_kernel_eval
# ---------------------------------------------------------------------------
def sx_kernel_eval(args):
"""Evaluate a SX expression in the full WASM kernel with HS modules loaded.
The kernel includes mock DOM, so HS runtime functions (hs-repeat-forever,
hs-compile, dom-dispatch, etc.) are available. Use this when sx_harness_eval
fails due to missing host primitives (host-new, host-get, etc.).
Args:
expr: SX expression to evaluate (required).
setup: SX setup expression run before main eval (optional).
files: List of .sx files to load before eval (optional).
timeout_secs: Wall-clock cap in seconds (default 60, max 300).
"""
expr = args.get("expr", "").strip()
if not expr:
return error_result("'expr' is required")
return _kernel_eval(
mode="eval",
expr=expr,
setup=args.get("setup"),
files=args.get("files"),
timeout_secs=int(args.get("timeout_secs", 60)),
)
# ---------------------------------------------------------------------------
# Tool: hs_compile_inspect
# ---------------------------------------------------------------------------
def hs_compile_inspect(args):
"""Compile an HS source string and return the generated SX AST.
Runs hs-compile on the source and returns its string representation.
Useful for debugging what AST the HS compiler produces for a given snippet.
Args:
hs_source: HS source code to compile (required).
timeout_secs: Wall-clock cap in seconds (default 30).
"""
src = args.get("hs_source", "").strip()
if not src:
return error_result("'hs_source' is required")
return _kernel_eval(
mode="compile",
expr=src,
timeout_secs=int(args.get("timeout_secs", 30)),
)
# ---------------------------------------------------------------------------
# Tool: hs_parse_inspect
# ---------------------------------------------------------------------------
def hs_parse_inspect(args):
"""Parse an HS source string and return the raw parser AST (before compilation).
Runs hs-parse on the source and returns its string representation.
Useful for debugging tokenizer/parser output before the compiler sees it.
Args:
hs_source: HS source code to parse (required).
timeout_secs: Wall-clock cap in seconds (default 30).
"""
src = args.get("hs_source", "").strip()
if not src:
return error_result("'hs_source' is required")
return _kernel_eval(
mode="parse",
expr=src,
timeout_secs=int(args.get("timeout_secs", 30)),
)
# ---------------------------------------------------------------------------
# JSON-RPC dispatch
# ---------------------------------------------------------------------------
@@ -395,40 +265,6 @@ TOOLS = [
{},
[],
),
tool(
"sx_kernel_eval",
"Evaluate a SX expression in the full WASM kernel with HS modules and mock DOM loaded. "
"Use when sx_harness_eval fails due to missing host primitives (host-new, host-get, etc.). "
"Has access to hs-compile, hs-parse, hs-repeat-forever, dom-dispatch, etc.",
{
"expr": {"type": "string", "description": "SX expression to evaluate"},
"setup": {"type": "string", "description": "SX setup expression run before eval (optional)"},
"files": {"type": "array", "items": {"type": "string"},
"description": "Extra .sx files to load before eval (optional)"},
"timeout_secs": {"type": "integer", "description": "Wall-clock cap in seconds (default 60, max 300)"},
},
["expr"],
),
tool(
"hs_compile_inspect",
"Compile an HS source snippet and return the generated SX AST string. "
"Runs hs-compile and returns (str result). Use to debug what AST the compiler produces.",
{
"hs_source": {"type": "string", "description": "HS source code to compile"},
"timeout_secs": {"type": "integer", "description": "Wall-clock cap in seconds (default 30)"},
},
["hs_source"],
),
tool(
"hs_parse_inspect",
"Parse an HS source snippet and return the raw parser AST (before compilation). "
"Runs hs-parse and returns (str result). Use to debug tokenizer/parser output.",
{
"hs_source": {"type": "string", "description": "HS source code to parse"},
"timeout_secs": {"type": "integer", "description": "Wall-clock cap in seconds (default 30)"},
},
["hs_source"],
),
]
@@ -442,12 +278,6 @@ def handle_tool(name, args):
return hs_test_regen(args)
case "hs_test_status":
return hs_test_status(args)
case "sx_kernel_eval":
return sx_kernel_eval(args)
case "hs_compile_inspect":
return hs_compile_inspect(args)
case "hs_parse_inspect":
return hs_parse_inspect(args)
case _:
return error_result(f"Unknown tool: {name}")