giles
71c2003a60
Major architectural change: page function dispatch and handler execution
now go through the OCaml kernel instead of the Python bootstrapped evaluator.
OCaml integration:
- Page dispatch: bridge.eval() evaluates SX URL expressions (geography, marshes, etc.)
- Handler aser: bridge.aser() serializes handler responses as SX wire format
- _ensure_components loads all .sx files into OCaml kernel (spec, web adapter, handlers)
- defhandler/defpage registered as no-op special forms so handler files load
- helper IO primitive dispatches to Python page helpers + IO handlers
- ok-raw response format for SX wire format (no double-escaping)
- Natural list serialization in eval (no (list ...) wrapper)
- Clean pipe: _read_until_ok always sends io-response on error
SX adapter (aser):
- scope-emit!/scope-peek aliases to avoid CEK special form conflict
- aser-fragment/aser-call: strings starting with "(" pass through unserialized
- Registered cond-scheme?, is-else-clause?, primitive?, get-primitive in kernel
- random-int, parse-int as kernel primitives; json-encode, into via IO bridge
Handler migration:
- All IO calls converted to (helper "name" args...) pattern
- request-arg, request-form, state-get, state-set!, now, component-source etc.
- Fixed bare (effect ...) in island bodies leaking disposer functions as text
- Fixed lower-case → lower, ~search-results → ~examples/search-results
Reactive islands:
- sx-hydrate-islands called after client-side navigation swap
- force-dispose-islands-in for outerHTML swaps (clears hydration markers)
- clear-processed! platform primitive for re-hydration
Content restructuring:
- Design, event bridge, named stores, phase 2 consolidated into reactive overview
- Marshes split into overview + 5 example sub-pages
- Nav links use sx-get/sx-target for client-side navigation
Playwright test suite (sx/tests/test_demos.py):
- 83 tests covering hypermedia demos, reactive islands, marshes, spec explorer
- Server-side rendering, handler interactions, island hydration, navigation
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
150 lines
5.5 KiB
Plaintext
150 lines
5.5 KiB
Plaintext
;; SX reference — defhandler definitions for attribute detail demos
|
|
;;
|
|
;; These serve the live demos on the Reference > Attributes detail pages.
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; Shared: return server time
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-time (&key)
|
|
(let ((now (helper "now" "%H:%M:%S")))
|
|
(span :class "text-stone-800 text-sm"
|
|
"Server time: " (strong now))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-post: greet
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-greet (&key)
|
|
(let ((name (or (form-data "name") "stranger")))
|
|
(span :class "text-stone-800 text-sm"
|
|
"Hello, " (strong name) "!")))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-put: update status
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-status (&key)
|
|
(let ((status (or (form-data "status") "unknown")))
|
|
(span :class "text-stone-700 text-sm"
|
|
"Status: " (strong status) " — updated via PUT")))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-patch: update theme
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-theme (&key)
|
|
(let ((theme (or (form-data "theme") "unknown")))
|
|
(str theme)))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-delete: remove item
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-delete (&key item-id)
|
|
"")
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-trigger: search
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-trigger-search (&key)
|
|
(let ((q (helper "request-arg" "q" "")))
|
|
(if (empty? q)
|
|
(span :class "text-stone-400 text-sm" "Start typing to trigger a search.")
|
|
(span :class "text-stone-800 text-sm"
|
|
"Results for: " (strong q)))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-swap: new item
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-swap-item (&key)
|
|
(let ((now (helper "now" "%H:%M:%S")))
|
|
(div :class "text-sm text-violet-700"
|
|
"New item (" now ")")))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-swap-oob: update two targets
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-oob (&key)
|
|
(let ((now (helper "now" "%H:%M:%S")))
|
|
(<>
|
|
(span :class "text-emerald-700 text-sm"
|
|
"Main updated at " now)
|
|
(div :id "ref-oob-side" :sx-swap-oob "innerHTML"
|
|
(span :class "text-violet-700 text-sm"
|
|
"OOB updated at " now)))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-select: page with multiple sections
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-select-page (&key)
|
|
(let ((now (helper "now" "%H:%M:%S")))
|
|
(<>
|
|
(div :id "the-header"
|
|
(h3 "Page header — not selected"))
|
|
(div :id "the-content"
|
|
(span :class "text-emerald-700 text-sm"
|
|
"This fragment was selected from a larger response. Time: " now))
|
|
(div :id "the-footer"
|
|
(p "Page footer — not selected")))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-sync: slow echo
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-slow-echo (&key)
|
|
(sleep 800)
|
|
(let ((q (helper "request-arg" "q" "")))
|
|
(span :class "text-stone-800 text-sm"
|
|
"Echo: " (strong q))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-encoding: file upload name
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-upload-name (&key)
|
|
(let ((name (or (file-name "file") "(no file)")))
|
|
(span :class "text-stone-800 text-sm"
|
|
"Received: " (strong name))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-headers: echo custom headers
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-echo-headers (&key)
|
|
(let ((headers (helper "request-headers" :prefix "X-")))
|
|
(if (empty? headers)
|
|
(span :class "text-stone-400 text-sm" "No custom headers received.")
|
|
(ul :class "text-sm text-stone-700 space-y-1"
|
|
(map (fn (h)
|
|
(li (strong (first h)) ": " (last h)))
|
|
headers)))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-include / sx-vals: echo all values
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-echo-vals (&key)
|
|
(let ((vals (helper "request-args")))
|
|
(if (empty? vals)
|
|
(span :class "text-stone-400 text-sm" "No values received.")
|
|
(ul :class "text-sm text-stone-700 space-y-1"
|
|
(map (fn (v)
|
|
(li (strong (first v)) ": " (last v)))
|
|
vals)))))
|
|
|
|
;; ---------------------------------------------------------------------------
|
|
;; sx-retry: flaky endpoint
|
|
;; ---------------------------------------------------------------------------
|
|
|
|
(defhandler ref-flaky (&key)
|
|
(let ((n (inc-counter "ref-flaky")))
|
|
(if (!= (mod n 3) 0)
|
|
(error 503)
|
|
(span :class "text-emerald-700 text-sm"
|
|
"Success on attempt " n "!"))))
|