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

HS: step limit + meta.caller (+4 tests)

Browse Source 
- _NO_STEP_LIMIT set exempts hypertrace tests from the 200k step cap
- globalThis.__hs_deadline exposed so cek_step_loop wall-clock check
  (every 10k steps) can terminate runaway async loops without needing
  to go through host-call or _driveAsync
- meta + _hs-on-caller added to hs-runtime.sx (both lib and bundled):
  on-event handlers now set meta.caller to an object with
  meta.feature.type = "onFeature" before calling the handler

Tests 196 (async hypertrace), 198 (meta.caller), 199, 200 now pass.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
giles
2026-04-26 12:29:23 +00:00
parent e989ff3865
commit 6a1cbdcbdb
4 changed files with 147 additions and 103 deletions
Download Patch File Download Diff File Expand all files Collapse all files

199
lib/hyperscript/runtime.sx
View File

@@ -43,17 +43,7 @@
;; Run an initializer function immediately. ;; Run an initializer function immediately.
;; (hs-init thunk) — called at element boot time ;; (hs-init thunk) — called at element boot time
(define (define meta (host-new "Object"))
hs-on
(fn
(target event-name handler)
(let
((wrapped (fn (event) (guard (e ((and (not (= event-name "exception")) (not (= event-name "error"))) (dom-dispatch target "exception" {:error e})) (true (raise e))) (handler event)))))
(let
((unlisten (dom-listen target event-name wrapped))
(prev (or (dom-get-data target "hs-unlisteners") (list))))
(dom-set-data target "hs-unlisteners" (append prev (list unlisten)))
unlisten))))
;; ── Async / timing ────────────────────────────────────────────── ;; ── Async / timing ──────────────────────────────────────────────
@@ -61,11 +51,39 @@
;; In hyperscript, wait is async-transparent — execution pauses. ;; In hyperscript, wait is async-transparent — execution pauses.
;; Here we use perform/IO suspension for true pause semantics. ;; Here we use perform/IO suspension for true pause semantics.
(define (define
hs-on-every _hs-on-caller
(fn (target event-name handler) (dom-listen target event-name handler))) (let
((_ctx (host-new "Object"))
(_m (host-new "Object"))
(_f (host-new "Object")))
(do
(host-set! _f "type" "onFeature")
(host-set! _m "feature" _f)
(host-set! _ctx "meta" _m)
_ctx)))
;; Wait for a DOM event on a target. ;; Wait for a DOM event on a target.
;; (hs-wait-for target event-name) — suspends until event fires ;; (hs-wait-for target event-name) — suspends until event fires
(define
hs-on
(fn
(target event-name handler)
(let
((wrapped (fn (event) (do (host-set! meta "caller" _hs-on-caller) (guard (e ((and (not (= event-name "exception")) (not (= event-name "error"))) (dom-dispatch target "exception" {:error e})) (true (raise e))) (handler event))))))
(let
((unlisten (dom-listen target event-name wrapped))
(prev (or (dom-get-data target "hs-unlisteners") (list))))
(dom-set-data target "hs-unlisteners" (append prev (list unlisten)))
unlisten))))
;; Wait for CSS transitions/animations to settle on an element.
(define
hs-on-every
(fn (target event-name handler) (dom-listen target event-name handler)))
;; ── Class manipulation ──────────────────────────────────────────
;; Toggle a single class on an element.
(define (define
hs-on-intersection-attach! hs-on-intersection-attach!
(fn (fn
@@ -81,7 +99,7 @@
(host-call observer "observe" target) (host-call observer "observe" target)
observer))))) observer)))))
;; Wait for CSS transitions/animations to settle on an element. ;; Toggle between two classes — exactly one is active at a time.
(define (define
hs-on-mutation-attach! hs-on-mutation-attach!
(fn (fn
@@ -102,16 +120,19 @@
(host-call observer "observe" target opts) (host-call observer "observe" target opts)
observer)))))) observer))))))
;; ── Class manipulation ──────────────────────────────────────────
;; Toggle a single class on an element.
(define hs-init (fn (thunk) (thunk)))
;; Toggle between two classes — exactly one is active at a time.
(define hs-wait (fn (ms) (perform (list (quote io-sleep) ms))))
;; Take a class from siblings — add to target, remove from others. ;; Take a class from siblings — add to target, remove from others.
;; (hs-take! target cls) — like radio button class behavior ;; (hs-take! target cls) — like radio button class behavior
(define hs-init (fn (thunk) (thunk)))
;; ── DOM insertion ───────────────────────────────────────────────
;; Put content at a position relative to a target.
;; pos: "into" | "before" | "after"
(define hs-wait (fn (ms) (perform (list (quote io-sleep) ms))))
;; ── Navigation / traversal ──────────────────────────────────────
;; Navigate to a URL.
(begin (begin
(define (define
hs-wait-for hs-wait-for
@@ -124,20 +145,15 @@
(target event-name timeout-ms) (target event-name timeout-ms)
(perform (list (quote io-wait-event) target event-name timeout-ms))))) (perform (list (quote io-wait-event) target event-name timeout-ms)))))
;; ── DOM insertion ─────────────────────────────────────────────── ;; Find next sibling matching a selector (or any sibling).
;; Put content at a position relative to a target.
;; pos: "into" | "before" | "after"
(define hs-settle (fn (target) (perform (list (quote io-settle) target)))) (define hs-settle (fn (target) (perform (list (quote io-settle) target))))
;; ── Navigation / traversal ────────────────────────────────────── ;; Find previous sibling matching a selector.
;; Navigate to a URL.
(define (define
hs-toggle-class! hs-toggle-class!
(fn (target cls) (host-call (host-get target "classList") "toggle" cls))) (fn (target cls) (host-call (host-get target "classList") "toggle" cls)))
;; Find next sibling matching a selector (or any sibling). ;; First element matching selector within a scope.
(define (define
hs-toggle-between! hs-toggle-between!
(fn (fn
@@ -147,7 +163,7 @@
(do (dom-remove-class target cls1) (dom-add-class target cls2)) (do (dom-remove-class target cls1) (dom-add-class target cls2))
(do (dom-remove-class target cls2) (dom-add-class target cls1))))) (do (dom-remove-class target cls2) (dom-add-class target cls1)))))
;; Find previous sibling matching a selector. ;; Last element matching selector.
(define (define
hs-toggle-style! hs-toggle-style!
(fn (fn
@@ -171,7 +187,7 @@
(dom-set-style target prop "hidden") (dom-set-style target prop "hidden")
(dom-set-style target prop ""))))))) (dom-set-style target prop "")))))))
;; First element matching selector within a scope. ;; First/last within a specific scope.
(define (define
hs-toggle-style-between! hs-toggle-style-between!
(fn (fn
@@ -183,7 +199,6 @@
(dom-set-style target prop val2) (dom-set-style target prop val2)
(dom-set-style target prop val1))))) (dom-set-style target prop val1)))))
;; Last element matching selector.
(define (define
hs-toggle-style-cycle! hs-toggle-style-cycle!
(fn (fn
@@ -204,7 +219,9 @@
(true (find-next (rest remaining)))))) (true (find-next (rest remaining))))))
(dom-set-style target prop (find-next vals))))) (dom-set-style target prop (find-next vals)))))
;; First/last within a specific scope. ;; ── Iteration ───────────────────────────────────────────────────
;; Repeat a thunk N times.
(define (define
hs-take! hs-take!
(fn (fn
@@ -244,6 +261,7 @@
(dom-set-attr target name attr-val) (dom-set-attr target name attr-val)
(dom-set-attr target name "")))))))) (dom-set-attr target name ""))))))))
;; Repeat forever (until break — relies on exception/continuation).
(begin (begin
(define (define
hs-element? hs-element?
@@ -355,9 +373,10 @@
(dom-insert-adjacent-html target "beforeend" value) (dom-insert-adjacent-html target "beforeend" value)
(hs-boot-subtree! target))))))))) (hs-boot-subtree! target)))))))))
;; ── Iteration ─────────────────────────────────────────────────── ;; ── Fetch ───────────────────────────────────────────────────────
;; Repeat a thunk N times. ;; Fetch a URL, parse response according to format.
;; (hs-fetch url format) — format is "json" | "text" | "html"
(define (define
hs-add-to! hs-add-to!
(fn (fn
@@ -370,7 +389,10 @@
(append target (list value)))) (append target (list value))))
(true (do (host-call target "push" value) target))))) (true (do (host-call target "push" value) target)))))
;; Repeat forever (until break — relies on exception/continuation). ;; ── Type coercion ───────────────────────────────────────────────
;; Coerce a value to a type by name.
;; (hs-coerce value type-name) — type-name is "Int", "Float", "String", etc.
(define (define
hs-remove-from! hs-remove-from!
(fn (fn
@@ -380,10 +402,10 @@
(filter (fn (x) (not (= x value))) target) (filter (fn (x) (not (= x value))) target)
(host-call target "splice" (host-call target "indexOf" value) 1)))) (host-call target "splice" (host-call target "indexOf" value) 1))))
;; ── Fetch ─────────────────────────────────────────────────────── ;; ── Object creation ─────────────────────────────────────────────
;; Fetch a URL, parse response according to format. ;; Make a new object of a given type.
;; (hs-fetch url format) — format is "json" | "text" | "html" ;; (hs-make type-name) — creates empty object/collection
(define (define
hs-splice-at! hs-splice-at!
(fn (fn
@@ -407,10 +429,11 @@
(host-call target "splice" i 1)))) (host-call target "splice" i 1))))
target)))) target))))
;; ── Type coercion ─────────────────────────────────────────────── ;; ── Behavior installation ───────────────────────────────────────
;; Coerce a value to a type by name. ;; Install a behavior on an element.
;; (hs-coerce value type-name) — type-name is "Int", "Float", "String", etc. ;; A behavior is a function that takes (me ...params) and sets up features.
;; (hs-install behavior-fn me ...args)
(define (define
hs-index hs-index
(fn (fn
@@ -422,10 +445,10 @@
((string? obj) (nth obj key)) ((string? obj) (nth obj key))
(true (host-get obj key))))) (true (host-get obj key)))))
;; ── Object creation ───────────────────────────────────────────── ;; ── Measurement ─────────────────────────────────────────────────
;; Make a new object of a given type. ;; Measure an element's bounding rect, store as local variables.
;; (hs-make type-name) — creates empty object/collection ;; Returns a dict with x, y, width, height, top, left, right, bottom.
(define (define
hs-put-at! hs-put-at!
(fn (fn
@@ -447,11 +470,10 @@
((= pos "start") (host-call target "unshift" value))) ((= pos "start") (host-call target "unshift" value)))
target))))))) target)))))))
;; ── Behavior installation ─────────────────────────────────────── ;; Return the current text selection as a string. In the browser this is
;; `window.getSelection().toString()`. In the mock test runner, a test
;; Install a behavior on an element. ;; setup stashes the desired selection text at `window.__test_selection`
;; A behavior is a function that takes (me ...params) and sets up features. ;; and the fallback path returns that so tests can assert on the result.
;; (hs-install behavior-fn me ...args)
(define (define
hs-dict-without hs-dict-without
(fn (fn
@@ -472,27 +494,19 @@
(host-call (host-global "Reflect") "deleteProperty" out key) (host-call (host-global "Reflect") "deleteProperty" out key)
out))))) out)))))
;; ── Measurement ─────────────────────────────────────────────────
;; Measure an element's bounding rect, store as local variables. ;; ── Transition ──────────────────────────────────────────────────
;; Returns a dict with x, y, width, height, top, left, right, bottom.
;; Transition a CSS property to a value, optionally with duration.
;; (hs-transition target prop value duration)
(define (define
hs-set-on! hs-set-on!
(fn (fn
(props target) (props target)
(for-each (fn (k) (host-set! target k (get props k))) (keys props)))) (for-each (fn (k) (host-set! target k (get props k))) (keys props))))
;; Return the current text selection as a string. In the browser this is
;; `window.getSelection().toString()`. In the mock test runner, a test
;; setup stashes the desired selection text at `window.__test_selection`
;; and the fallback path returns that so tests can assert on the result.
(define hs-navigate! (fn (url) (perform (list (quote io-navigate) url)))) (define hs-navigate! (fn (url) (perform (list (quote io-navigate) url))))
;; ── Transition ──────────────────────────────────────────────────
;; Transition a CSS property to a value, optionally with duration.
;; (hs-transition target prop value duration)
(define (define
hs-ask hs-ask
(fn (fn
@@ -631,6 +645,10 @@
(true (find-next (dom-next-sibling el)))))) (true (find-next (dom-next-sibling el))))))
(find-next sibling))))) (find-next sibling)))))
(define (define
hs-previous hs-previous
(fn (fn
@@ -653,11 +671,8 @@
(define (define
hs-query-all hs-query-all
(fn (sel) (host-call (dom-body) "querySelectorAll" sel))) (fn (sel) (host-call (dom-body) "querySelectorAll" sel)))
;; ── Sandbox/test runtime additions ──────────────────────────────
;; Property access — dot notation and .length
(define (define
hs-query-all-in hs-query-all-in
(fn (fn
@@ -666,22 +681,23 @@
(nil? target) (nil? target)
(hs-query-all sel) (hs-query-all sel)
(host-call target "querySelectorAll" sel)))) (host-call target "querySelectorAll" sel))))
;; DOM query stub — sandbox returns empty list
(define (define
hs-list-set hs-list-set
(fn (fn
(lst idx val) (lst idx val)
(append (take lst idx) (cons val (drop lst (+ idx 1)))))) (append (take lst idx) (cons val (drop lst (+ idx 1))))))
;; ── Sandbox/test runtime additions ────────────────────────────── ;; Method dispatch — obj.method(args)
;; Property access — dot notation and .length
(define (define
hs-to-number hs-to-number
(fn (v) (if (number? v) v (or (parse-number (str v)) 0)))) (fn (v) (if (number? v) v (or (parse-number (str v)) 0))))
;; DOM query stub — sandbox returns empty list
;; ── 0.9.90 features ─────────────────────────────────────────────
;; beep! — debug logging, returns value unchanged
(define (define
hs-query-first hs-query-first
(fn (sel) (host-call (host-global "document") "querySelector" sel))) (fn (sel) (host-call (host-global "document") "querySelector" sel)))
;; Method dispatch — obj.method(args) ;; Property-based is — check obj.key truthiness
(define (define
hs-query-last hs-query-last
(fn (fn
@@ -689,11 +705,9 @@
(let (let
((all (dom-query-all (dom-body) sel))) ((all (dom-query-all (dom-body) sel)))
(if (> (len all) 0) (nth all (- (len all) 1)) nil)))) (if (> (len all) 0) (nth all (- (len all) 1)) nil))))
;; Array slicing (inclusive both ends)
;; ── 0.9.90 features ─────────────────────────────────────────────
;; beep! — debug logging, returns value unchanged
(define hs-first (fn (scope sel) (dom-query-all scope sel))) (define hs-first (fn (scope sel) (dom-query-all scope sel)))
;; Property-based is — check obj.key truthiness ;; Collection: sorted by
(define (define
hs-last hs-last
(fn (fn
@@ -701,7 +715,7 @@
(let (let
((all (dom-query-all scope sel))) ((all (dom-query-all scope sel)))
(if (> (len all) 0) (nth all (- (len all) 1)) nil)))) (if (> (len all) 0) (nth all (- (len all) 1)) nil))))
;; Array slicing (inclusive both ends) ;; Collection: sorted by descending
(define (define
hs-repeat-times hs-repeat-times
(fn (fn
@@ -719,7 +733,7 @@
((= signal "hs-continue") (do-repeat (+ i 1))) ((= signal "hs-continue") (do-repeat (+ i 1)))
(true (do-repeat (+ i 1)))))))) (true (do-repeat (+ i 1))))))))
(do-repeat 0))) (do-repeat 0)))
;; Collection: sorted by ;; Collection: split by
(define (define
hs-repeat-forever hs-repeat-forever
(fn (fn
@@ -735,7 +749,7 @@
((= signal "hs-continue") (do-forever)) ((= signal "hs-continue") (do-forever))
(true (do-forever)))))) (true (do-forever))))))
(do-forever))) (do-forever)))
;; Collection: sorted by descending ;; Collection: joined by
(define (define
hs-repeat-while hs-repeat-while
(fn (fn
@@ -748,7 +762,7 @@
((= signal "hs-break") nil) ((= signal "hs-break") nil)
((= signal "hs-continue") (hs-repeat-while cond-fn thunk)) ((= signal "hs-continue") (hs-repeat-while cond-fn thunk))
(true (hs-repeat-while cond-fn thunk))))))) (true (hs-repeat-while cond-fn thunk)))))))
;; Collection: split by
(define (define
hs-repeat-until hs-repeat-until
(fn (fn
@@ -760,7 +774,7 @@
((= signal "hs-continue") ((= signal "hs-continue")
(if (cond-fn) nil (hs-repeat-until cond-fn thunk))) (if (cond-fn) nil (hs-repeat-until cond-fn thunk)))
(true (if (cond-fn) nil (hs-repeat-until cond-fn thunk))))))) (true (if (cond-fn) nil (hs-repeat-until cond-fn thunk)))))))
;; Collection: joined by
(define (define
hs-for-each hs-for-each
(fn (fn
@@ -2511,6 +2525,8 @@
((nth entry 2) val))) ((nth entry 2) val)))
_hs-dom-watchers))) _hs-dom-watchers)))
;; ── SourceInfo API ────────────────────────────────────────────────
(define (define
hs-dom-is-ancestor? hs-dom-is-ancestor?
(fn (fn
@@ -2526,8 +2542,6 @@
(fn-name args) (fn-name args)
(let ((fn (host-global fn-name))) (if fn (host-call-fn fn args) nil)))) (let ((fn (host-global fn-name))) (if fn (host-call-fn fn args) nil))))
;; ── SourceInfo API ────────────────────────────────────────────────
(define (define
hs-source-for hs-source-for
(fn (fn
@@ -2543,16 +2557,9 @@
(line-idx (- (get node :line) 1))) (line-idx (- (get node :line) 1)))
(if (< line-idx (len lines)) (nth lines line-idx) "")))) (if (< line-idx (len lines)) (nth lines line-idx) ""))))
(define (define hs-node-get (fn (node key) (get (get node :fields) key)))
hs-node-get
(fn
(node key)
(get (get node :fields) key)))
(define (define hs-src (fn (src-str) (hs-source-for (hs-parse-ast src-str))))
hs-src
(fn (src-str)
(hs-source-for (hs-parse-ast src-str))))
(define (define
hs-src-at hs-src-at
@@ -2562,7 +2569,8 @@
walk walk
(fn (fn
(node keys) (node keys)
(if (or (nil? keys) (= (len keys) 0)) (if
(or (nil? keys) (= (len keys) 0))
node node
(walk (hs-node-get node (first keys)) (rest keys))))) (walk (hs-node-get node (first keys)) (rest keys)))))
(hs-source-for (walk (hs-parse-ast src-str) path)))) (hs-source-for (walk (hs-parse-ast src-str) path))))
@@ -2575,7 +2583,8 @@
walk walk
(fn (fn
(node keys) (node keys)
(if (or (nil? keys) (= (len keys) 0)) (if
(or (nil? keys) (= (len keys) 0))
node node
(walk (hs-node-get node (first keys)) (rest keys))))) (walk (hs-node-get node (first keys)) (rest keys)))))
(hs-line-for (walk (hs-parse-ast src-str) path)))) (hs-line-for (walk (hs-parse-ast src-str) path))))

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

@@ -43,12 +43,26 @@
;; Run an initializer function immediately. ;; Run an initializer function immediately.
;; (hs-init thunk) — called at element boot time ;; (hs-init thunk) — called at element boot time
(define meta (host-new "Object"))
(define
_hs-on-caller
(let
((_ctx (host-new "Object"))
(_m (host-new "Object"))
(_f (host-new "Object")))
(do
(host-set! _f "type" "onFeature")
(host-set! _m "feature" _f)
(host-set! _ctx "meta" _m)
_ctx)))
(define (define
hs-on hs-on
(fn (fn
(target event-name handler) (target event-name handler)
(let (let
((wrapped (fn (event) (guard (e ((and (not (= event-name "exception")) (not (= event-name "error"))) (dom-dispatch target "exception" {:error e})) (true (raise e))) (handler event))))) ((wrapped (fn (event) (do (host-set! meta "caller" _hs-on-caller) (guard (e ((and (not (= event-name "exception")) (not (= event-name "error"))) (dom-dispatch target "exception" {:error e})) (true (raise e))) (handler event))))))
(let (let
((unlisten (dom-listen target event-name wrapped)) ((unlisten (dom-listen target event-name wrapped))
(prev (or (dom-get-data target "hs-unlisteners") (list)))) (prev (or (dom-get-data target "hs-unlisteners") (list))))

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

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

@@ -574,8 +574,8 @@ function _mockFetch(url) {
return { ok: route.status < 400, status: route.status || 200, url: url || '/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 || '' }; _body: route.body || '', _json: route.json || route.body || '', _html: route.html || route.body || '' };
} }
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); globalThis._driveAsync=function driveAsync(r,d){d=d||0;if(_testDeadline && Date.now()>_testDeadline)throw new Error('TIMEOUT: wall clock exceeded');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){}} 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;}}
if(opName==='io-sleep'||opName==='wait')doResume(null); if(opName==='io-sleep'||opName==='wait')doResume(null);
else if(opName==='io-fetch'){ else if(opName==='io-fetch'){
const url=typeof items[1]==='string'?items[1]:'/test'; const url=typeof items[1]==='string'?items[1]:'/test';
@@ -684,9 +684,25 @@ for(let i=startTest;i<Math.min(endTest,testCount);i++){
globalThis.__hsMutationActive = false; globalThis.__hsMutationActive = false;
globalThis.__currentHsTestName = name; globalThis.__currentHsTestName = name;
// Enable step limit for timeout protection // Hypertrace tests use async wait loops that legitimately exceed the step limit.
setStepLimit(STEP_LIMIT); // Disable CEK step counting for these — wall-clock deadline still applies.
_testDeadline = Date.now() + 10000; // 10 second wall-clock timeout per test const _NO_STEP_LIMIT = new Set([
"async hypertrace is reasonable",
"hypertrace from javascript is reasonable",
"hypertrace is reasonable",
]);
// 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) ? 0 : STEP_LIMIT);
const _SLOW_DEADLINE = {
"async hypertrace is reasonable": 8000,
"hypertrace from javascript is reasonable": 8000,
"hypertrace is reasonable": 8000,
};
_testDeadline = Date.now() + (_SLOW_DEADLINE[name] || 10000);
globalThis.__hs_deadline = _testDeadline; // expose to WASM cek_step_loop
if(process.env.HS_VERBOSE)process.stderr.write(`T${i} `); if(process.env.HS_VERBOSE)process.stderr.write(`T${i} `);
let ok=false,err=null; let ok=false,err=null;
@@ -716,7 +732,7 @@ for(let i=startTest;i<Math.min(endTest,testCount);i++){
else if(err&&err.includes('Unhandled'))t='unhandled'; else if(err&&err.includes('Unhandled'))t='unhandled';
errTypes[t]=(errTypes[t]||0)+1; errTypes[t]=(errTypes[t]||0)+1;
} }
_testDeadline = 0; _testDeadline = 0; globalThis.__hs_deadline = 0;
if((i+1)%100===0)process.stdout.write(` ${i+1}/${testCount} (${passed} pass, ${failed} fail)\n`); 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(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`); if(!ok && err && err.includes('TIMEOUT'))process.stdout.write(` TIMEOUT: test ${i} [${suite}] ${name}\n`);