From 57bab5d4091f2430b291c8ea5c1506118a22e74c Mon Sep 17 00:00:00 2001 From: Yogthos Date: Thu, 25 Jun 2026 21:49:11 -0400 Subject: [PATCH] Clojure stack traces via source registry + native frame walk MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A direct-link build emits (jolt-register-source! short-name ns name file line) once per fn def — at definition time, so zero per-call cost. On an uncaught error the reporter walks Chez's native continuation frames (jolt-throw captures the live continuation via call/cc; host conditions carry their own &continuation), maps each frame's procedure name through the registry, and prints a Clojure backtrace 'ns/name (file:line)'. Wired into both the cli and a built binary's launcher. Frames are keyed by the short munged fn name Chez actually reports (emit-fn's letrec self-binding), not jv$ns$name; a cross-namespace collision degrades to the bare frame name rather than a wrong attribution. The analyzer carries the original form's position through defn macroexpansion onto the def node. Calling a non-fn now throws a catchable ClassCastException (via jolt-throw) naming the operator, instead of a raw Chez error. Caveats (documented in source-registry.ss): names map only in direct-link/AOT closed-world builds — the open-world -e/repl/run path falls back to the top-level location; and pervasive TCO erases tail-call frames, so a mapped trace shows only the non-tail spine. JOLT_DEBUG_FRAMES dumps raw frame names. Re-mint (analyzer + backend); prelude byte-identical (direct-link off during mint). Corpus rows certified, build-smoke asserts the trace. --- host/chez/build-smoke.sh | 13 +++ host/chez/build.ss | 19 ++-- host/chez/cli.ss | 25 ++--- host/chez/rt.ss | 12 ++- host/chez/seed/image.ss | 142 +++++++++++++-------------- host/chez/seq.ss | 7 +- host/chez/source-registry.ss | 128 ++++++++++++++++++++++++ jolt-core/jolt/analyzer.clj | 13 ++- jolt-core/jolt/backend_scheme.clj | 19 +++- test/chez/build-app/src/app/core.clj | 4 + test/chez/build-app/src/app/util.clj | 9 ++ test/chez/corpus.edn | 2 + 12 files changed, 288 insertions(+), 105 deletions(-) create mode 100644 host/chez/source-registry.ss diff --git a/host/chez/build-smoke.sh b/host/chez/build-smoke.sh index 95ae1f2..9a4b536 100755 --- a/host/chez/build-smoke.sh +++ b/host/chez/build-smoke.sh @@ -81,6 +81,19 @@ fi if ! grep -q '(jv\$app.util\$shout' "$out.build/flat.ss"; then echo " FAIL: --direct-link did not emit a direct app->app call"; exit 1 fi +# A direct-link build registers fn sources, so an uncaught throw prints a Clojure +# stack trace mapping each native frame back to ns/name (file:line). +if ! grep -q 'jolt-register-source!' "$out.build/flat.ss"; then + echo " FAIL: --direct-link did not emit source registrations"; exit 1 +fi +boom_err="$(cd / && "$out" --boom 2>&1 >/dev/null)" +for frame in 'app.util/deep-boom' 'app.util/mid-boom' 'app.core/-main'; do + if ! printf '%s' "$boom_err" | grep -q "$frame"; then + echo " FAIL: stack trace missing frame $frame" + echo "--- got ----"; echo "$boom_err" + exit 1 + fi +done # Tree-shaking (opt-in): same result, and an unreachable def (the `twice` macro, # expanded at AOT and never called at runtime) is dropped. if ! JOLT_PWD="$app" bin/joltc build -m app.core -o "$out" --tree-shake >/dev/null 2>&1; then diff --git a/host/chez/build.ss b/host/chez/build.ss index 9f789a0..7aa507b 100644 --- a/host/chez/build.ss +++ b/host/chez/build.ss @@ -337,18 +337,20 @@ ;; ns + register aliases before this ns's forms; dce ;; keeps original order. (let ((src (read-file-string (cdr nf)))) - (append - (map (lambda (s) (dce-rec #t #f '() s)) - (bld-ns-prelude (car nf) src)) - (ei-emit-ns-records (car nf) src)))) + (parameterize ((rdr-source-file (cdr nf))) + (append + (map (lambda (s) (dce-rec #t #f '() s)) + (bld-ns-prelude (car nf) src)) + (ei-emit-ns-records (car nf) src))))) ordered)) (string-append entry-ns "/-main")) (values #f (apply append (map (lambda (nf) (let ((src (read-file-string (cdr nf)))) - (append (bld-ns-prelude (car nf) src) - (bld-emit-ns (car nf) src)))) + (parameterize ((rdr-source-file (cdr nf))) + (append (bld-ns-prelude (car nf) src) + (bld-emit-ns (car nf) src))))) ordered)) #f))) (lambda () @@ -400,7 +402,10 @@ " (list \"jolt-core\" \"stdlib\"))))\n")) (put-string out (string-append " (let ((mainv (var-deref " (ei-str-lit entry-ns) " \"-main\")))\n" - " (apply jolt-invoke mainv args))\n" + ;; render an uncaught throw (+ Clojure backtrace) instead + ;; of Chez's opaque dump, then exit non-zero. + " (guard (v (#t (jolt-report-throwable v (current-error-port)) (exit 1)))\n" + " (apply jolt-invoke mainv args)))\n" " (exit 0)))\n")) (close-port out)) ;; 4. compile -> boot -> embed -> link. diff --git a/host/chez/cli.ss b/host/chez/cli.ss index eddec52..590d68a 100644 --- a/host/chez/cli.ss +++ b/host/chez/cli.ss @@ -32,30 +32,17 @@ (set-source-roots! (list "jolt-core" "stdlib")) ;; Render an uncaught jolt throw (any value, not just a Chez condition) to stderr -;; and exit non-zero, instead of Chez's opaque "non-condition value" dump. An -;; ex-info shows its message + ex-data; anything else is pr-str'd. +;; and exit non-zero, instead of Chez's opaque "non-condition value" dump. The +;; message/ex-data/cause + a mapped Clojure backtrace come from the shared +;; renderer (source-registry.ss); the cli adds the top-level source location. (define (jolt-report-uncaught v) (let ((port (current-error-port))) - (if (and (jolt=2 (jolt-get v jolt-kw-ex-type jolt-nil) jolt-kw-ex-info)) - (begin - (display "Unhandled exception: " port) - (display (jolt-str-render-one (jolt-get v jolt-kw-message jolt-nil)) port) - (newline port) - (let ((data (jolt-get v jolt-kw-data jolt-nil))) - (unless (jolt-nil? data) - (display " ex-data: " port) (display (jolt-pr-str data) port) (newline port))) - (let ((cause (jolt-get v jolt-kw-cause jolt-nil))) - (when (condition? cause) - (display " cause: " port) - (display (with-output-to-string (lambda () (display-condition cause))) port) - (newline port)))) - (begin - (display "Unhandled exception: " port) - (display (if (condition? v) (with-output-to-string (lambda () (display-condition v))) (jolt-pr-str v)) port) - (newline port))) + (jolt-render-throwable v port) ;; The top-level form that was evaluating when this propagated (file:line:col). (let ((loc (jolt-current-source-string))) (when loc (display " at " port) (display loc port) (newline port))) + (let ((bt (jolt-backtrace-string v))) + (when bt (display " trace:\n" port) (display bt port))) (exit 1))) (guard (v (#t (jolt-report-uncaught v))) diff --git a/host/chez/rt.ss b/host/chez/rt.ss index 30929e7..bc5e4a5 100644 --- a/host/chez/rt.ss +++ b/host/chez/rt.ss @@ -35,7 +35,13 @@ ;; throw raises the jolt value RAW (no envelope); ;; catch (emitted as `guard`) binds it directly. Chez `raise` accepts any ;; object, so a thrown number/map/ex-info all work; uncaught -> non-zero exit. -(define (jolt-throw v) (raise v)) +;; Capture the live continuation at the throw site (identity-tagged with the +;; thrown value) so an uncaught error can walk the native frames back to a Clojure +;; stack trace (source-registry.ss). call/cc is paid only on a throw, never per +;; call; the captured k is walked, never invoked. +(define jolt-throw-cont (make-thread-parameter #f)) +(define (jolt-throw v) + (call/cc (lambda (k) (jolt-throw-cont (cons v k)) (raise v)))) ;; ex-info builds the tagged map {:jolt/type :jolt/ex-info :message :data :cause} ;; — a real jolt-hash-map, so the ex-data/ex-message/ex-cause tier fns read it ;; via jolt-get for free. Arity 2 (msg data) or 3 (msg data cause). @@ -408,3 +414,7 @@ ;; printing. Loads LAST so its set!-wraps of jolt-class/jolt=2/the printers sit ;; outermost over every earlier extension. (load "host/chez/java/bigdec.ss") + +;; Native stack traces: jv$ns$name -> source registry + continuation frame walk + +;; uncaught-throwable renderer. After the printers/equality it relies on. +(load "host/chez/source-registry.ss") diff --git a/host/chez/seed/image.ss b/host/chez/seed/image.ss index 7f9dc06..a0d6159 100644 --- a/host/chez/seed/image.ss +++ b/host/chez/seed/image.ss @@ -1,129 +1,129 @@ (guard (e (#t #f)) - (def-var! "jolt.ir" "const" (letrec ((const (lambda (v) (let fnrec7233 ((v v)) (let* ((_o$7234 (keyword #f "op")) (_o$7235 (keyword #f "const")) (_o$7236 (keyword #f "val")) (_o$7237 v)) (jolt-hash-map _o$7234 _o$7235 _o$7236 _o$7237)))))) const))) + (def-var! "jolt.ir" "const" (letrec ((const (lambda (v) (let fnrec7249 ((v v)) (let* ((_o$7250 (keyword #f "op")) (_o$7251 (keyword #f "const")) (_o$7252 (keyword #f "val")) (_o$7253 v)) (jolt-hash-map _o$7250 _o$7251 _o$7252 _o$7253)))))) const))) (guard (e (#t #f)) - (def-var! "jolt.ir" "local" (letrec ((local (lambda (name) (let fnrec7238 ((name name)) (let* ((_o$7239 (keyword #f "op")) (_o$7240 (keyword #f "local")) (_o$7241 (keyword #f "name")) (_o$7242 name)) (jolt-hash-map _o$7239 _o$7240 _o$7241 _o$7242)))))) local))) + (def-var! "jolt.ir" "local" (letrec ((local (lambda (name) (let fnrec7254 ((name name)) (let* ((_o$7255 (keyword #f "op")) (_o$7256 (keyword #f "local")) (_o$7257 (keyword #f "name")) (_o$7258 name)) (jolt-hash-map _o$7255 _o$7256 _o$7257 _o$7258)))))) local))) (guard (e (#t #f)) - (def-var! "jolt.ir" "var-ref" (letrec ((var-ref (lambda (ns name) (let fnrec7243 ((ns ns) (name name)) (let* ((_o$7244 (keyword #f "op")) (_o$7245 (keyword #f "var")) (_o$7246 (keyword #f "ns")) (_o$7247 ns) (_o$7248 (keyword #f "name")) (_o$7249 name)) (jolt-hash-map _o$7244 _o$7245 _o$7246 _o$7247 _o$7248 _o$7249)))))) var-ref))) + (def-var! "jolt.ir" "var-ref" (letrec ((var-ref (lambda (ns name) (let fnrec7259 ((ns ns) (name name)) (let* ((_o$7260 (keyword #f "op")) (_o$7261 (keyword #f "var")) (_o$7262 (keyword #f "ns")) (_o$7263 ns) (_o$7264 (keyword #f "name")) (_o$7265 name)) (jolt-hash-map _o$7260 _o$7261 _o$7262 _o$7263 _o$7264 _o$7265)))))) var-ref))) (guard (e (#t #f)) - (def-var! "jolt.ir" "the-var" (letrec ((the-var (lambda (ns name) (let fnrec7250 ((ns ns) (name name)) (let* ((_o$7251 (keyword #f "op")) (_o$7252 (keyword #f "the-var")) (_o$7253 (keyword #f "ns")) (_o$7254 ns) (_o$7255 (keyword #f "name")) (_o$7256 name)) (jolt-hash-map _o$7251 _o$7252 _o$7253 _o$7254 _o$7255 _o$7256)))))) the-var))) + (def-var! "jolt.ir" "the-var" (letrec ((the-var (lambda (ns name) (let fnrec7266 ((ns ns) (name name)) (let* ((_o$7267 (keyword #f "op")) (_o$7268 (keyword #f "the-var")) (_o$7269 (keyword #f "ns")) (_o$7270 ns) (_o$7271 (keyword #f "name")) (_o$7272 name)) (jolt-hash-map _o$7267 _o$7268 _o$7269 _o$7270 _o$7271 _o$7272)))))) the-var))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-ref" (letrec ((host-ref (lambda (name) (let fnrec7257 ((name name)) (let* ((_o$7258 (keyword #f "op")) (_o$7259 (keyword #f "host")) (_o$7260 (keyword #f "name")) (_o$7261 name)) (jolt-hash-map _o$7258 _o$7259 _o$7260 _o$7261)))))) host-ref))) + (def-var! "jolt.ir" "host-ref" (letrec ((host-ref (lambda (name) (let fnrec7273 ((name name)) (let* ((_o$7274 (keyword #f "op")) (_o$7275 (keyword #f "host")) (_o$7276 (keyword #f "name")) (_o$7277 name)) (jolt-hash-map _o$7274 _o$7275 _o$7276 _o$7277)))))) host-ref))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-static" (letrec ((host-static (lambda (class member) (let fnrec7262 ((class class) (member member)) (let* ((_o$7263 (keyword #f "op")) (_o$7264 (keyword #f "host-static")) (_o$7265 (keyword #f "class")) (_o$7266 class) (_o$7267 (keyword #f "member")) (_o$7268 member)) (jolt-hash-map _o$7263 _o$7264 _o$7265 _o$7266 _o$7267 _o$7268)))))) host-static))) + (def-var! "jolt.ir" "host-static" (letrec ((host-static (lambda (class member) (let fnrec7278 ((class class) (member member)) (let* ((_o$7279 (keyword #f "op")) (_o$7280 (keyword #f "host-static")) (_o$7281 (keyword #f "class")) (_o$7282 class) (_o$7283 (keyword #f "member")) (_o$7284 member)) (jolt-hash-map _o$7279 _o$7280 _o$7281 _o$7282 _o$7283 _o$7284)))))) host-static))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-new" (letrec ((host-new (lambda (class args) (let fnrec7269 ((class class) (args args)) (let* ((_o$7270 (keyword #f "op")) (_o$7271 (keyword #f "host-new")) (_o$7272 (keyword #f "class")) (_o$7273 class) (_o$7274 (keyword #f "args")) (_o$7275 args)) (jolt-hash-map _o$7270 _o$7271 _o$7272 _o$7273 _o$7274 _o$7275)))))) host-new))) + (def-var! "jolt.ir" "host-new" (letrec ((host-new (lambda (class args) (let fnrec7285 ((class class) (args args)) (let* ((_o$7286 (keyword #f "op")) (_o$7287 (keyword #f "host-new")) (_o$7288 (keyword #f "class")) (_o$7289 class) (_o$7290 (keyword #f "args")) (_o$7291 args)) (jolt-hash-map _o$7286 _o$7287 _o$7288 _o$7289 _o$7290 _o$7291)))))) host-new))) (guard (e (#t #f)) - (def-var! "jolt.ir" "if-node" (letrec ((if-node (lambda (test then _else) (let fnrec7276 ((test test) (then then) (_else _else)) (let* ((_o$7277 (keyword #f "op")) (_o$7278 (keyword #f "if")) (_o$7279 (keyword #f "test")) (_o$7280 test) (_o$7281 (keyword #f "then")) (_o$7282 then) (_o$7283 (keyword #f "else")) (_o$7284 _else)) (jolt-hash-map _o$7277 _o$7278 _o$7279 _o$7280 _o$7281 _o$7282 _o$7283 _o$7284)))))) if-node))) + (def-var! "jolt.ir" "if-node" (letrec ((if-node (lambda (test then _else) (let fnrec7292 ((test test) (then then) (_else _else)) (let* ((_o$7293 (keyword #f "op")) (_o$7294 (keyword #f "if")) (_o$7295 (keyword #f "test")) (_o$7296 test) (_o$7297 (keyword #f "then")) (_o$7298 then) (_o$7299 (keyword #f "else")) (_o$7300 _else)) (jolt-hash-map _o$7293 _o$7294 _o$7295 _o$7296 _o$7297 _o$7298 _o$7299 _o$7300)))))) if-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "do-node" (letrec ((do-node (lambda (statements ret) (let fnrec7285 ((statements statements) (ret ret)) (let* ((_o$7286 (keyword #f "op")) (_o$7287 (keyword #f "do")) (_o$7288 (keyword #f "statements")) (_o$7289 statements) (_o$7290 (keyword #f "ret")) (_o$7291 ret)) (jolt-hash-map _o$7286 _o$7287 _o$7288 _o$7289 _o$7290 _o$7291)))))) do-node))) + (def-var! "jolt.ir" "do-node" (letrec ((do-node (lambda (statements ret) (let fnrec7301 ((statements statements) (ret ret)) (let* ((_o$7302 (keyword #f "op")) (_o$7303 (keyword #f "do")) (_o$7304 (keyword #f "statements")) (_o$7305 statements) (_o$7306 (keyword #f "ret")) (_o$7307 ret)) (jolt-hash-map _o$7302 _o$7303 _o$7304 _o$7305 _o$7306 _o$7307)))))) do-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "invoke" (letrec ((invoke (lambda (f args) (let fnrec7292 ((f f) (args args)) (let* ((_o$7293 (keyword #f "op")) (_o$7294 (keyword #f "invoke")) (_o$7295 (keyword #f "fn")) (_o$7296 f) (_o$7297 (keyword #f "args")) (_o$7298 args)) (jolt-hash-map _o$7293 _o$7294 _o$7295 _o$7296 _o$7297 _o$7298)))))) invoke))) + (def-var! "jolt.ir" "invoke" (letrec ((invoke (lambda (f args) (let fnrec7308 ((f f) (args args)) (let* ((_o$7309 (keyword #f "op")) (_o$7310 (keyword #f "invoke")) (_o$7311 (keyword #f "fn")) (_o$7312 f) (_o$7313 (keyword #f "args")) (_o$7314 args)) (jolt-hash-map _o$7309 _o$7310 _o$7311 _o$7312 _o$7313 _o$7314)))))) invoke))) (guard (e (#t #f)) - (def-var! "jolt.ir" "def-node" (letrec ((def-node (case-lambda ((ns name init) (let fnrec7299 ((ns ns) (name name) (init init)) (let* ((_o$7300 (keyword #f "op")) (_o$7301 (keyword #f "def")) (_o$7302 (keyword #f "ns")) (_o$7303 ns) (_o$7304 (keyword #f "name")) (_o$7305 name) (_o$7306 (keyword #f "init")) (_o$7307 init)) (jolt-hash-map _o$7300 _o$7301 _o$7302 _o$7303 _o$7304 _o$7305 _o$7306 _o$7307)))) ((ns name init meta) (let fnrec7308 ((ns ns) (name name) (init init) (meta meta)) (if (jolt-truthy? meta) (let* ((_o$7309 (keyword #f "op")) (_o$7310 (keyword #f "def")) (_o$7311 (keyword #f "ns")) (_o$7312 ns) (_o$7313 (keyword #f "name")) (_o$7314 name) (_o$7315 (keyword #f "init")) (_o$7316 init) (_o$7317 (keyword #f "meta")) (_o$7318 meta)) (jolt-hash-map _o$7309 _o$7310 _o$7311 _o$7312 _o$7313 _o$7314 _o$7315 _o$7316 _o$7317 _o$7318)) (let* ((_o$7319 (keyword #f "op")) (_o$7320 (keyword #f "def")) (_o$7321 (keyword #f "ns")) (_o$7322 ns) (_o$7323 (keyword #f "name")) (_o$7324 name) (_o$7325 (keyword #f "init")) (_o$7326 init)) (jolt-hash-map _o$7319 _o$7320 _o$7321 _o$7322 _o$7323 _o$7324 _o$7325 _o$7326)))))))) def-node))) + (def-var! "jolt.ir" "def-node" (letrec ((def-node (case-lambda ((ns name init) (let fnrec7315 ((ns ns) (name name) (init init)) (let* ((_o$7316 (keyword #f "op")) (_o$7317 (keyword #f "def")) (_o$7318 (keyword #f "ns")) (_o$7319 ns) (_o$7320 (keyword #f "name")) (_o$7321 name) (_o$7322 (keyword #f "init")) (_o$7323 init)) (jolt-hash-map _o$7316 _o$7317 _o$7318 _o$7319 _o$7320 _o$7321 _o$7322 _o$7323)))) ((ns name init meta) (let fnrec7324 ((ns ns) (name name) (init init) (meta meta)) (if (jolt-truthy? meta) (let* ((_o$7325 (keyword #f "op")) (_o$7326 (keyword #f "def")) (_o$7327 (keyword #f "ns")) (_o$7328 ns) (_o$7329 (keyword #f "name")) (_o$7330 name) (_o$7331 (keyword #f "init")) (_o$7332 init) (_o$7333 (keyword #f "meta")) (_o$7334 meta)) (jolt-hash-map _o$7325 _o$7326 _o$7327 _o$7328 _o$7329 _o$7330 _o$7331 _o$7332 _o$7333 _o$7334)) (let* ((_o$7335 (keyword #f "op")) (_o$7336 (keyword #f "def")) (_o$7337 (keyword #f "ns")) (_o$7338 ns) (_o$7339 (keyword #f "name")) (_o$7340 name) (_o$7341 (keyword #f "init")) (_o$7342 init)) (jolt-hash-map _o$7335 _o$7336 _o$7337 _o$7338 _o$7339 _o$7340 _o$7341 _o$7342)))))))) def-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "let-node" (letrec ((let-node (lambda (bindings body) (let fnrec7327 ((bindings bindings) (body body)) (let* ((_o$7328 (keyword #f "op")) (_o$7329 (keyword #f "let")) (_o$7330 (keyword #f "bindings")) (_o$7331 bindings) (_o$7332 (keyword #f "body")) (_o$7333 body)) (jolt-hash-map _o$7328 _o$7329 _o$7330 _o$7331 _o$7332 _o$7333)))))) let-node))) + (def-var! "jolt.ir" "let-node" (letrec ((let-node (lambda (bindings body) (let fnrec7343 ((bindings bindings) (body body)) (let* ((_o$7344 (keyword #f "op")) (_o$7345 (keyword #f "let")) (_o$7346 (keyword #f "bindings")) (_o$7347 bindings) (_o$7348 (keyword #f "body")) (_o$7349 body)) (jolt-hash-map _o$7344 _o$7345 _o$7346 _o$7347 _o$7348 _o$7349)))))) let-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "fn-node" (letrec ((fn-node (lambda (name arities) (let fnrec7334 ((name name) (arities arities)) (if (jolt-truthy? name) (let* ((_o$7335 (keyword #f "op")) (_o$7336 (keyword #f "fn")) (_o$7337 (keyword #f "name")) (_o$7338 name) (_o$7339 (keyword #f "arities")) (_o$7340 arities)) (jolt-hash-map _o$7335 _o$7336 _o$7337 _o$7338 _o$7339 _o$7340)) (let* ((_o$7341 (keyword #f "op")) (_o$7342 (keyword #f "fn")) (_o$7343 (keyword #f "arities")) (_o$7344 arities)) (jolt-hash-map _o$7341 _o$7342 _o$7343 _o$7344))))))) fn-node))) + (def-var! "jolt.ir" "fn-node" (letrec ((fn-node (lambda (name arities) (let fnrec7350 ((name name) (arities arities)) (if (jolt-truthy? name) (let* ((_o$7351 (keyword #f "op")) (_o$7352 (keyword #f "fn")) (_o$7353 (keyword #f "name")) (_o$7354 name) (_o$7355 (keyword #f "arities")) (_o$7356 arities)) (jolt-hash-map _o$7351 _o$7352 _o$7353 _o$7354 _o$7355 _o$7356)) (let* ((_o$7357 (keyword #f "op")) (_o$7358 (keyword #f "fn")) (_o$7359 (keyword #f "arities")) (_o$7360 arities)) (jolt-hash-map _o$7357 _o$7358 _o$7359 _o$7360))))))) fn-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "vector-node" (letrec ((vector-node (lambda (items) (let fnrec7345 ((items items)) (let* ((_o$7346 (keyword #f "op")) (_o$7347 (keyword #f "vector")) (_o$7348 (keyword #f "items")) (_o$7349 items)) (jolt-hash-map _o$7346 _o$7347 _o$7348 _o$7349)))))) vector-node))) + (def-var! "jolt.ir" "vector-node" (letrec ((vector-node (lambda (items) (let fnrec7361 ((items items)) (let* ((_o$7362 (keyword #f "op")) (_o$7363 (keyword #f "vector")) (_o$7364 (keyword #f "items")) (_o$7365 items)) (jolt-hash-map _o$7362 _o$7363 _o$7364 _o$7365)))))) vector-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "map-node" (letrec ((map-node (lambda (pairs) (let fnrec7350 ((pairs pairs)) (let* ((_o$7351 (keyword #f "op")) (_o$7352 (keyword #f "map")) (_o$7353 (keyword #f "pairs")) (_o$7354 pairs)) (jolt-hash-map _o$7351 _o$7352 _o$7353 _o$7354)))))) map-node))) + (def-var! "jolt.ir" "map-node" (letrec ((map-node (lambda (pairs) (let fnrec7366 ((pairs pairs)) (let* ((_o$7367 (keyword #f "op")) (_o$7368 (keyword #f "map")) (_o$7369 (keyword #f "pairs")) (_o$7370 pairs)) (jolt-hash-map _o$7367 _o$7368 _o$7369 _o$7370)))))) map-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "set-node" (letrec ((set-node (lambda (items) (let fnrec7355 ((items items)) (let* ((_o$7356 (keyword #f "op")) (_o$7357 (keyword #f "set")) (_o$7358 (keyword #f "items")) (_o$7359 items)) (jolt-hash-map _o$7356 _o$7357 _o$7358 _o$7359)))))) set-node))) + (def-var! "jolt.ir" "set-node" (letrec ((set-node (lambda (items) (let fnrec7371 ((items items)) (let* ((_o$7372 (keyword #f "op")) (_o$7373 (keyword #f "set")) (_o$7374 (keyword #f "items")) (_o$7375 items)) (jolt-hash-map _o$7372 _o$7373 _o$7374 _o$7375)))))) set-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "quote-node" (letrec ((quote-node (lambda (form) (let fnrec7360 ((form form)) (let* ((_o$7361 (keyword #f "op")) (_o$7362 (keyword #f "quote")) (_o$7363 (keyword #f "form")) (_o$7364 form)) (jolt-hash-map _o$7361 _o$7362 _o$7363 _o$7364)))))) quote-node))) + (def-var! "jolt.ir" "quote-node" (letrec ((quote-node (lambda (form) (let fnrec7376 ((form form)) (let* ((_o$7377 (keyword #f "op")) (_o$7378 (keyword #f "quote")) (_o$7379 (keyword #f "form")) (_o$7380 form)) (jolt-hash-map _o$7377 _o$7378 _o$7379 _o$7380)))))) quote-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "throw-node" (letrec ((throw-node (lambda (expr) (let fnrec7365 ((expr expr)) (let* ((_o$7366 (keyword #f "op")) (_o$7367 (keyword #f "throw")) (_o$7368 (keyword #f "expr")) (_o$7369 expr)) (jolt-hash-map _o$7366 _o$7367 _o$7368 _o$7369)))))) throw-node))) + (def-var! "jolt.ir" "throw-node" (letrec ((throw-node (lambda (expr) (let fnrec7381 ((expr expr)) (let* ((_o$7382 (keyword #f "op")) (_o$7383 (keyword #f "throw")) (_o$7384 (keyword #f "expr")) (_o$7385 expr)) (jolt-hash-map _o$7382 _o$7383 _o$7384 _o$7385)))))) throw-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "coerce-node" (letrec ((coerce-node (lambda (kind expr) (let fnrec7370 ((kind kind) (expr expr)) (let* ((_o$7371 (keyword #f "op")) (_o$7372 (keyword #f "coerce")) (_o$7373 (keyword #f "kind")) (_o$7374 kind) (_o$7375 (keyword #f "expr")) (_o$7376 expr)) (jolt-hash-map _o$7371 _o$7372 _o$7373 _o$7374 _o$7375 _o$7376)))))) coerce-node))) + (def-var! "jolt.ir" "coerce-node" (letrec ((coerce-node (lambda (kind expr) (let fnrec7386 ((kind kind) (expr expr)) (let* ((_o$7387 (keyword #f "op")) (_o$7388 (keyword #f "coerce")) (_o$7389 (keyword #f "kind")) (_o$7390 kind) (_o$7391 (keyword #f "expr")) (_o$7392 expr)) (jolt-hash-map _o$7387 _o$7388 _o$7389 _o$7390 _o$7391 _o$7392)))))) coerce-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "map-ir-children" (letrec ((map-ir-children (lambda (f node) (let fnrec7377 ((f f) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$7378 node) (_a$7379 (keyword #f "test")) (_a$7380 (jolt-invoke f (jolt-get node (keyword #f "test")))) (_a$7381 (keyword #f "then")) (_a$7382 (jolt-invoke f (jolt-get node (keyword #f "then")))) (_a$7383 (keyword #f "else")) (_a$7384 (jolt-invoke f (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$7378 _a$7379 _a$7380 _a$7381 _a$7382 _a$7383 _a$7384)) (if (jolt= op (keyword #f "do")) (let* ((_a$7385 node) (_a$7386 (keyword #f "statements")) (_a$7387 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "statements")))) (_a$7388 (keyword #f "ret")) (_a$7389 (jolt-invoke f (jolt-get node (keyword #f "ret"))))) (jolt-assoc _a$7385 _a$7386 _a$7387 _a$7388 _a$7389)) (if (jolt= op (keyword #f "throw")) (jolt-assoc node (keyword #f "expr") (jolt-invoke f (jolt-get node (keyword #f "expr")))) (if (jolt= op (keyword #f "coerce")) (jolt-assoc node (keyword #f "expr") (jolt-invoke f (jolt-get node (keyword #f "expr")))) (if (jolt= op (keyword #f "set-var")) (jolt-assoc node (keyword #f "val") (jolt-invoke f (jolt-get node (keyword #f "val")))) (if (jolt= op (keyword #f "set-field")) (let* ((_a$7390 node) (_a$7391 (keyword #f "obj")) (_a$7392 (jolt-invoke f (jolt-get node (keyword #f "obj")))) (_a$7393 (keyword #f "val")) (_a$7394 (jolt-invoke f (jolt-get node (keyword #f "val"))))) (jolt-assoc _a$7390 _a$7391 _a$7392 _a$7393 _a$7394)) (if (jolt= op (keyword #f "defmacro")) (jolt-assoc node (keyword #f "fn") (jolt-invoke f (jolt-get node (keyword #f "fn")))) (if (jolt= op (keyword #f "ffi-callable")) (jolt-assoc node (keyword #f "fn") (jolt-invoke f (jolt-get node (keyword #f "fn")))) (if (jolt= op (keyword #f "invoke")) (let* ((_a$7395 node) (_a$7396 (keyword #f "fn")) (_a$7397 (jolt-invoke f (jolt-get node (keyword #f "fn")))) (_a$7398 (keyword #f "args")) (_a$7399 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$7395 _a$7396 _a$7397 _a$7398 _a$7399)) (if (jolt= op (keyword #f "vector")) (jolt-assoc node (keyword #f "items") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "items")))) (if (jolt= op (keyword #f "set")) (jolt-assoc node (keyword #f "items") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "items")))) (if (jolt= op (keyword #f "map")) (jolt-assoc node (keyword #f "pairs") (let* ((_a$7403 (var-deref "clojure.core" "mapv")) (_a$7404 (lambda (pr) (let fnrec7400 ((pr pr)) (let* ((_o$7401 (jolt-invoke f (jolt-nth pr 0))) (_o$7402 (jolt-invoke f (jolt-nth pr 1)))) (jolt-vector _o$7401 _o$7402))))) (_a$7405 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$7403 _a$7404 _a$7405))) (if (jolt= op (keyword #f "let")) (let* ((_a$7412 node) (_a$7413 (keyword #f "bindings")) (_a$7414 (let* ((_a$7409 (var-deref "clojure.core" "mapv")) (_a$7410 (lambda (b) (let fnrec7406 ((b b)) (let* ((_o$7407 (jolt-nth b 0)) (_o$7408 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$7407 _o$7408))))) (_a$7411 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$7409 _a$7410 _a$7411))) (_a$7415 (keyword #f "body")) (_a$7416 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$7412 _a$7413 _a$7414 _a$7415 _a$7416)) (if (jolt= op (keyword #f "loop")) (let* ((_a$7423 node) (_a$7424 (keyword #f "bindings")) (_a$7425 (let* ((_a$7420 (var-deref "clojure.core" "mapv")) (_a$7421 (lambda (b) (let fnrec7417 ((b b)) (let* ((_o$7418 (jolt-nth b 0)) (_o$7419 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$7418 _o$7419))))) (_a$7422 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$7420 _a$7421 _a$7422))) (_a$7426 (keyword #f "body")) (_a$7427 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$7423 _a$7424 _a$7425 _a$7426 _a$7427)) (if (jolt= op (keyword #f "recur")) (jolt-assoc node (keyword #f "args") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args")))) (if (jolt= op (keyword #f "fn")) (jolt-assoc node (keyword #f "arities") (let* ((_a$7429 (var-deref "clojure.core" "mapv")) (_a$7430 (lambda (a) (let fnrec7428 ((a a)) (jolt-assoc a (keyword #f "body") (jolt-invoke f (jolt-get a (keyword #f "body"))))))) (_a$7431 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$7429 _a$7430 _a$7431))) (if (jolt= op (keyword #f "def")) (let* ((n (jolt-assoc node (keyword #f "init") (jolt-invoke f (jolt-get node (keyword #f "init")))))) (if (jolt-truthy? (jolt-get node (keyword #f "meta-expr"))) (jolt-assoc n (keyword #f "meta-expr") (jolt-invoke f (jolt-get node (keyword #f "meta-expr")))) n)) (if (jolt= op (keyword #f "host-call")) (let* ((_a$7432 node) (_a$7433 (keyword #f "target")) (_a$7434 (jolt-invoke f (jolt-get node (keyword #f "target")))) (_a$7435 (keyword #f "args")) (_a$7436 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$7432 _a$7433 _a$7434 _a$7435 _a$7436)) (if (jolt= op (keyword #f "host-new")) (jolt-assoc node (keyword #f "args") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args")))) (if (jolt= op (keyword #f "try")) (let* ((n (jolt-assoc node (keyword #f "body") (jolt-invoke f (jolt-get node (keyword #f "body"))))) (n (if (jolt-truthy? (jolt-get node (keyword #f "catch-body"))) (jolt-assoc n (keyword #f "catch-body") (jolt-invoke f (jolt-get node (keyword #f "catch-body")))) n)) (n (if (jolt-truthy? (jolt-get node (keyword #f "finally"))) (jolt-assoc n (keyword #f "finally") (jolt-invoke f (jolt-get node (keyword #f "finally")))) n))) n) (if (jolt-truthy? (keyword #f "else")) node jolt-nil)))))))))))))))))))))))))) map-ir-children))) + (def-var! "jolt.ir" "map-ir-children" (letrec ((map-ir-children (lambda (f node) (let fnrec7393 ((f f) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$7394 node) (_a$7395 (keyword #f "test")) (_a$7396 (jolt-invoke f (jolt-get node (keyword #f "test")))) (_a$7397 (keyword #f "then")) (_a$7398 (jolt-invoke f (jolt-get node (keyword #f "then")))) (_a$7399 (keyword #f "else")) (_a$7400 (jolt-invoke f (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$7394 _a$7395 _a$7396 _a$7397 _a$7398 _a$7399 _a$7400)) (if (jolt= op (keyword #f "do")) (let* ((_a$7401 node) (_a$7402 (keyword #f "statements")) (_a$7403 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "statements")))) (_a$7404 (keyword #f "ret")) (_a$7405 (jolt-invoke f (jolt-get node (keyword #f "ret"))))) (jolt-assoc _a$7401 _a$7402 _a$7403 _a$7404 _a$7405)) (if (jolt= op (keyword #f "throw")) (jolt-assoc node (keyword #f "expr") (jolt-invoke f (jolt-get node (keyword #f "expr")))) (if (jolt= op (keyword #f "coerce")) (jolt-assoc node (keyword #f "expr") (jolt-invoke f (jolt-get node (keyword #f "expr")))) (if (jolt= op (keyword #f "set-var")) (jolt-assoc node (keyword #f "val") (jolt-invoke f (jolt-get node (keyword #f "val")))) (if (jolt= op (keyword #f "set-field")) (let* ((_a$7406 node) (_a$7407 (keyword #f "obj")) (_a$7408 (jolt-invoke f (jolt-get node (keyword #f "obj")))) (_a$7409 (keyword #f "val")) (_a$7410 (jolt-invoke f (jolt-get node (keyword #f "val"))))) (jolt-assoc _a$7406 _a$7407 _a$7408 _a$7409 _a$7410)) (if (jolt= op (keyword #f "defmacro")) (jolt-assoc node (keyword #f "fn") (jolt-invoke f (jolt-get node (keyword #f "fn")))) (if (jolt= op (keyword #f "ffi-callable")) (jolt-assoc node (keyword #f "fn") (jolt-invoke f (jolt-get node (keyword #f "fn")))) (if (jolt= op (keyword #f "invoke")) (let* ((_a$7411 node) (_a$7412 (keyword #f "fn")) (_a$7413 (jolt-invoke f (jolt-get node (keyword #f "fn")))) (_a$7414 (keyword #f "args")) (_a$7415 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$7411 _a$7412 _a$7413 _a$7414 _a$7415)) (if (jolt= op (keyword #f "vector")) (jolt-assoc node (keyword #f "items") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "items")))) (if (jolt= op (keyword #f "set")) (jolt-assoc node (keyword #f "items") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "items")))) (if (jolt= op (keyword #f "map")) (jolt-assoc node (keyword #f "pairs") (let* ((_a$7419 (var-deref "clojure.core" "mapv")) (_a$7420 (lambda (pr) (let fnrec7416 ((pr pr)) (let* ((_o$7417 (jolt-invoke f (jolt-nth pr 0))) (_o$7418 (jolt-invoke f (jolt-nth pr 1)))) (jolt-vector _o$7417 _o$7418))))) (_a$7421 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$7419 _a$7420 _a$7421))) (if (jolt= op (keyword #f "let")) (let* ((_a$7428 node) (_a$7429 (keyword #f "bindings")) (_a$7430 (let* ((_a$7425 (var-deref "clojure.core" "mapv")) (_a$7426 (lambda (b) (let fnrec7422 ((b b)) (let* ((_o$7423 (jolt-nth b 0)) (_o$7424 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$7423 _o$7424))))) (_a$7427 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$7425 _a$7426 _a$7427))) (_a$7431 (keyword #f "body")) (_a$7432 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$7428 _a$7429 _a$7430 _a$7431 _a$7432)) (if (jolt= op (keyword #f "loop")) (let* ((_a$7439 node) (_a$7440 (keyword #f "bindings")) (_a$7441 (let* ((_a$7436 (var-deref "clojure.core" "mapv")) (_a$7437 (lambda (b) (let fnrec7433 ((b b)) (let* ((_o$7434 (jolt-nth b 0)) (_o$7435 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$7434 _o$7435))))) (_a$7438 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$7436 _a$7437 _a$7438))) (_a$7442 (keyword #f "body")) (_a$7443 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$7439 _a$7440 _a$7441 _a$7442 _a$7443)) (if (jolt= op (keyword #f "recur")) (jolt-assoc node (keyword #f "args") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args")))) (if (jolt= op (keyword #f "fn")) (jolt-assoc node (keyword #f "arities") (let* ((_a$7445 (var-deref "clojure.core" "mapv")) (_a$7446 (lambda (a) (let fnrec7444 ((a a)) (jolt-assoc a (keyword #f "body") (jolt-invoke f (jolt-get a (keyword #f "body"))))))) (_a$7447 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$7445 _a$7446 _a$7447))) (if (jolt= op (keyword #f "def")) (let* ((n (jolt-assoc node (keyword #f "init") (jolt-invoke f (jolt-get node (keyword #f "init")))))) (if (jolt-truthy? (jolt-get node (keyword #f "meta-expr"))) (jolt-assoc n (keyword #f "meta-expr") (jolt-invoke f (jolt-get node (keyword #f "meta-expr")))) n)) (if (jolt= op (keyword #f "host-call")) (let* ((_a$7448 node) (_a$7449 (keyword #f "target")) (_a$7450 (jolt-invoke f (jolt-get node (keyword #f "target")))) (_a$7451 (keyword #f "args")) (_a$7452 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$7448 _a$7449 _a$7450 _a$7451 _a$7452)) (if (jolt= op (keyword #f "host-new")) (jolt-assoc node (keyword #f "args") (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args")))) (if (jolt= op (keyword #f "try")) (let* ((n (jolt-assoc node (keyword #f "body") (jolt-invoke f (jolt-get node (keyword #f "body"))))) (n (if (jolt-truthy? (jolt-get node (keyword #f "catch-body"))) (jolt-assoc n (keyword #f "catch-body") (jolt-invoke f (jolt-get node (keyword #f "catch-body")))) n)) (n (if (jolt-truthy? (jolt-get node (keyword #f "finally"))) (jolt-assoc n (keyword #f "finally") (jolt-invoke f (jolt-get node (keyword #f "finally")))) n))) n) (if (jolt-truthy? (keyword #f "else")) node jolt-nil)))))))))))))))))))))))))) map-ir-children))) (guard (e (#t #f)) - (def-var! "jolt.ir" "reduce-ir-children" (letrec ((reduce-ir-children (lambda (f acc node) (let fnrec7437 ((f f) (acc acc) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$7441 f) (_a$7442 (let* ((_a$7438 f) (_a$7439 (jolt-invoke f acc (jolt-get node (keyword #f "test")))) (_a$7440 (jolt-get node (keyword #f "then")))) (jolt-invoke _a$7438 _a$7439 _a$7440))) (_a$7443 (jolt-get node (keyword #f "else")))) (jolt-invoke _a$7441 _a$7442 _a$7443)) (if (jolt= op (keyword #f "do")) (let* ((_a$7444 f) (_a$7445 (jolt-reduce f acc (jolt-get node (keyword #f "statements")))) (_a$7446 (jolt-get node (keyword #f "ret")))) (jolt-invoke _a$7444 _a$7445 _a$7446)) (if (jolt= op (keyword #f "throw")) (jolt-invoke f acc (jolt-get node (keyword #f "expr"))) (if (jolt= op (keyword #f "coerce")) (jolt-invoke f acc (jolt-get node (keyword #f "expr"))) (if (jolt= op (keyword #f "set-var")) (jolt-invoke f acc (jolt-get node (keyword #f "val"))) (if (jolt= op (keyword #f "set-field")) (let* ((_a$7447 f) (_a$7448 (jolt-invoke f acc (jolt-get node (keyword #f "obj")))) (_a$7449 (jolt-get node (keyword #f "val")))) (jolt-invoke _a$7447 _a$7448 _a$7449)) (if (jolt= op (keyword #f "defmacro")) (jolt-invoke f acc (jolt-get node (keyword #f "fn"))) (if (jolt= op (keyword #f "ffi-callable")) (jolt-invoke f acc (jolt-get node (keyword #f "fn"))) (if (jolt= op (keyword #f "invoke")) (let* ((_a$7450 f) (_a$7451 (jolt-invoke f acc (jolt-get node (keyword #f "fn")))) (_a$7452 (jolt-get node (keyword #f "args")))) (jolt-reduce _a$7450 _a$7451 _a$7452)) (if (jolt= op (keyword #f "vector")) (jolt-reduce f acc (jolt-get node (keyword #f "items"))) (if (jolt= op (keyword #f "set")) (jolt-reduce f acc (jolt-get node (keyword #f "items"))) (if (jolt= op (keyword #f "map")) (let* ((_a$7457 (lambda (a pr) (let fnrec7453 ((a a) (pr pr)) (let* ((_a$7454 f) (_a$7455 (jolt-invoke f a (jolt-nth pr 0))) (_a$7456 (jolt-nth pr 1))) (jolt-invoke _a$7454 _a$7455 _a$7456))))) (_a$7458 acc) (_a$7459 (jolt-get node (keyword #f "pairs")))) (jolt-reduce _a$7457 _a$7458 _a$7459)) (if (jolt= op (keyword #f "let")) (let* ((_a$7464 f) (_a$7465 (let* ((_a$7461 (lambda (a b) (let fnrec7460 ((a a) (b b)) (jolt-invoke f a (jolt-nth b 1))))) (_a$7462 acc) (_a$7463 (jolt-get node (keyword #f "bindings")))) (jolt-reduce _a$7461 _a$7462 _a$7463))) (_a$7466 (jolt-get node (keyword #f "body")))) (jolt-invoke _a$7464 _a$7465 _a$7466)) (if (jolt= op (keyword #f "loop")) (let* ((_a$7471 f) (_a$7472 (let* ((_a$7468 (lambda (a b) (let fnrec7467 ((a a) (b b)) (jolt-invoke f a (jolt-nth b 1))))) (_a$7469 acc) (_a$7470 (jolt-get node (keyword #f "bindings")))) (jolt-reduce _a$7468 _a$7469 _a$7470))) (_a$7473 (jolt-get node (keyword #f "body")))) (jolt-invoke _a$7471 _a$7472 _a$7473)) (if (jolt= op (keyword #f "recur")) (jolt-reduce f acc (jolt-get node (keyword #f "args"))) (if (jolt= op (keyword #f "fn")) (let* ((_a$7475 (lambda (a ar) (let fnrec7474 ((a a) (ar ar)) (jolt-invoke f a (jolt-get ar (keyword #f "body")))))) (_a$7476 acc) (_a$7477 (jolt-get node (keyword #f "arities")))) (jolt-reduce _a$7475 _a$7476 _a$7477)) (if (jolt= op (keyword #f "def")) (let* ((a (if (jolt-truthy? (jolt-get node (keyword #f "init"))) (jolt-invoke f acc (jolt-get node (keyword #f "init"))) acc))) (if (jolt-truthy? (jolt-get node (keyword #f "meta-expr"))) (jolt-invoke f a (jolt-get node (keyword #f "meta-expr"))) a)) (if (jolt= op (keyword #f "host-call")) (let* ((_a$7478 f) (_a$7479 (jolt-invoke f acc (jolt-get node (keyword #f "target")))) (_a$7480 (jolt-get node (keyword #f "args")))) (jolt-reduce _a$7478 _a$7479 _a$7480)) (if (jolt= op (keyword #f "host-new")) (jolt-reduce f acc (jolt-get node (keyword #f "args"))) (if (jolt= op (keyword #f "try")) (let* ((a (jolt-invoke f acc (jolt-get node (keyword #f "body")))) (a (if (jolt-truthy? (jolt-get node (keyword #f "catch-body"))) (jolt-invoke f a (jolt-get node (keyword #f "catch-body"))) a)) (a (if (jolt-truthy? (jolt-get node (keyword #f "finally"))) (jolt-invoke f a (jolt-get node (keyword #f "finally"))) a))) a) (if (jolt-truthy? (keyword #f "else")) acc jolt-nil)))))))))))))))))))))))))) reduce-ir-children))) + (def-var! "jolt.ir" "reduce-ir-children" (letrec ((reduce-ir-children (lambda (f acc node) (let fnrec7453 ((f f) (acc acc) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$7457 f) (_a$7458 (let* ((_a$7454 f) (_a$7455 (jolt-invoke f acc (jolt-get node (keyword #f "test")))) (_a$7456 (jolt-get node (keyword #f "then")))) (jolt-invoke _a$7454 _a$7455 _a$7456))) (_a$7459 (jolt-get node (keyword #f "else")))) (jolt-invoke _a$7457 _a$7458 _a$7459)) (if (jolt= op (keyword #f "do")) (let* ((_a$7460 f) (_a$7461 (jolt-reduce f acc (jolt-get node (keyword #f "statements")))) (_a$7462 (jolt-get node (keyword #f "ret")))) (jolt-invoke _a$7460 _a$7461 _a$7462)) (if (jolt= op (keyword #f "throw")) (jolt-invoke f acc (jolt-get node (keyword #f "expr"))) (if (jolt= op (keyword #f "coerce")) (jolt-invoke f acc (jolt-get node (keyword #f "expr"))) (if (jolt= op (keyword #f "set-var")) (jolt-invoke f acc (jolt-get node (keyword #f "val"))) (if (jolt= op (keyword #f "set-field")) (let* ((_a$7463 f) (_a$7464 (jolt-invoke f acc (jolt-get node (keyword #f "obj")))) (_a$7465 (jolt-get node (keyword #f "val")))) (jolt-invoke _a$7463 _a$7464 _a$7465)) (if (jolt= op (keyword #f "defmacro")) (jolt-invoke f acc (jolt-get node (keyword #f "fn"))) (if (jolt= op (keyword #f "ffi-callable")) (jolt-invoke f acc (jolt-get node (keyword #f "fn"))) (if (jolt= op (keyword #f "invoke")) (let* ((_a$7466 f) (_a$7467 (jolt-invoke f acc (jolt-get node (keyword #f "fn")))) (_a$7468 (jolt-get node (keyword #f "args")))) (jolt-reduce _a$7466 _a$7467 _a$7468)) (if (jolt= op (keyword #f "vector")) (jolt-reduce f acc (jolt-get node (keyword #f "items"))) (if (jolt= op (keyword #f "set")) (jolt-reduce f acc (jolt-get node (keyword #f "items"))) (if (jolt= op (keyword #f "map")) (let* ((_a$7473 (lambda (a pr) (let fnrec7469 ((a a) (pr pr)) (let* ((_a$7470 f) (_a$7471 (jolt-invoke f a (jolt-nth pr 0))) (_a$7472 (jolt-nth pr 1))) (jolt-invoke _a$7470 _a$7471 _a$7472))))) (_a$7474 acc) (_a$7475 (jolt-get node (keyword #f "pairs")))) (jolt-reduce _a$7473 _a$7474 _a$7475)) (if (jolt= op (keyword #f "let")) (let* ((_a$7480 f) (_a$7481 (let* ((_a$7477 (lambda (a b) (let fnrec7476 ((a a) (b b)) (jolt-invoke f a (jolt-nth b 1))))) (_a$7478 acc) (_a$7479 (jolt-get node (keyword #f "bindings")))) (jolt-reduce _a$7477 _a$7478 _a$7479))) (_a$7482 (jolt-get node (keyword #f "body")))) (jolt-invoke _a$7480 _a$7481 _a$7482)) (if (jolt= op (keyword #f "loop")) (let* ((_a$7487 f) (_a$7488 (let* ((_a$7484 (lambda (a b) (let fnrec7483 ((a a) (b b)) (jolt-invoke f a (jolt-nth b 1))))) (_a$7485 acc) (_a$7486 (jolt-get node (keyword #f "bindings")))) (jolt-reduce _a$7484 _a$7485 _a$7486))) (_a$7489 (jolt-get node (keyword #f "body")))) (jolt-invoke _a$7487 _a$7488 _a$7489)) (if (jolt= op (keyword #f "recur")) (jolt-reduce f acc (jolt-get node (keyword #f "args"))) (if (jolt= op (keyword #f "fn")) (let* ((_a$7491 (lambda (a ar) (let fnrec7490 ((a a) (ar ar)) (jolt-invoke f a (jolt-get ar (keyword #f "body")))))) (_a$7492 acc) (_a$7493 (jolt-get node (keyword #f "arities")))) (jolt-reduce _a$7491 _a$7492 _a$7493)) (if (jolt= op (keyword #f "def")) (let* ((a (if (jolt-truthy? (jolt-get node (keyword #f "init"))) (jolt-invoke f acc (jolt-get node (keyword #f "init"))) acc))) (if (jolt-truthy? (jolt-get node (keyword #f "meta-expr"))) (jolt-invoke f a (jolt-get node (keyword #f "meta-expr"))) a)) (if (jolt= op (keyword #f "host-call")) (let* ((_a$7494 f) (_a$7495 (jolt-invoke f acc (jolt-get node (keyword #f "target")))) (_a$7496 (jolt-get node (keyword #f "args")))) (jolt-reduce _a$7494 _a$7495 _a$7496)) (if (jolt= op (keyword #f "host-new")) (jolt-reduce f acc (jolt-get node (keyword #f "args"))) (if (jolt= op (keyword #f "try")) (let* ((a (jolt-invoke f acc (jolt-get node (keyword #f "body")))) (a (if (jolt-truthy? (jolt-get node (keyword #f "catch-body"))) (jolt-invoke f a (jolt-get node (keyword #f "catch-body"))) a)) (a (if (jolt-truthy? (jolt-get node (keyword #f "finally"))) (jolt-invoke f a (jolt-get node (keyword #f "finally"))) a))) a) (if (jolt-truthy? (keyword #f "else")) acc jolt-nil)))))))))))))))))))))))))) reduce-ir-children))) (guard (e (#t #f)) (declare-var! "jolt.analyzer" "analyze")) (guard (e (#t #f)) - (def-var-with-meta! "jolt.analyzer" "handled" (let* ((_o$7481 "quote") (_o$7482 "if") (_o$7483 "do") (_o$7484 "def") (_o$7485 "fn*") (_o$7486 "let*") (_o$7487 "loop*") (_o$7488 "recur") (_o$7489 "throw") (_o$7490 "try") (_o$7491 "syntax-quote") (_o$7492 "var") (_o$7493 "letfn") (_o$7494 "set!") (_o$7495 "defmacro")) (jolt-hash-set _o$7481 _o$7482 _o$7483 _o$7484 _o$7485 _o$7486 _o$7487 _o$7488 _o$7489 _o$7490 _o$7491 _o$7492 _o$7493 _o$7494 _o$7495)) (let* ((_o$7496 (keyword #f "private")) (_o$7497 #t)) (jolt-hash-map _o$7496 _o$7497)))) + (def-var-with-meta! "jolt.analyzer" "handled" (let* ((_o$7497 "quote") (_o$7498 "if") (_o$7499 "do") (_o$7500 "def") (_o$7501 "fn*") (_o$7502 "let*") (_o$7503 "loop*") (_o$7504 "recur") (_o$7505 "throw") (_o$7506 "try") (_o$7507 "syntax-quote") (_o$7508 "var") (_o$7509 "letfn") (_o$7510 "set!") (_o$7511 "defmacro")) (jolt-hash-set _o$7497 _o$7498 _o$7499 _o$7500 _o$7501 _o$7502 _o$7503 _o$7504 _o$7505 _o$7506 _o$7507 _o$7508 _o$7509 _o$7510 _o$7511)) (let* ((_o$7512 (keyword #f "private")) (_o$7513 #t)) (jolt-hash-map _o$7512 _o$7513)))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "uncompilable" (letrec ((uncompilable (lambda (why) (let fnrec7498 ((why why)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt/uncompilable: " why)))))) uncompilable))) + (def-var! "jolt.analyzer" "uncompilable" (letrec ((uncompilable (lambda (why) (let fnrec7514 ((why why)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt/uncompilable: " why)))))) uncompilable))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.analyzer" "gensym-counter" (jolt-invoke (var-deref "clojure.core" "atom") 0) (let* ((_o$7499 (keyword #f "private")) (_o$7500 #t)) (jolt-hash-map _o$7499 _o$7500)))) + (def-var-with-meta! "jolt.analyzer" "gensym-counter" (jolt-invoke (var-deref "clojure.core" "atom") 0) (let* ((_o$7515 (keyword #f "private")) (_o$7516 #t)) (jolt-hash-map _o$7515 _o$7516)))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "gen-name" (letrec ((gen-name (lambda (prefix) (let fnrec7501 ((prefix prefix)) (let* ((n (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.analyzer" "gensym-counter")))) (begin (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.analyzer" "gensym-counter") jolt-inc) (jolt-invoke (var-deref "clojure.core" "str") "_r$" prefix n))))))) gen-name))) + (def-var! "jolt.analyzer" "gen-name" (letrec ((gen-name (lambda (prefix) (let fnrec7517 ((prefix prefix)) (let* ((n (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.analyzer" "gensym-counter")))) (begin (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.analyzer" "gensym-counter") jolt-inc) (jolt-invoke (var-deref "clojure.core" "str") "_r$" prefix n))))))) gen-name))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "empty-env" (letrec ((empty-env (lambda () (let fnrec7502 () (let* ((_o$7503 (keyword #f "locals")) (_o$7504 (jolt-hash-set)) (_o$7505 (keyword #f "hints")) (_o$7506 (jolt-hash-map))) (jolt-hash-map _o$7503 _o$7504 _o$7505 _o$7506)))))) empty-env))) + (def-var! "jolt.analyzer" "empty-env" (letrec ((empty-env (lambda () (let fnrec7518 () (let* ((_o$7519 (keyword #f "locals")) (_o$7520 (jolt-hash-set)) (_o$7521 (keyword #f "hints")) (_o$7522 (jolt-hash-map))) (jolt-hash-map _o$7519 _o$7520 _o$7521 _o$7522)))))) empty-env))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "local?" (letrec ((local? (lambda (env nm) (let fnrec7507 ((env env) (nm nm)) (jolt-contains? (jolt-get env (keyword #f "locals")) nm))))) local?))) + (def-var! "jolt.analyzer" "local?" (letrec ((local? (lambda (env nm) (let fnrec7523 ((env env) (nm nm)) (jolt-contains? (jolt-get env (keyword #f "locals")) nm))))) local?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "add-locals" (letrec ((add-locals (lambda (env names) (let fnrec7508 ((env env) (names names)) (jolt-invoke (var-deref "clojure.core" "update") env (keyword #f "locals") (lambda (p__85_) (let fnrec7509 ((p__85_ p__85_)) (jolt-reduce jolt-conj p__85_ names)))))))) add-locals))) + (def-var! "jolt.analyzer" "add-locals" (letrec ((add-locals (lambda (env names) (let fnrec7524 ((env env) (names names)) (jolt-invoke (var-deref "clojure.core" "update") env (keyword #f "locals") (lambda (p__85_) (let fnrec7525 ((p__85_ p__85_)) (jolt-reduce jolt-conj p__85_ names)))))))) add-locals))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "with-recur" (letrec ((with-recur (lambda (env name) (let fnrec7510 ((env env) (name name)) (jolt-assoc env (keyword #f "recur") name))))) with-recur))) + (def-var! "jolt.analyzer" "with-recur" (letrec ((with-recur (lambda (env name) (let fnrec7526 ((env env) (name name)) (jolt-assoc env (keyword #f "recur") name))))) with-recur))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "hint-of" (letrec ((hint-of (lambda (ctx sym) (let fnrec7511 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") m)) jolt-nil (if (jolt-truthy? (jolt-get m (keyword #f "struct"))) (keyword #f "struct") (if (jolt-truthy? (keyword #f "else")) (let* ((t (jolt-get m (keyword #f "tag")))) (if (jolt-truthy? (let* ((and__25__auto t)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "record-type?") ctx t) and__25__auto))) (keyword #f "struct") jolt-nil)) jolt-nil)))))))) hint-of))) + (def-var! "jolt.analyzer" "hint-of" (letrec ((hint-of (lambda (ctx sym) (let fnrec7527 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") m)) jolt-nil (if (jolt-truthy? (jolt-get m (keyword #f "struct"))) (keyword #f "struct") (if (jolt-truthy? (keyword #f "else")) (let* ((t (jolt-get m (keyword #f "tag")))) (if (jolt-truthy? (let* ((and__25__auto t)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "record-type?") ctx t) and__25__auto))) (keyword #f "struct") jolt-nil)) jolt-nil)))))))) hint-of))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "add-hint" (letrec ((add-hint (lambda (env nm h) (let fnrec7512 ((env env) (nm nm) (h h)) (if (jolt-truthy? h) (jolt-assoc env (keyword #f "hints") (jolt-assoc (jolt-get env (keyword #f "hints")) nm h)) env))))) add-hint))) + (def-var! "jolt.analyzer" "add-hint" (letrec ((add-hint (lambda (env nm h) (let fnrec7528 ((env env) (nm nm) (h h)) (if (jolt-truthy? h) (jolt-assoc env (keyword #f "hints") (jolt-assoc (jolt-get env (keyword #f "hints")) nm h)) env))))) add-hint))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "phint-of" (letrec ((phint-of (lambda (ctx sym) (let fnrec7513 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? m) (let* ((t (jolt-get m (keyword #f "tag")))) (if (jolt-truthy? t) (jolt-invoke (var-deref "jolt.host" "record-ctor-key") ctx t) jolt-nil)) jolt-nil)))))) phint-of))) + (def-var! "jolt.analyzer" "phint-of" (letrec ((phint-of (lambda (ctx sym) (let fnrec7529 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? m) (let* ((t (jolt-get m (keyword #f "tag")))) (if (jolt-truthy? t) (jolt-invoke (var-deref "jolt.host" "record-ctor-key") ctx t) jolt-nil)) jolt-nil)))))) phint-of))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "tag->nkind" (letrec ((tag->nkind (lambda (t) (let fnrec7514 ((t t)) (let* ((s (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") t)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") t) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") t)) t (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil))))) (if (jolt= s "double") (keyword #f "double") (if (jolt= s "long") (keyword #f "long") (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil)))))))) tag->nkind))) + (def-var! "jolt.analyzer" "tag->nkind" (letrec ((tag->nkind (lambda (t) (let fnrec7530 ((t t)) (let* ((s (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") t)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") t) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") t)) t (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil))))) (if (jolt= s "double") (keyword #f "double") (if (jolt= s "long") (keyword #f "long") (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil)))))))) tag->nkind))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "nhint-of" (letrec ((nhint-of (lambda (ctx sym) (let fnrec7515 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? m) (jolt-invoke (var-deref "jolt.analyzer" "tag->nkind") (jolt-get m (keyword #f "tag"))) jolt-nil)))))) nhint-of))) + (def-var! "jolt.analyzer" "nhint-of" (letrec ((nhint-of (lambda (ctx sym) (let fnrec7531 ((ctx ctx) (sym sym)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-sym-meta") sym))) (if (jolt-truthy? m) (jolt-invoke (var-deref "jolt.analyzer" "tag->nkind") (jolt-get m (keyword #f "tag"))) jolt-nil)))))) nhint-of))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "with-ret-nhint" (letrec ((with-ret-nhint (lambda (node kind) (let fnrec7516 ((node node) (kind kind)) (if (jolt-truthy? (let* ((and__25__auto kind)) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "fn") (jolt-get node (keyword #f "op"))) and__25__auto))) (jolt-assoc node (keyword #f "arities") (let* ((_a$7518 (var-deref "clojure.core" "mapv")) (_a$7519 (lambda (a) (let fnrec7517 ((a a)) (if (jolt-truthy? (jolt-get a (keyword #f "ret-nhint"))) a (jolt-assoc a (keyword #f "ret-nhint") kind))))) (_a$7520 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$7518 _a$7519 _a$7520))) node))))) with-ret-nhint))) + (def-var! "jolt.analyzer" "with-ret-nhint" (letrec ((with-ret-nhint (lambda (node kind) (let fnrec7532 ((node node) (kind kind)) (if (jolt-truthy? (let* ((and__25__auto kind)) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "fn") (jolt-get node (keyword #f "op"))) and__25__auto))) (jolt-assoc node (keyword #f "arities") (let* ((_a$7534 (var-deref "clojure.core" "mapv")) (_a$7535 (lambda (a) (let fnrec7533 ((a a)) (if (jolt-truthy? (jolt-get a (keyword #f "ret-nhint"))) a (jolt-assoc a (keyword #f "ret-nhint") kind))))) (_a$7536 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$7534 _a$7535 _a$7536))) node))))) with-ret-nhint))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-seq" (letrec ((analyze-seq (lambda (ctx forms env) (let fnrec7521 ((ctx ctx) (forms forms) (env env)) (let* ((v (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__86_) (let fnrec7522 ((p__86_ p__86_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__86_ env))) forms)) (n (jolt-count v))) (if (jolt-zero? n) (jolt-invoke (var-deref "jolt.ir" "const") jolt-nil) (if (jolt= 1 n) (jolt-first v) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$7523 (var-deref "jolt.ir" "do-node")) (_a$7524 (jolt-invoke (var-deref "clojure.core" "subvec") v 0 (jolt-dec n))) (_a$7525 (jolt-peek v))) (jolt-invoke _a$7523 _a$7524 _a$7525)) jolt-nil)))))))) analyze-seq))) + (def-var! "jolt.analyzer" "analyze-seq" (letrec ((analyze-seq (lambda (ctx forms env) (let fnrec7537 ((ctx ctx) (forms forms) (env env)) (let* ((v (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__86_) (let fnrec7538 ((p__86_ p__86_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__86_ env))) forms)) (n (jolt-count v))) (if (jolt-zero? n) (jolt-invoke (var-deref "jolt.ir" "const") jolt-nil) (if (jolt= 1 n) (jolt-first v) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$7539 (var-deref "jolt.ir" "do-node")) (_a$7540 (jolt-invoke (var-deref "clojure.core" "subvec") v 0 (jolt-dec n))) (_a$7541 (jolt-peek v))) (jolt-invoke _a$7539 _a$7540 _a$7541)) jolt-nil)))))))) analyze-seq))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-bindings" (letrec ((analyze-bindings (lambda (ctx bvec env) (let fnrec7526 ((ctx ctx) (bvec bvec) (env env)) (let* ((i 0) (env env) (pairs (jolt-vector))) (let loop7527 ((i i) (env env) (pairs pairs)) (if (< i (jolt-count bvec)) (let* ((bsym (jolt-nth bvec i))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") bsym)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring binding") jolt-nil) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") bsym)) (init (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth bvec (jolt-inc i)) env))) (let* ((_a$7534 (+ i 2)) (_a$7535 (let* ((_a$7528 (var-deref "jolt.analyzer" "add-hint")) (_a$7529 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector nm))) (_a$7530 nm) (_a$7531 (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx bsym))) (jolt-invoke _a$7528 _a$7529 _a$7530 _a$7531))) (_a$7536 (jolt-conj pairs (let* ((_o$7532 nm) (_o$7533 init)) (jolt-vector _o$7532 _o$7533))))) (loop7527 _a$7534 _a$7535 _a$7536))))) (let* ((_o$7537 pairs) (_o$7538 env)) (jolt-vector _o$7537 _o$7538))))))))) analyze-bindings))) + (def-var! "jolt.analyzer" "analyze-bindings" (letrec ((analyze-bindings (lambda (ctx bvec env) (let fnrec7542 ((ctx ctx) (bvec bvec) (env env)) (let* ((i 0) (env env) (pairs (jolt-vector))) (let loop7543 ((i i) (env env) (pairs pairs)) (if (< i (jolt-count bvec)) (let* ((bsym (jolt-nth bvec i))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") bsym)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring binding") jolt-nil) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") bsym)) (init (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth bvec (jolt-inc i)) env))) (let* ((_a$7550 (+ i 2)) (_a$7551 (let* ((_a$7544 (var-deref "jolt.analyzer" "add-hint")) (_a$7545 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector nm))) (_a$7546 nm) (_a$7547 (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx bsym))) (jolt-invoke _a$7544 _a$7545 _a$7546 _a$7547))) (_a$7552 (jolt-conj pairs (let* ((_o$7548 nm) (_o$7549 init)) (jolt-vector _o$7548 _o$7549))))) (loop7543 _a$7550 _a$7551 _a$7552))))) (let* ((_o$7553 pairs) (_o$7554 env)) (jolt-vector _o$7553 _o$7554))))))))) analyze-bindings))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "parse-params" (letrec ((parse-params (lambda (ctx pvec) (let fnrec7539 ((ctx ctx) (pvec pvec)) (let* ((i 0) (fixed (jolt-vector)) (rest-name jolt-nil) (hints (jolt-vector)) (phints (jolt-vector)) (nhints (jolt-vector))) (let loop7540 ((i i) (fixed fixed) (rest-name rest-name) (hints hints) (phints phints) (nhints nhints)) (if (< i (jolt-count pvec)) (let* ((p (jolt-nth pvec i))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") p)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring fn param") jolt-nil) (if (jolt= "&" (jolt-invoke (var-deref "jolt.host" "form-sym-name") p)) (let* ((r (jolt-nth pvec (jolt-inc i)))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") r)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring fn rest") jolt-nil) (let* ((_a$7541 (+ i 2)) (_a$7542 fixed) (_a$7543 (jolt-invoke (var-deref "jolt.host" "form-sym-name") r)) (_a$7544 hints) (_a$7545 phints) (_a$7546 nhints)) (loop7540 _a$7541 _a$7542 _a$7543 _a$7544 _a$7545 _a$7546)))) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") p)) (h (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx p)) (ph (jolt-invoke (var-deref "jolt.analyzer" "phint-of") ctx p)) (nh (jolt-invoke (var-deref "jolt.analyzer" "nhint-of") ctx p))) (let* ((_a$7553 (jolt-inc i)) (_a$7554 (jolt-conj fixed nm)) (_a$7555 rest-name) (_a$7556 (if (jolt-truthy? h) (jolt-conj hints (let* ((_o$7547 nm) (_o$7548 h)) (jolt-vector _o$7547 _o$7548))) hints)) (_a$7557 (if (jolt-truthy? ph) (jolt-conj phints (let* ((_o$7549 nm) (_o$7550 ph)) (jolt-vector _o$7549 _o$7550))) phints)) (_a$7558 (if (jolt-truthy? nh) (jolt-conj nhints (let* ((_o$7551 nm) (_o$7552 nh)) (jolt-vector _o$7551 _o$7552))) nhints))) (loop7540 _a$7553 _a$7554 _a$7555 _a$7556 _a$7557 _a$7558)))))) (let* ((_o$7559 (keyword #f "fixed")) (_o$7560 fixed) (_o$7561 (keyword #f "rest")) (_o$7562 rest-name) (_o$7563 (keyword #f "hints")) (_o$7564 hints) (_o$7565 (keyword #f "phints")) (_o$7566 phints) (_o$7567 (keyword #f "nhints")) (_o$7568 nhints)) (jolt-hash-map _o$7559 _o$7560 _o$7561 _o$7562 _o$7563 _o$7564 _o$7565 _o$7566 _o$7567 _o$7568))))))))) parse-params))) + (def-var! "jolt.analyzer" "parse-params" (letrec ((parse-params (lambda (ctx pvec) (let fnrec7555 ((ctx ctx) (pvec pvec)) (let* ((i 0) (fixed (jolt-vector)) (rest-name jolt-nil) (hints (jolt-vector)) (phints (jolt-vector)) (nhints (jolt-vector))) (let loop7556 ((i i) (fixed fixed) (rest-name rest-name) (hints hints) (phints phints) (nhints nhints)) (if (< i (jolt-count pvec)) (let* ((p (jolt-nth pvec i))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") p)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring fn param") jolt-nil) (if (jolt= "&" (jolt-invoke (var-deref "jolt.host" "form-sym-name") p)) (let* ((r (jolt-nth pvec (jolt-inc i)))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") r)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "destructuring fn rest") jolt-nil) (let* ((_a$7557 (+ i 2)) (_a$7558 fixed) (_a$7559 (jolt-invoke (var-deref "jolt.host" "form-sym-name") r)) (_a$7560 hints) (_a$7561 phints) (_a$7562 nhints)) (loop7556 _a$7557 _a$7558 _a$7559 _a$7560 _a$7561 _a$7562)))) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") p)) (h (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx p)) (ph (jolt-invoke (var-deref "jolt.analyzer" "phint-of") ctx p)) (nh (jolt-invoke (var-deref "jolt.analyzer" "nhint-of") ctx p))) (let* ((_a$7569 (jolt-inc i)) (_a$7570 (jolt-conj fixed nm)) (_a$7571 rest-name) (_a$7572 (if (jolt-truthy? h) (jolt-conj hints (let* ((_o$7563 nm) (_o$7564 h)) (jolt-vector _o$7563 _o$7564))) hints)) (_a$7573 (if (jolt-truthy? ph) (jolt-conj phints (let* ((_o$7565 nm) (_o$7566 ph)) (jolt-vector _o$7565 _o$7566))) phints)) (_a$7574 (if (jolt-truthy? nh) (jolt-conj nhints (let* ((_o$7567 nm) (_o$7568 nh)) (jolt-vector _o$7567 _o$7568))) nhints))) (loop7556 _a$7569 _a$7570 _a$7571 _a$7572 _a$7573 _a$7574)))))) (let* ((_o$7575 (keyword #f "fixed")) (_o$7576 fixed) (_o$7577 (keyword #f "rest")) (_o$7578 rest-name) (_o$7579 (keyword #f "hints")) (_o$7580 hints) (_o$7581 (keyword #f "phints")) (_o$7582 phints) (_o$7583 (keyword #f "nhints")) (_o$7584 nhints)) (jolt-hash-map _o$7575 _o$7576 _o$7577 _o$7578 _o$7579 _o$7580 _o$7581 _o$7582 _o$7583 _o$7584))))))))) parse-params))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "uniquify-params" (letrec ((uniquify-params (lambda (names) (let fnrec7569 ((names names)) (let* ((n (jolt-count names))) (let* ((i 0) (out (jolt-vector))) (let loop7570 ((i i) (out out)) (if (< i n) (let* ((nm (jolt-nth names i)) (dup? (let* ((j (jolt-inc i))) (let loop7571 ((j j)) (if (>= j n) #f (if (jolt= nm (jolt-nth names j)) #t (if (jolt-truthy? (keyword #f "else")) (loop7571 (jolt-inc j)) jolt-nil))))))) (let* ((_a$7572 (jolt-inc i)) (_a$7573 (jolt-conj out (if (jolt-truthy? dup?) (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (jolt-invoke (var-deref "clojure.core" "str") nm "_")) nm)))) (loop7570 _a$7572 _a$7573))) out)))))))) uniquify-params))) + (def-var! "jolt.analyzer" "uniquify-params" (letrec ((uniquify-params (lambda (names) (let fnrec7585 ((names names)) (let* ((n (jolt-count names))) (let* ((i 0) (out (jolt-vector))) (let loop7586 ((i i) (out out)) (if (< i n) (let* ((nm (jolt-nth names i)) (dup? (let* ((j (jolt-inc i))) (let loop7587 ((j j)) (if (>= j n) #f (if (jolt= nm (jolt-nth names j)) #t (if (jolt-truthy? (keyword #f "else")) (loop7587 (jolt-inc j)) jolt-nil))))))) (let* ((_a$7588 (jolt-inc i)) (_a$7589 (jolt-conj out (if (jolt-truthy? dup?) (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (jolt-invoke (var-deref "clojure.core" "str") nm "_")) nm)))) (loop7586 _a$7588 _a$7589))) out)))))))) uniquify-params))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-arity" (letrec ((analyze-arity (lambda (ctx pvec body env fn-name) (let fnrec7574 ((ctx ctx) (pvec pvec) (body body) (env env) (fn-name fn-name)) (let* ((pp (jolt-invoke (var-deref "jolt.analyzer" "parse-params") ctx (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") pvec)))) (fixed (jolt-invoke (var-deref "jolt.analyzer" "uniquify-params") (jolt-get pp (keyword #f "fixed")))) (rst (jolt-get pp (keyword #f "rest"))) (rname (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (let* ((_a$7575 (var-deref "clojure.core" "str")) (_a$7576 (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (_a$7577 "/") (_a$7578 (let* ((or__26__auto fn-name)) (if (jolt-truthy? or__26__auto) or__26__auto "fn"))) (_a$7579 "--")) (jolt-invoke _a$7575 _a$7576 _a$7577 _a$7578 _a$7579)))) (names (let* ((G__131 (jolt-invoke (var-deref "clojure.core" "vec") fixed))) (let* ((G__132 (if (jolt-truthy? rst) (jolt-conj G__131 rst) G__131))) (let* ((G__133 (if (jolt-truthy? fn-name) (jolt-conj G__132 fn-name) G__132))) G__133)))) (env0 (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names) rname)) (env* (let* ((_a$7585 (lambda (e pr) (let fnrec7580 ((e e) (pr pr)) (let* ((_a$7581 (var-deref "jolt.analyzer" "add-hint")) (_a$7582 e) (_a$7583 (jolt-nth pr 0)) (_a$7584 (jolt-nth pr 1))) (jolt-invoke _a$7581 _a$7582 _a$7583 _a$7584))))) (_a$7586 env0) (_a$7587 (jolt-get pp (keyword #f "hints")))) (jolt-reduce _a$7585 _a$7586 _a$7587))) (arity (let* ((_o$7588 (keyword #f "params")) (_o$7589 fixed) (_o$7590 (keyword #f "recur-name")) (_o$7591 rname) (_o$7592 (keyword #f "body")) (_o$7593 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx body env*))) (jolt-hash-map _o$7588 _o$7589 _o$7590 _o$7591 _o$7592 _o$7593))) (arity (if (jolt-truthy? (jolt-seq (jolt-get pp (keyword #f "phints")))) (jolt-assoc arity (keyword #f "phints") (jolt-get pp (keyword #f "phints"))) arity)) (arity (if (jolt-truthy? (jolt-seq (jolt-get pp (keyword #f "nhints")))) (jolt-assoc arity (keyword #f "nhints") (jolt-get pp (keyword #f "nhints"))) arity))) (if (jolt-truthy? rst) (jolt-assoc arity (keyword #f "rest") rst) arity)))))) analyze-arity))) + (def-var! "jolt.analyzer" "analyze-arity" (letrec ((analyze-arity (lambda (ctx pvec body env fn-name) (let fnrec7590 ((ctx ctx) (pvec pvec) (body body) (env env) (fn-name fn-name)) (let* ((pp (jolt-invoke (var-deref "jolt.analyzer" "parse-params") ctx (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") pvec)))) (fixed (jolt-invoke (var-deref "jolt.analyzer" "uniquify-params") (jolt-get pp (keyword #f "fixed")))) (rst (jolt-get pp (keyword #f "rest"))) (rname (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (let* ((_a$7591 (var-deref "clojure.core" "str")) (_a$7592 (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (_a$7593 "/") (_a$7594 (let* ((or__26__auto fn-name)) (if (jolt-truthy? or__26__auto) or__26__auto "fn"))) (_a$7595 "--")) (jolt-invoke _a$7591 _a$7592 _a$7593 _a$7594 _a$7595)))) (names (let* ((G__131 (jolt-invoke (var-deref "clojure.core" "vec") fixed))) (let* ((G__132 (if (jolt-truthy? rst) (jolt-conj G__131 rst) G__131))) (let* ((G__133 (if (jolt-truthy? fn-name) (jolt-conj G__132 fn-name) G__132))) G__133)))) (env0 (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names) rname)) (env* (let* ((_a$7601 (lambda (e pr) (let fnrec7596 ((e e) (pr pr)) (let* ((_a$7597 (var-deref "jolt.analyzer" "add-hint")) (_a$7598 e) (_a$7599 (jolt-nth pr 0)) (_a$7600 (jolt-nth pr 1))) (jolt-invoke _a$7597 _a$7598 _a$7599 _a$7600))))) (_a$7602 env0) (_a$7603 (jolt-get pp (keyword #f "hints")))) (jolt-reduce _a$7601 _a$7602 _a$7603))) (arity (let* ((_o$7604 (keyword #f "params")) (_o$7605 fixed) (_o$7606 (keyword #f "recur-name")) (_o$7607 rname) (_o$7608 (keyword #f "body")) (_o$7609 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx body env*))) (jolt-hash-map _o$7604 _o$7605 _o$7606 _o$7607 _o$7608 _o$7609))) (arity (if (jolt-truthy? (jolt-seq (jolt-get pp (keyword #f "phints")))) (jolt-assoc arity (keyword #f "phints") (jolt-get pp (keyword #f "phints"))) arity)) (arity (if (jolt-truthy? (jolt-seq (jolt-get pp (keyword #f "nhints")))) (jolt-assoc arity (keyword #f "nhints") (jolt-get pp (keyword #f "nhints"))) arity))) (if (jolt-truthy? rst) (jolt-assoc arity (keyword #f "rest") rst) arity)))))) analyze-arity))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "strip-arglist-meta" (letrec ((strip-arglist-meta (lambda (form) (let fnrec7594 ((form form)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") form)) (let* ((es (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") form)))) (if (jolt-truthy? (let* ((and__25__auto (jolt= 3 (jolt-count es)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first es)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "with-meta" (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first es))))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-vec?") (jolt-nth es 1)) and__25__auto)) and__25__auto)) and__25__auto))) (jolt-nth es 1) form)) form))))) strip-arglist-meta))) + (def-var! "jolt.analyzer" "strip-arglist-meta" (letrec ((strip-arglist-meta (lambda (form) (let fnrec7610 ((form form)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") form)) (let* ((es (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") form)))) (if (jolt-truthy? (let* ((and__25__auto (jolt= 3 (jolt-count es)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first es)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "with-meta" (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first es))))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-vec?") (jolt-nth es 1)) and__25__auto)) and__25__auto)) and__25__auto))) (jolt-nth es 1) form)) form))))) strip-arglist-meta))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-fn" (letrec ((analyze-fn (lambda (ctx items env) (let fnrec7595 ((ctx ctx) (items items) (env env)) (let* ((named (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1))) (fn-name (if (jolt-truthy? named) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1)) jolt-nil)) (rest-items (if (jolt-truthy? named) (jolt-drop 2 items) (jolt-drop 1 items))) (first* (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first rest-items)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-vec?") first*)) (jolt-invoke (var-deref "jolt.ir" "fn-node") fn-name (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze-arity") ctx first* (jolt-rest rest-items) env fn-name))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") first*)) (jolt-invoke (var-deref "jolt.ir" "fn-node") fn-name (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (clause) (let fnrec7596 ((clause clause)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") clause)))) (let* ((_a$7597 (var-deref "jolt.analyzer" "analyze-arity")) (_a$7598 ctx) (_a$7599 (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first cl))) (_a$7600 (jolt-rest cl)) (_a$7601 env) (_a$7602 fn-name)) (jolt-invoke _a$7597 _a$7598 _a$7599 _a$7600 _a$7601 _a$7602))))) rest-items)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "fn: bad params") jolt-nil)))))))) analyze-fn))) + (def-var! "jolt.analyzer" "analyze-fn" (letrec ((analyze-fn (lambda (ctx items env) (let fnrec7611 ((ctx ctx) (items items) (env env)) (let* ((named (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1))) (fn-name (if (jolt-truthy? named) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1)) jolt-nil)) (rest-items (if (jolt-truthy? named) (jolt-drop 2 items) (jolt-drop 1 items))) (first* (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first rest-items)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-vec?") first*)) (jolt-invoke (var-deref "jolt.ir" "fn-node") fn-name (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze-arity") ctx first* (jolt-rest rest-items) env fn-name))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") first*)) (jolt-invoke (var-deref "jolt.ir" "fn-node") fn-name (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (clause) (let fnrec7612 ((clause clause)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") clause)))) (let* ((_a$7613 (var-deref "jolt.analyzer" "analyze-arity")) (_a$7614 ctx) (_a$7615 (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first cl))) (_a$7616 (jolt-rest cl)) (_a$7617 env) (_a$7618 fn-name)) (jolt-invoke _a$7613 _a$7614 _a$7615 _a$7616 _a$7617 _a$7618))))) rest-items)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "fn: bad params") jolt-nil)))))))) analyze-fn))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.analyzer" "catch-all-names" (let* ((_o$7603 "Throwable") (_o$7604 "java.lang.Throwable") (_o$7605 "Object") (_o$7606 "java.lang.Object")) (jolt-hash-set _o$7603 _o$7604 _o$7605 _o$7606)) (let* ((_o$7607 (keyword #f "private")) (_o$7608 #t)) (jolt-hash-map _o$7607 _o$7608)))) + (def-var-with-meta! "jolt.analyzer" "catch-all-names" (let* ((_o$7619 "Throwable") (_o$7620 "java.lang.Throwable") (_o$7621 "Object") (_o$7622 "java.lang.Object")) (jolt-hash-set _o$7619 _o$7620 _o$7621 _o$7622)) (let* ((_o$7623 (keyword #f "private")) (_o$7624 #t)) (jolt-hash-map _o$7623 _o$7624)))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-try" (letrec ((analyze-try (lambda (ctx items env) (let fnrec7609 ((ctx ctx) (items items) (env env)) (let* ((clauses (jolt-rest items)) (body (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (catches (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (finally-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil))) (begin (begin (jolt-count (jolt-map (lambda (c) (let fnrec7610 ((c c)) (begin (let* ((head (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") c)) (jolt-first (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c))) jolt-nil)) (hname (if (jolt-truthy? (let* ((and__25__auto head)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") head) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil))) (if (jolt= hname "catch") (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c)))) (begin (if (jolt-truthy? (let* ((or__26__auto (< (jolt-count cl) 3))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth cl 2)))))) (jolt-throw "Unable to parse catch clause; expected (catch class binding body*)") jolt-nil) (jolt-invoke (var-deref "clojure.core" "swap!") catches jolt-conj cl))) (if (jolt= hname "finally") (jolt-invoke (var-deref "clojure.core" "reset!") finally-body (jolt-rest (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c)))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "clojure.core" "swap!") body jolt-conj c) jolt-nil)))) jolt-nil))) clauses)) jolt-nil) (let* ((n (let* ((_o$7611 (keyword #f "op")) (_o$7612 (keyword #f "try")) (_o$7613 (keyword #f "body")) (_o$7614 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") body) env))) (jolt-hash-map _o$7611 _o$7612 _o$7613 _o$7614))) (n (if (jolt-truthy? (jolt-seq (jolt-invoke (var-deref "clojure.core" "deref") catches))) (let* ((evar-name (jolt-invoke (var-deref "jolt.analyzer" "gen-name") "catch")) (evar (jolt-invoke (var-deref "clojure.core" "symbol") evar-name)) (dispatch (let* ((_a$7619 (lambda (_else cl) (let fnrec7615 ((_else _else) (cl cl)) (let* ((cform (jolt-nth cl 1)) (bindsym (jolt-nth cl 2)) (bodyf (jolt-drop 3 cl)) (letform (jolt-cons (jolt-symbol #f "let") (jolt-cons (jolt-vector bindsym evar) bodyf))) (fullname (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") cform)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") cform) jolt-nil)) (catch-all? (let* ((or__26__auto (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") cform)))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-contains? (var-deref "jolt.analyzer" "catch-all-names") fullname))))) (if (jolt-truthy? catch-all?) letform (jolt-list (jolt-symbol #f "if") (let* ((_a$7616 (jolt-symbol #f "or")) (_a$7617 (jolt-list (jolt-symbol #f "instance?") cform evar)) (_a$7618 (jolt-list (jolt-symbol #f "__catch-broad?") fullname evar))) (jolt-list _a$7616 _a$7617 _a$7618)) letform _else)))))) (_a$7620 (jolt-list (jolt-symbol #f "throw") evar)) (_a$7621 (jolt-reverse (jolt-invoke (var-deref "clojure.core" "deref") catches)))) (jolt-reduce _a$7619 _a$7620 _a$7621)))) (jolt-assoc n (keyword #f "catch-sym") evar-name (keyword #f "catch-body") (let* ((_a$7622 (var-deref "jolt.analyzer" "analyze-seq")) (_a$7623 ctx) (_a$7624 (jolt-list dispatch)) (_a$7625 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector evar-name)))) (jolt-invoke _a$7622 _a$7623 _a$7624 _a$7625)))) n)) (n (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "deref") finally-body)) (jolt-assoc n (keyword #f "finally") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") finally-body) env)) n))) n))))))) analyze-try))) + (def-var! "jolt.analyzer" "analyze-try" (letrec ((analyze-try (lambda (ctx items env) (let fnrec7625 ((ctx ctx) (items items) (env env)) (let* ((clauses (jolt-rest items)) (body (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (catches (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (finally-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil))) (begin (begin (jolt-count (jolt-map (lambda (c) (let fnrec7626 ((c c)) (begin (let* ((head (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") c)) (jolt-first (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c))) jolt-nil)) (hname (if (jolt-truthy? (let* ((and__25__auto head)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") head) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil))) (if (jolt= hname "catch") (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c)))) (begin (if (jolt-truthy? (let* ((or__26__auto (< (jolt-count cl) 3))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth cl 2)))))) (jolt-throw "Unable to parse catch clause; expected (catch class binding body*)") jolt-nil) (jolt-invoke (var-deref "clojure.core" "swap!") catches jolt-conj cl))) (if (jolt= hname "finally") (jolt-invoke (var-deref "clojure.core" "reset!") finally-body (jolt-rest (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") c)))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "clojure.core" "swap!") body jolt-conj c) jolt-nil)))) jolt-nil))) clauses)) jolt-nil) (let* ((n (let* ((_o$7627 (keyword #f "op")) (_o$7628 (keyword #f "try")) (_o$7629 (keyword #f "body")) (_o$7630 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") body) env))) (jolt-hash-map _o$7627 _o$7628 _o$7629 _o$7630))) (n (if (jolt-truthy? (jolt-seq (jolt-invoke (var-deref "clojure.core" "deref") catches))) (let* ((evar-name (jolt-invoke (var-deref "jolt.analyzer" "gen-name") "catch")) (evar (jolt-invoke (var-deref "clojure.core" "symbol") evar-name)) (dispatch (let* ((_a$7635 (lambda (_else cl) (let fnrec7631 ((_else _else) (cl cl)) (let* ((cform (jolt-nth cl 1)) (bindsym (jolt-nth cl 2)) (bodyf (jolt-drop 3 cl)) (letform (jolt-cons (jolt-symbol #f "let") (jolt-cons (jolt-vector bindsym evar) bodyf))) (fullname (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") cform)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") cform) jolt-nil)) (catch-all? (let* ((or__26__auto (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") cform)))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-contains? (var-deref "jolt.analyzer" "catch-all-names") fullname))))) (if (jolt-truthy? catch-all?) letform (jolt-list (jolt-symbol #f "if") (let* ((_a$7632 (jolt-symbol #f "or")) (_a$7633 (jolt-list (jolt-symbol #f "instance?") cform evar)) (_a$7634 (jolt-list (jolt-symbol #f "__catch-broad?") fullname evar))) (jolt-list _a$7632 _a$7633 _a$7634)) letform _else)))))) (_a$7636 (jolt-list (jolt-symbol #f "throw") evar)) (_a$7637 (jolt-reverse (jolt-invoke (var-deref "clojure.core" "deref") catches)))) (jolt-reduce _a$7635 _a$7636 _a$7637)))) (jolt-assoc n (keyword #f "catch-sym") evar-name (keyword #f "catch-body") (let* ((_a$7638 (var-deref "jolt.analyzer" "analyze-seq")) (_a$7639 ctx) (_a$7640 (jolt-list dispatch)) (_a$7641 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector evar-name)))) (jolt-invoke _a$7638 _a$7639 _a$7640 _a$7641)))) n)) (n (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "deref") finally-body)) (jolt-assoc n (keyword #f "finally") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") finally-body) env)) n))) n))))))) analyze-try))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-letfn" (letrec ((analyze-letfn (lambda (ctx items env) (let fnrec7626 ((ctx ctx) (items items) (env env)) (let* ((specs (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (names (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__87_) (let fnrec7627 ((p__87_ p__87_)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") p__87_)))))) specs)) (env* (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names)) (binds (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (spec) (let fnrec7628 ((spec spec)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") spec)))) (let* ((_o$7629 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first cl))) (_o$7630 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-cons (jolt-invoke (var-deref "clojure.core" "symbol") "fn") cl) env*))) (jolt-vector _o$7629 _o$7630))))) specs))) (let* ((_o$7631 (keyword #f "op")) (_o$7632 (keyword #f "let")) (_o$7633 (keyword #f "letrec")) (_o$7634 #t) (_o$7635 (keyword #f "bindings")) (_o$7636 binds) (_o$7637 (keyword #f "body")) (_o$7638 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env*))) (jolt-hash-map _o$7631 _o$7632 _o$7633 _o$7634 _o$7635 _o$7636 _o$7637 _o$7638))))))) analyze-letfn))) + (def-var! "jolt.analyzer" "analyze-letfn" (letrec ((analyze-letfn (lambda (ctx items env) (let fnrec7642 ((ctx ctx) (items items) (env env)) (let* ((specs (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (names (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__87_) (let fnrec7643 ((p__87_ p__87_)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") p__87_)))))) specs)) (env* (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names)) (binds (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (spec) (let fnrec7644 ((spec spec)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") spec)))) (let* ((_o$7645 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first cl))) (_o$7646 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-cons (jolt-invoke (var-deref "clojure.core" "symbol") "fn") cl) env*))) (jolt-vector _o$7645 _o$7646))))) specs))) (let* ((_o$7647 (keyword #f "op")) (_o$7648 (keyword #f "let")) (_o$7649 (keyword #f "letrec")) (_o$7650 #t) (_o$7651 (keyword #f "bindings")) (_o$7652 binds) (_o$7653 (keyword #f "body")) (_o$7654 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env*))) (jolt-hash-map _o$7647 _o$7648 _o$7649 _o$7650 _o$7651 _o$7652 _o$7653 _o$7654))))))) analyze-letfn))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "field-head?" (letrec ((field-head? (lambda (nm) (let fnrec7639 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 2))) (if (jolt-truthy? and__25__auto) (jolt= ".-" (jolt-invoke (var-deref "clojure.core" "subs") nm 0 2)) and__25__auto)))))) field-head?))) + (def-var! "jolt.analyzer" "field-head?" (letrec ((field-head? (lambda (nm) (let fnrec7655 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 2))) (if (jolt-truthy? and__25__auto) (jolt= ".-" (jolt-invoke (var-deref "clojure.core" "subs") nm 0 2)) and__25__auto)))))) field-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "def-meta-expr" (letrec ((def-meta-expr (lambda (ctx base env) (let fnrec7640 ((ctx ctx) (base base) (env env)) (if (jolt-pos? (jolt-count base)) (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$7644 (var-deref "clojure.core" "mapv")) (_a$7645 (lambda (p) (let fnrec7641 ((p p)) (let* ((k (jolt-first p)) (v (jolt-invoke (var-deref "clojure.core" "second") p))) (let* ((_o$7642 (jolt-invoke (var-deref "jolt.ir" "const") k)) (_o$7643 (if (jolt= k (keyword #f "tag")) (jolt-invoke (var-deref "jolt.ir" "quote-node") v) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx v env)))) (jolt-vector _o$7642 _o$7643)))))) (_a$7646 (jolt-seq base))) (jolt-invoke _a$7644 _a$7645 _a$7646))) jolt-nil))))) def-meta-expr))) + (def-var! "jolt.analyzer" "def-meta-expr" (letrec ((def-meta-expr (lambda (ctx base env) (let fnrec7656 ((ctx ctx) (base base) (env env)) (if (jolt-pos? (jolt-count base)) (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$7660 (var-deref "clojure.core" "mapv")) (_a$7661 (lambda (p) (let fnrec7657 ((p p)) (let* ((k (jolt-first p)) (v (jolt-invoke (var-deref "clojure.core" "second") p))) (let* ((_o$7658 (jolt-invoke (var-deref "jolt.ir" "const") k)) (_o$7659 (if (jolt= k (keyword #f "tag")) (jolt-invoke (var-deref "jolt.ir" "quote-node") v) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx v env)))) (jolt-vector _o$7658 _o$7659)))))) (_a$7662 (jolt-seq base))) (jolt-invoke _a$7660 _a$7661 _a$7662))) jolt-nil))))) def-meta-expr))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-def" (letrec ((analyze-def (lambda (ctx items env) (let fnrec7647 ((ctx ctx) (items items) (env env)) (let* ((name-sym (jolt-nth items 1))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") name-sym)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "def name with map metadata") jolt-nil) (if (< (jolt-count items) 3) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((_o$7648 (keyword #f "op")) (_o$7649 (keyword #f "def")) (_o$7650 (keyword #f "ns")) (_o$7651 cur) (_o$7652 (keyword #f "name")) (_o$7653 nm) (_o$7654 (keyword #f "no-init")) (_o$7655 #t)) (jolt-hash-map _o$7648 _o$7649 _o$7650 _o$7651 _o$7652 _o$7653 _o$7654 _o$7655)))) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (has-doc (let* ((and__25__auto (> (jolt-count items) 3))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "string?") (jolt-nth items 2)) and__25__auto))) (val-form (jolt-nth items (if (jolt-truthy? has-doc) 3 2))) (base0 (let* ((or__26__auto (jolt-invoke (var-deref "jolt.host" "form-sym-meta") name-sym))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-hash-map)))) (tag (jolt-get base0 (keyword #f "tag"))) (tag-name (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") tag)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") tag) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") tag)) tag (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil)))) (base-meta (if (jolt-truthy? tag-name) (let* ((c (jolt-invoke (var-deref "jolt.host" "resolve-class-hint") tag-name))) (if (jolt-truthy? c) (jolt-assoc base0 (keyword #f "tag") c) base0)) base0)) (node-meta (if (jolt-truthy? has-doc) (jolt-assoc base-meta (keyword #f "doc") (jolt-nth items 2)) base-meta))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((node (jolt-invoke (var-deref "jolt.ir" "def-node") cur nm (let* ((_a$7656 (var-deref "jolt.analyzer" "with-ret-nhint")) (_a$7657 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx val-form env)) (_a$7658 (jolt-invoke (var-deref "jolt.analyzer" "tag->nkind") tag))) (jolt-invoke _a$7656 _a$7657 _a$7658)) node-meta)) (me (jolt-invoke (var-deref "jolt.analyzer" "def-meta-expr") ctx node-meta env))) (if (jolt-truthy? me) (jolt-assoc node (keyword #f "meta-expr") me) node))))))))))) analyze-def))) + (def-var! "jolt.analyzer" "analyze-def" (letrec ((analyze-def (lambda (ctx items env) (let fnrec7663 ((ctx ctx) (items items) (env env)) (let* ((name-sym (jolt-nth items 1))) (begin (if (jolt-not (jolt-invoke (var-deref "jolt.host" "form-sym?") name-sym)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "def name with map metadata") jolt-nil) (if (< (jolt-count items) 3) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((_o$7664 (keyword #f "op")) (_o$7665 (keyword #f "def")) (_o$7666 (keyword #f "ns")) (_o$7667 cur) (_o$7668 (keyword #f "name")) (_o$7669 nm) (_o$7670 (keyword #f "no-init")) (_o$7671 #t)) (jolt-hash-map _o$7664 _o$7665 _o$7666 _o$7667 _o$7668 _o$7669 _o$7670 _o$7671)))) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (has-doc (let* ((and__25__auto (> (jolt-count items) 3))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "string?") (jolt-nth items 2)) and__25__auto))) (val-form (jolt-nth items (if (jolt-truthy? has-doc) 3 2))) (base0 (let* ((or__26__auto (jolt-invoke (var-deref "jolt.host" "form-sym-meta") name-sym))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-hash-map)))) (tag (jolt-get base0 (keyword #f "tag"))) (tag-name (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") tag)) (jolt-invoke (var-deref "jolt.host" "form-sym-name") tag) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") tag)) tag (if (jolt-truthy? (keyword #f "else")) jolt-nil jolt-nil)))) (base-meta (if (jolt-truthy? tag-name) (let* ((c (jolt-invoke (var-deref "jolt.host" "resolve-class-hint") tag-name))) (if (jolt-truthy? c) (jolt-assoc base0 (keyword #f "tag") c) base0)) base0)) (node-meta (if (jolt-truthy? has-doc) (jolt-assoc base-meta (keyword #f "doc") (jolt-nth items 2)) base-meta))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((node (jolt-invoke (var-deref "jolt.ir" "def-node") cur nm (let* ((_a$7672 (var-deref "jolt.analyzer" "with-ret-nhint")) (_a$7673 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx val-form env)) (_a$7674 (jolt-invoke (var-deref "jolt.analyzer" "tag->nkind") tag))) (jolt-invoke _a$7672 _a$7673 _a$7674)) node-meta)) (me (jolt-invoke (var-deref "jolt.analyzer" "def-meta-expr") ctx node-meta env))) (if (jolt-truthy? me) (jolt-assoc node (keyword #f "meta-expr") me) node))))))))))) analyze-def))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-set!" (letrec ((analyze-set! (lambda (ctx items env) (let fnrec7659 ((ctx ctx) (items items) (env env)) (let* ((target (jolt-nth items 1)) (val-node (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (ti (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") target)) (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") target)) jolt-nil)) (thead (if (jolt-truthy? (let* ((and__25__auto ti)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-pos? (jolt-count ti)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first ti)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first ti)) jolt-nil))) (if (jolt-truthy? (let* ((and__25__auto thead)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") thead) and__25__auto))) (let* ((_o$7660 (keyword #f "op")) (_o$7661 (keyword #f "set-field")) (_o$7662 (keyword #f "obj")) (_o$7663 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth ti 1) env)) (_o$7664 (keyword #f "field")) (_o$7665 (jolt-invoke (var-deref "clojure.core" "subs") thead 2)) (_o$7666 (keyword #f "val")) (_o$7667 val-node)) (jolt-hash-map _o$7660 _o$7661 _o$7662 _o$7663 _o$7664 _o$7665 _o$7666 _o$7667)) (if (jolt-truthy? (let* ((and__25__auto (jolt= thead "."))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (>= (jolt-count ti) 3))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth ti 1)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth ti 2)))) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "class") (jolt-get (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx (jolt-nth ti 1)) (keyword #f "kind"))) and__25__auto)) and__25__auto)) and__25__auto)) and__25__auto))) (let* ((_a$7671 (var-deref "jolt.ir" "invoke")) (_a$7672 (jolt-invoke (var-deref "jolt.ir" "var-ref") "jolt.host" "set-static-field!")) (_a$7673 (let* ((_o$7668 (jolt-invoke (var-deref "jolt.ir" "const") (jolt-get (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx (jolt-nth ti 1)) (keyword #f "name")))) (_o$7669 (jolt-invoke (var-deref "jolt.ir" "const") (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth ti 2)))) (_o$7670 val-node)) (jolt-vector _o$7668 _o$7669 _o$7670)))) (jolt-invoke _a$7671 _a$7672 _a$7673)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") target)) (begin (if (jolt-truthy? (jolt-invoke (var-deref "jolt.analyzer" "local?") env (jolt-invoke (var-deref "jolt.host" "form-sym-name") target))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of a local") jolt-nil) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx target))) (begin (if (jolt-not (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind")))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of a non-var") jolt-nil) (let* ((_o$7677 (keyword #f "op")) (_o$7678 (keyword #f "set-var")) (_o$7679 (keyword #f "the-var")) (_o$7680 (let* ((_a$7674 (var-deref "jolt.ir" "the-var")) (_a$7675 (jolt-get r (keyword #f "ns"))) (_a$7676 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7674 _a$7675 _a$7676))) (_o$7681 (keyword #f "val")) (_o$7682 val-node)) (jolt-hash-map _o$7677 _o$7678 _o$7679 _o$7680 _o$7681 _o$7682))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of an unsupported target") jolt-nil))))))))) analyze-set!))) + (def-var! "jolt.analyzer" "analyze-set!" (letrec ((analyze-set! (lambda (ctx items env) (let fnrec7675 ((ctx ctx) (items items) (env env)) (let* ((target (jolt-nth items 1)) (val-node (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (ti (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") target)) (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") target)) jolt-nil)) (thead (if (jolt-truthy? (let* ((and__25__auto ti)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-pos? (jolt-count ti)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first ti)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first ti)) jolt-nil))) (if (jolt-truthy? (let* ((and__25__auto thead)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") thead) and__25__auto))) (let* ((_o$7676 (keyword #f "op")) (_o$7677 (keyword #f "set-field")) (_o$7678 (keyword #f "obj")) (_o$7679 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth ti 1) env)) (_o$7680 (keyword #f "field")) (_o$7681 (jolt-invoke (var-deref "clojure.core" "subs") thead 2)) (_o$7682 (keyword #f "val")) (_o$7683 val-node)) (jolt-hash-map _o$7676 _o$7677 _o$7678 _o$7679 _o$7680 _o$7681 _o$7682 _o$7683)) (if (jolt-truthy? (let* ((and__25__auto (jolt= thead "."))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (>= (jolt-count ti) 3))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth ti 1)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth ti 2)))) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "class") (jolt-get (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx (jolt-nth ti 1)) (keyword #f "kind"))) and__25__auto)) and__25__auto)) and__25__auto)) and__25__auto))) (let* ((_a$7687 (var-deref "jolt.ir" "invoke")) (_a$7688 (jolt-invoke (var-deref "jolt.ir" "var-ref") "jolt.host" "set-static-field!")) (_a$7689 (let* ((_o$7684 (jolt-invoke (var-deref "jolt.ir" "const") (jolt-get (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx (jolt-nth ti 1)) (keyword #f "name")))) (_o$7685 (jolt-invoke (var-deref "jolt.ir" "const") (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth ti 2)))) (_o$7686 val-node)) (jolt-vector _o$7684 _o$7685 _o$7686)))) (jolt-invoke _a$7687 _a$7688 _a$7689)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") target)) (begin (if (jolt-truthy? (jolt-invoke (var-deref "jolt.analyzer" "local?") env (jolt-invoke (var-deref "jolt.host" "form-sym-name") target))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of a local") jolt-nil) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx target))) (begin (if (jolt-not (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind")))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of a non-var") jolt-nil) (let* ((_o$7693 (keyword #f "op")) (_o$7694 (keyword #f "set-var")) (_o$7695 (keyword #f "the-var")) (_o$7696 (let* ((_a$7690 (var-deref "jolt.ir" "the-var")) (_a$7691 (jolt-get r (keyword #f "ns"))) (_a$7692 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7690 _a$7691 _a$7692))) (_o$7697 (keyword #f "val")) (_o$7698 val-node)) (jolt-hash-map _o$7693 _o$7694 _o$7695 _o$7696 _o$7697 _o$7698))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of an unsupported target") jolt-nil))))))))) analyze-set!))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-special" (letrec ((analyze-special (lambda (ctx op items env) (let fnrec7683 ((ctx ctx) (op op) (items items) (env env)) (let* ((G__134 op)) (if (jolt= G__134 "quote") (jolt-invoke (var-deref "jolt.ir" "quote-node") (jolt-invoke (var-deref "clojure.core" "second") items)) (if (jolt= G__134 "if") (begin (if (jolt-truthy? (let* ((or__26__auto (< (jolt-count items) 3))) (if (jolt-truthy? or__26__auto) or__26__auto (> (jolt-count items) 4)))) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Wrong number of args (" (jolt-dec (jolt-count items)) ") passed to: if")) jolt-nil) (let* ((_a$7684 (var-deref "jolt.ir" "if-node")) (_a$7685 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_a$7686 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (_a$7687 (if (> (jolt-count items) 3) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 3) env) (jolt-invoke (var-deref "jolt.ir" "const") jolt-nil)))) (jolt-invoke _a$7684 _a$7685 _a$7686 _a$7687))) (if (jolt= G__134 "do") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-rest items) env) (if (jolt= G__134 "throw") (jolt-invoke (var-deref "jolt.ir" "throw-node") (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (if (jolt= G__134 "def") (jolt-invoke (var-deref "jolt.analyzer" "analyze-def") ctx items env) (if (jolt= G__134 "let*") (let* ((bvec (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (r (jolt-invoke (var-deref "jolt.analyzer" "analyze-bindings") ctx bvec env))) (let* ((_a$7692 (var-deref "jolt.ir" "let-node")) (_a$7693 (jolt-first r)) (_a$7694 (let* ((_a$7688 (var-deref "jolt.analyzer" "analyze-seq")) (_a$7689 ctx) (_a$7690 (jolt-drop 2 items)) (_a$7691 (jolt-invoke (var-deref "clojure.core" "second") r))) (jolt-invoke _a$7688 _a$7689 _a$7690 _a$7691)))) (jolt-invoke _a$7692 _a$7693 _a$7694))) (if (jolt= G__134 "loop*") (let* ((bvec (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (rname (jolt-invoke (var-deref "jolt.analyzer" "gen-name") "loop")) (r (jolt-invoke (var-deref "jolt.analyzer" "analyze-bindings") ctx bvec env)) (env** (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "clojure.core" "second") r) rname))) (let* ((_o$7695 (keyword #f "op")) (_o$7696 (keyword #f "loop")) (_o$7697 (keyword #f "recur-name")) (_o$7698 rname) (_o$7699 (keyword #f "bindings")) (_o$7700 (jolt-first r)) (_o$7701 (keyword #f "body")) (_o$7702 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env**))) (jolt-hash-map _o$7695 _o$7696 _o$7697 _o$7698 _o$7699 _o$7700 _o$7701 _o$7702))) (if (jolt= G__134 "recur") (let* ((rt (jolt-get env (keyword #f "recur")))) (begin (if (jolt-not rt) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "recur outside loop/fn") jolt-nil) (let* ((_o$7707 (keyword #f "op")) (_o$7708 (keyword #f "recur")) (_o$7709 (keyword #f "recur-name")) (_o$7710 rt) (_o$7711 (keyword #f "args")) (_o$7712 (let* ((_a$7704 (var-deref "clojure.core" "mapv")) (_a$7705 (lambda (p__88_) (let fnrec7703 ((p__88_ p__88_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__88_ env)))) (_a$7706 (jolt-rest items))) (jolt-invoke _a$7704 _a$7705 _a$7706)))) (jolt-hash-map _o$7707 _o$7708 _o$7709 _o$7710 _o$7711 _o$7712)))) (if (jolt= G__134 "try") (jolt-invoke (var-deref "jolt.analyzer" "analyze-try") ctx items env) (if (jolt= G__134 "letfn") (jolt-invoke (var-deref "jolt.analyzer" "analyze-letfn") ctx items env) (if (jolt= G__134 "fn*") (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx items env) (if (jolt= G__134 "syntax-quote") (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-invoke (var-deref "jolt.host" "form-syntax-quote-lower") ctx (jolt-invoke (var-deref "clojure.core" "second") items)) env) (if (jolt= G__134 "var") (let* ((sym (jolt-invoke (var-deref "clojure.core" "second") items)) (r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx sym))) (if (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind"))) (let* ((_a$7713 (var-deref "jolt.ir" "the-var")) (_a$7714 (jolt-get r (keyword #f "ns"))) (_a$7715 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7713 _a$7714 _a$7715)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "var of non-var " (jolt-invoke (var-deref "jolt.host" "form-sym-name") sym))))) (if (jolt= G__134 "defmacro") (let* ((name-sym (jolt-nth items 1)) (nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (after (jolt-drop 2 items)) (after (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") (jolt-first after))) (jolt-rest after) after)) (after (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") (jolt-first after))) (jolt-rest after) after)) (fn-form (jolt-cons (jolt-invoke (var-deref "clojure.core" "symbol") "fn") after))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((_o$7716 (keyword #f "op")) (_o$7717 (keyword #f "defmacro")) (_o$7718 (keyword #f "ns")) (_o$7719 cur) (_o$7720 (keyword #f "name")) (_o$7721 nm) (_o$7722 (keyword #f "fn")) (_o$7723 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx fn-form env))) (jolt-hash-map _o$7716 _o$7717 _o$7718 _o$7719 _o$7720 _o$7721 _o$7722 _o$7723)))) (if (jolt= G__134 "set!") (jolt-invoke (var-deref "jolt.analyzer" "analyze-set!") ctx items env) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "special form " op)))))))))))))))))))))) analyze-special))) + (def-var! "jolt.analyzer" "analyze-special" (letrec ((analyze-special (lambda (ctx op items env) (let fnrec7699 ((ctx ctx) (op op) (items items) (env env)) (let* ((G__134 op)) (if (jolt= G__134 "quote") (jolt-invoke (var-deref "jolt.ir" "quote-node") (jolt-invoke (var-deref "clojure.core" "second") items)) (if (jolt= G__134 "if") (begin (if (jolt-truthy? (let* ((or__26__auto (< (jolt-count items) 3))) (if (jolt-truthy? or__26__auto) or__26__auto (> (jolt-count items) 4)))) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Wrong number of args (" (jolt-dec (jolt-count items)) ") passed to: if")) jolt-nil) (let* ((_a$7700 (var-deref "jolt.ir" "if-node")) (_a$7701 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_a$7702 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (_a$7703 (if (> (jolt-count items) 3) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 3) env) (jolt-invoke (var-deref "jolt.ir" "const") jolt-nil)))) (jolt-invoke _a$7700 _a$7701 _a$7702 _a$7703))) (if (jolt= G__134 "do") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-rest items) env) (if (jolt= G__134 "throw") (jolt-invoke (var-deref "jolt.ir" "throw-node") (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (if (jolt= G__134 "def") (jolt-invoke (var-deref "jolt.analyzer" "analyze-def") ctx items env) (if (jolt= G__134 "let*") (let* ((bvec (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (r (jolt-invoke (var-deref "jolt.analyzer" "analyze-bindings") ctx bvec env))) (let* ((_a$7708 (var-deref "jolt.ir" "let-node")) (_a$7709 (jolt-first r)) (_a$7710 (let* ((_a$7704 (var-deref "jolt.analyzer" "analyze-seq")) (_a$7705 ctx) (_a$7706 (jolt-drop 2 items)) (_a$7707 (jolt-invoke (var-deref "clojure.core" "second") r))) (jolt-invoke _a$7704 _a$7705 _a$7706 _a$7707)))) (jolt-invoke _a$7708 _a$7709 _a$7710))) (if (jolt= G__134 "loop*") (let* ((bvec (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 1)))) (rname (jolt-invoke (var-deref "jolt.analyzer" "gen-name") "loop")) (r (jolt-invoke (var-deref "jolt.analyzer" "analyze-bindings") ctx bvec env)) (env** (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "clojure.core" "second") r) rname))) (let* ((_o$7711 (keyword #f "op")) (_o$7712 (keyword #f "loop")) (_o$7713 (keyword #f "recur-name")) (_o$7714 rname) (_o$7715 (keyword #f "bindings")) (_o$7716 (jolt-first r)) (_o$7717 (keyword #f "body")) (_o$7718 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env**))) (jolt-hash-map _o$7711 _o$7712 _o$7713 _o$7714 _o$7715 _o$7716 _o$7717 _o$7718))) (if (jolt= G__134 "recur") (let* ((rt (jolt-get env (keyword #f "recur")))) (begin (if (jolt-not rt) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "recur outside loop/fn") jolt-nil) (let* ((_o$7723 (keyword #f "op")) (_o$7724 (keyword #f "recur")) (_o$7725 (keyword #f "recur-name")) (_o$7726 rt) (_o$7727 (keyword #f "args")) (_o$7728 (let* ((_a$7720 (var-deref "clojure.core" "mapv")) (_a$7721 (lambda (p__88_) (let fnrec7719 ((p__88_ p__88_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__88_ env)))) (_a$7722 (jolt-rest items))) (jolt-invoke _a$7720 _a$7721 _a$7722)))) (jolt-hash-map _o$7723 _o$7724 _o$7725 _o$7726 _o$7727 _o$7728)))) (if (jolt= G__134 "try") (jolt-invoke (var-deref "jolt.analyzer" "analyze-try") ctx items env) (if (jolt= G__134 "letfn") (jolt-invoke (var-deref "jolt.analyzer" "analyze-letfn") ctx items env) (if (jolt= G__134 "fn*") (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx items env) (if (jolt= G__134 "syntax-quote") (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-invoke (var-deref "jolt.host" "form-syntax-quote-lower") ctx (jolt-invoke (var-deref "clojure.core" "second") items)) env) (if (jolt= G__134 "var") (let* ((sym (jolt-invoke (var-deref "clojure.core" "second") items)) (r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx sym))) (if (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind"))) (let* ((_a$7729 (var-deref "jolt.ir" "the-var")) (_a$7730 (jolt-get r (keyword #f "ns"))) (_a$7731 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7729 _a$7730 _a$7731)) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "var of non-var " (jolt-invoke (var-deref "jolt.host" "form-sym-name") sym))))) (if (jolt= G__134 "defmacro") (let* ((name-sym (jolt-nth items 1)) (nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") name-sym)) (cur (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (after (jolt-drop 2 items)) (after (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "string?") (jolt-first after))) (jolt-rest after) after)) (after (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") (jolt-first after))) (jolt-rest after) after)) (fn-form (jolt-cons (jolt-invoke (var-deref "clojure.core" "symbol") "fn") after))) (begin (jolt-invoke (var-deref "jolt.host" "host-intern!") ctx cur nm) (let* ((_o$7732 (keyword #f "op")) (_o$7733 (keyword #f "defmacro")) (_o$7734 (keyword #f "ns")) (_o$7735 cur) (_o$7736 (keyword #f "name")) (_o$7737 nm) (_o$7738 (keyword #f "fn")) (_o$7739 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx fn-form env))) (jolt-hash-map _o$7732 _o$7733 _o$7734 _o$7735 _o$7736 _o$7737 _o$7738 _o$7739)))) (if (jolt= G__134 "set!") (jolt-invoke (var-deref "jolt.analyzer" "analyze-set!") ctx items env) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "special form " op)))))))))))))))))))))) analyze-special))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "method-head?" (letrec ((method-head? (lambda (nm) (let fnrec7724 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt= "-" (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))) and__25__auto)) and__25__auto)) and__25__auto)))))) method-head?))) + (def-var! "jolt.analyzer" "method-head?" (letrec ((method-head? (lambda (nm) (let fnrec7740 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1)))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt= "-" (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))) and__25__auto)) and__25__auto)) and__25__auto)))))) method-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-host-call" (letrec ((analyze-host-call (lambda (ctx hname items env) (let fnrec7725 ((ctx ctx) (hname hname) (items items) (env env)) (begin (if (< (jolt-count items) 2) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed member expression, expecting (.method target ...): " hname)) jolt-nil) (let* ((_o$7730 (keyword #f "op")) (_o$7731 (keyword #f "host-call")) (_o$7732 (keyword #f "method")) (_o$7733 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$7734 (keyword #f "target")) (_o$7735 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7736 (keyword #f "args")) (_o$7737 (let* ((_a$7727 (var-deref "clojure.core" "mapv")) (_a$7728 (lambda (p__89_) (let fnrec7726 ((p__89_ p__89_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__89_ env)))) (_a$7729 (jolt-drop 2 items))) (jolt-invoke _a$7727 _a$7728 _a$7729)))) (jolt-hash-map _o$7730 _o$7731 _o$7732 _o$7733 _o$7734 _o$7735 _o$7736 _o$7737))))))) analyze-host-call))) + (def-var! "jolt.analyzer" "analyze-host-call" (letrec ((analyze-host-call (lambda (ctx hname items env) (let fnrec7741 ((ctx ctx) (hname hname) (items items) (env env)) (begin (if (< (jolt-count items) 2) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed member expression, expecting (.method target ...): " hname)) jolt-nil) (let* ((_o$7746 (keyword #f "op")) (_o$7747 (keyword #f "host-call")) (_o$7748 (keyword #f "method")) (_o$7749 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$7750 (keyword #f "target")) (_o$7751 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7752 (keyword #f "args")) (_o$7753 (let* ((_a$7743 (var-deref "clojure.core" "mapv")) (_a$7744 (lambda (p__89_) (let fnrec7742 ((p__89_ p__89_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__89_ env)))) (_a$7745 (jolt-drop 2 items))) (jolt-invoke _a$7743 _a$7744 _a$7745)))) (jolt-hash-map _o$7746 _o$7747 _o$7748 _o$7749 _o$7750 _o$7751 _o$7752 _o$7753))))))) analyze-host-call))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "ctor-head?" (letrec ((ctor-head? (lambda (nm) (let fnrec7738 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "." (let* ((_a$7739 (var-deref "clojure.core" "subs")) (_a$7740 nm) (_a$7741 (jolt-dec (jolt-count nm))) (_a$7742 (jolt-count nm))) (jolt-invoke _a$7739 _a$7740 _a$7741 _a$7742))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1))) and__25__auto)) and__25__auto)))))) ctor-head?))) + (def-var! "jolt.analyzer" "ctor-head?" (letrec ((ctor-head? (lambda (nm) (let fnrec7754 ((nm nm)) (let* ((and__25__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "." (let* ((_a$7755 (var-deref "clojure.core" "subs")) (_a$7756 nm) (_a$7757 (jolt-dec (jolt-count nm))) (_a$7758 (jolt-count nm))) (jolt-invoke _a$7755 _a$7756 _a$7757 _a$7758))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1))) and__25__auto)) and__25__auto)))))) ctor-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-ctor" (letrec ((analyze-ctor (lambda (ctx class args env) (let fnrec7743 ((ctx ctx) (class class) (args args) (env env)) (jolt-invoke (var-deref "jolt.ir" "host-new") class (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__90_) (let fnrec7744 ((p__90_ p__90_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__90_ env))) args)))))) analyze-ctor))) + (def-var! "jolt.analyzer" "analyze-ctor" (letrec ((analyze-ctor (lambda (ctx class args env) (let fnrec7759 ((ctx ctx) (class class) (args args) (env env)) (jolt-invoke (var-deref "jolt.ir" "host-new") class (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__90_) (let fnrec7760 ((p__90_ p__90_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__90_ env))) args)))))) analyze-ctor))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-ffi-fn" (letrec ((analyze-ffi-fn (lambda (ctx items env) (let fnrec7745 ((ctx ctx) (items items) (env env)) (begin (if (jolt-not (<= 4 (jolt-count items) 5)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi/foreign-fn expects (foreign-fn \"sym\" [argtypes] rettype [:blocking])")) jolt-nil) (let* ((_o$7746 (keyword #f "op")) (_o$7747 (keyword #f "ffi-fn")) (_o$7748 (keyword #f "csym")) (_o$7749 (jolt-nth items 1)) (_o$7750 (keyword #f "argtypes")) (_o$7751 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "clojure.core" "name") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 2)))) (_o$7752 (keyword #f "rettype")) (_o$7753 (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 3))) (_o$7754 (keyword #f "blocking")) (_o$7755 (let* ((and__25__auto (jolt= 5 (jolt-count items)))) (if (jolt-truthy? and__25__auto) (jolt= "blocking" (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 4))) and__25__auto)))) (jolt-hash-map _o$7746 _o$7747 _o$7748 _o$7749 _o$7750 _o$7751 _o$7752 _o$7753 _o$7754 _o$7755))))))) analyze-ffi-fn))) + (def-var! "jolt.analyzer" "analyze-ffi-fn" (letrec ((analyze-ffi-fn (lambda (ctx items env) (let fnrec7761 ((ctx ctx) (items items) (env env)) (begin (if (jolt-not (<= 4 (jolt-count items) 5)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi/foreign-fn expects (foreign-fn \"sym\" [argtypes] rettype [:blocking])")) jolt-nil) (let* ((_o$7762 (keyword #f "op")) (_o$7763 (keyword #f "ffi-fn")) (_o$7764 (keyword #f "csym")) (_o$7765 (jolt-nth items 1)) (_o$7766 (keyword #f "argtypes")) (_o$7767 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "clojure.core" "name") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 2)))) (_o$7768 (keyword #f "rettype")) (_o$7769 (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 3))) (_o$7770 (keyword #f "blocking")) (_o$7771 (let* ((and__25__auto (jolt= 5 (jolt-count items)))) (if (jolt-truthy? and__25__auto) (jolt= "blocking" (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 4))) and__25__auto)))) (jolt-hash-map _o$7762 _o$7763 _o$7764 _o$7765 _o$7766 _o$7767 _o$7768 _o$7769 _o$7770 _o$7771))))))) analyze-ffi-fn))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-ffi-callable" (letrec ((analyze-ffi-callable (lambda (ctx items env) (let fnrec7756 ((ctx ctx) (items items) (env env)) (begin (if (jolt-not (<= 4 (jolt-count items) 5)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi/foreign-callable expects (foreign-callable f [argtypes] rettype [:collect-safe])")) jolt-nil) (let* ((_o$7757 (keyword #f "op")) (_o$7758 (keyword #f "ffi-callable")) (_o$7759 (keyword #f "fn")) (_o$7760 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7761 (keyword #f "argtypes")) (_o$7762 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "clojure.core" "name") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 2)))) (_o$7763 (keyword #f "rettype")) (_o$7764 (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 3))) (_o$7765 (keyword #f "collect-safe")) (_o$7766 (let* ((and__25__auto (jolt= 5 (jolt-count items)))) (if (jolt-truthy? and__25__auto) (jolt= "collect-safe" (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 4))) and__25__auto)))) (jolt-hash-map _o$7757 _o$7758 _o$7759 _o$7760 _o$7761 _o$7762 _o$7763 _o$7764 _o$7765 _o$7766))))))) analyze-ffi-callable))) + (def-var! "jolt.analyzer" "analyze-ffi-callable" (letrec ((analyze-ffi-callable (lambda (ctx items env) (let fnrec7772 ((ctx ctx) (items items) (env env)) (begin (if (jolt-not (<= 4 (jolt-count items) 5)) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi/foreign-callable expects (foreign-callable f [argtypes] rettype [:collect-safe])")) jolt-nil) (let* ((_o$7773 (keyword #f "op")) (_o$7774 (keyword #f "ffi-callable")) (_o$7775 (keyword #f "fn")) (_o$7776 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7777 (keyword #f "argtypes")) (_o$7778 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "clojure.core" "name") (jolt-invoke (var-deref "jolt.host" "form-vec-items") (jolt-nth items 2)))) (_o$7779 (keyword #f "rettype")) (_o$7780 (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 3))) (_o$7781 (keyword #f "collect-safe")) (_o$7782 (let* ((and__25__auto (jolt= 5 (jolt-count items)))) (if (jolt-truthy? and__25__auto) (jolt= "collect-safe" (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 4))) and__25__auto)))) (jolt-hash-map _o$7773 _o$7774 _o$7775 _o$7776 _o$7777 _o$7778 _o$7779 _o$7780 _o$7781 _o$7782))))))) analyze-ffi-callable))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-dot" (letrec ((analyze-dot (lambda (ctx items env) (let fnrec7767 ((ctx ctx) (items items) (env env)) (begin (if (< (jolt-count items) 3) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed (. target member ...) form")) jolt-nil) (let* ((target (jolt-nth items 1)) (member (jolt-nth items 2)) (class-target (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") target))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt-invoke (var-deref "jolt.analyzer" "local?") env (jolt-invoke (var-deref "jolt.host" "form-sym-name") target))) and__25__auto))) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx target))) (if (jolt= (keyword #f "class") (jolt-get r (keyword #f "kind"))) (jolt-get r (keyword #f "name")) jolt-nil)) jolt-nil))) (if (jolt-truthy? (let* ((and__25__auto class-target)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") member) and__25__auto))) (let* ((_a$7772 (var-deref "jolt.ir" "invoke")) (_a$7773 (jolt-invoke (var-deref "jolt.ir" "host-static") class-target (jolt-invoke (var-deref "jolt.host" "form-sym-name") member))) (_a$7774 (let* ((_a$7769 (var-deref "clojure.core" "mapv")) (_a$7770 (lambda (p__91_) (let fnrec7768 ((p__91_ p__91_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__91_ env)))) (_a$7771 (jolt-drop 3 items))) (jolt-invoke _a$7769 _a$7770 _a$7771)))) (jolt-invoke _a$7772 _a$7773 _a$7774)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") member)) (let* ((_o$7779 (keyword #f "op")) (_o$7780 (keyword #f "host-call")) (_o$7781 (keyword #f "method")) (_o$7782 (jolt-invoke (var-deref "jolt.host" "form-sym-name") member)) (_o$7783 (keyword #f "target")) (_o$7784 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx target env)) (_o$7785 (keyword #f "args")) (_o$7786 (let* ((_a$7776 (var-deref "clojure.core" "mapv")) (_a$7777 (lambda (p__92_) (let fnrec7775 ((p__92_ p__92_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__92_ env)))) (_a$7778 (jolt-drop 3 items))) (jolt-invoke _a$7776 _a$7777 _a$7778)))) (jolt-hash-map _o$7779 _o$7780 _o$7781 _o$7782 _o$7783 _o$7784 _o$7785 _o$7786)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-keyword?") member)) (let* ((_a$7787 (var-deref "jolt.ir" "invoke")) (_a$7788 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx member env)) (_a$7789 (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)))) (jolt-invoke _a$7787 _a$7788 _a$7789)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "special form . (non-symbol member)") jolt-nil)))))))))) analyze-dot))) + (def-var! "jolt.analyzer" "analyze-dot" (letrec ((analyze-dot (lambda (ctx items env) (let fnrec7783 ((ctx ctx) (items items) (env env)) (begin (if (< (jolt-count items) 3) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed (. target member ...) form")) jolt-nil) (let* ((target (jolt-nth items 1)) (member (jolt-nth items 2)) (class-target (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") target))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt-invoke (var-deref "jolt.analyzer" "local?") env (jolt-invoke (var-deref "jolt.host" "form-sym-name") target))) and__25__auto))) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx target))) (if (jolt= (keyword #f "class") (jolt-get r (keyword #f "kind"))) (jolt-get r (keyword #f "name")) jolt-nil)) jolt-nil))) (if (jolt-truthy? (let* ((and__25__auto class-target)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") member) and__25__auto))) (let* ((_a$7788 (var-deref "jolt.ir" "invoke")) (_a$7789 (jolt-invoke (var-deref "jolt.ir" "host-static") class-target (jolt-invoke (var-deref "jolt.host" "form-sym-name") member))) (_a$7790 (let* ((_a$7785 (var-deref "clojure.core" "mapv")) (_a$7786 (lambda (p__91_) (let fnrec7784 ((p__91_ p__91_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__91_ env)))) (_a$7787 (jolt-drop 3 items))) (jolt-invoke _a$7785 _a$7786 _a$7787)))) (jolt-invoke _a$7788 _a$7789 _a$7790)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") member)) (let* ((_o$7795 (keyword #f "op")) (_o$7796 (keyword #f "host-call")) (_o$7797 (keyword #f "method")) (_o$7798 (jolt-invoke (var-deref "jolt.host" "form-sym-name") member)) (_o$7799 (keyword #f "target")) (_o$7800 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx target env)) (_o$7801 (keyword #f "args")) (_o$7802 (let* ((_a$7792 (var-deref "clojure.core" "mapv")) (_a$7793 (lambda (p__92_) (let fnrec7791 ((p__92_ p__92_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__92_ env)))) (_a$7794 (jolt-drop 3 items))) (jolt-invoke _a$7792 _a$7793 _a$7794)))) (jolt-hash-map _o$7795 _o$7796 _o$7797 _o$7798 _o$7799 _o$7800 _o$7801 _o$7802)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-keyword?") member)) (let* ((_a$7803 (var-deref "jolt.ir" "invoke")) (_a$7804 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx member env)) (_a$7805 (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)))) (jolt-invoke _a$7803 _a$7804 _a$7805)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "special form . (non-symbol member)") jolt-nil)))))))))) analyze-dot))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-field" (letrec ((analyze-field (lambda (ctx hname items env) (let fnrec7790 ((ctx ctx) (hname hname) (items items) (env env)) (begin (if (< (jolt-count items) 2) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed (.-field target) form")) jolt-nil) (let* ((_o$7791 (keyword #f "op")) (_o$7792 (keyword #f "host-call")) (_o$7793 (keyword #f "method")) (_o$7794 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$7795 (keyword #f "target")) (_o$7796 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7797 (keyword #f "args")) (_o$7798 (jolt-vector))) (jolt-hash-map _o$7791 _o$7792 _o$7793 _o$7794 _o$7795 _o$7796 _o$7797 _o$7798))))))) analyze-field))) + (def-var! "jolt.analyzer" "analyze-field" (letrec ((analyze-field (lambda (ctx hname items env) (let fnrec7806 ((ctx ctx) (hname hname) (items items) (env env)) (begin (if (< (jolt-count items) 2) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "Malformed (.-field target) form")) jolt-nil) (let* ((_o$7807 (keyword #f "op")) (_o$7808 (keyword #f "host-call")) (_o$7809 (keyword #f "method")) (_o$7810 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$7811 (keyword #f "target")) (_o$7812 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$7813 (keyword #f "args")) (_o$7814 (jolt-vector))) (jolt-hash-map _o$7807 _o$7808 _o$7809 _o$7810 _o$7811 _o$7812 _o$7813 _o$7814))))))) analyze-field))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-symbol" (letrec ((analyze-symbol (lambda (ctx form env) (let fnrec7799 ((ctx ctx) (form form) (env env)) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") form)) (ns (jolt-invoke (var-deref "jolt.host" "form-sym-ns") form))) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "clojure.core" "nil?") ns))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env nm) and__25__auto))) (let* ((h (jolt-get (jolt-get env (keyword #f "hints")) nm))) (if (jolt-truthy? h) (jolt-assoc (jolt-invoke (var-deref "jolt.ir" "local") nm) (keyword #f "hint") h) (jolt-invoke (var-deref "jolt.ir" "local") nm))) (if (jolt-truthy? ns) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx form))) (if (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind"))) (let* ((G__135 (let* ((_a$7800 (var-deref "jolt.ir" "var-ref")) (_a$7801 (jolt-get r (keyword #f "ns"))) (_a$7802 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7800 _a$7801 _a$7802)))) (let* ((G__136 (if (jolt-truthy? (jolt-get r (keyword #f "num-ret"))) (jolt-assoc G__135 (keyword #f "num-ret") (jolt-get r (keyword #f "num-ret"))) G__135))) G__136)) (jolt-invoke (var-deref "jolt.ir" "host-static") ns nm))) (if (jolt-truthy? (keyword #f "else")) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx form))) (let* ((G__137 (jolt-get r (keyword #f "kind")))) (if (jolt= G__137 (keyword #f "var")) (let* ((G__138 (let* ((_a$7803 (var-deref "jolt.ir" "var-ref")) (_a$7804 (jolt-get r (keyword #f "ns"))) (_a$7805 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7803 _a$7804 _a$7805)))) (let* ((G__139 (if (jolt-truthy? (jolt-get r (keyword #f "num-ret"))) (jolt-assoc G__138 (keyword #f "num-ret") (jolt-get r (keyword #f "num-ret"))) G__138))) G__139)) (if (jolt= G__137 (keyword #f "host")) (jolt-invoke (var-deref "jolt.ir" "host-ref") (jolt-get r (keyword #f "name"))) (if (jolt= G__137 (keyword #f "class")) (jolt-invoke (var-deref "jolt.ir" "const") (jolt-get r (keyword #f "name"))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "late-bind?") ctx)) (jolt-invoke (var-deref "jolt.ir" "var-ref") (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx) nm) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "Unable to resolve symbol: " nm " in this context")))))))) jolt-nil)))))))) analyze-symbol))) + (def-var! "jolt.analyzer" "analyze-symbol" (letrec ((analyze-symbol (lambda (ctx form env) (let fnrec7815 ((ctx ctx) (form form) (env env)) (let* ((nm (jolt-invoke (var-deref "jolt.host" "form-sym-name") form)) (ns (jolt-invoke (var-deref "jolt.host" "form-sym-ns") form))) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "clojure.core" "nil?") ns))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env nm) and__25__auto))) (let* ((h (jolt-get (jolt-get env (keyword #f "hints")) nm))) (if (jolt-truthy? h) (jolt-assoc (jolt-invoke (var-deref "jolt.ir" "local") nm) (keyword #f "hint") h) (jolt-invoke (var-deref "jolt.ir" "local") nm))) (if (jolt-truthy? ns) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx form))) (if (jolt= (keyword #f "var") (jolt-get r (keyword #f "kind"))) (let* ((G__135 (let* ((_a$7816 (var-deref "jolt.ir" "var-ref")) (_a$7817 (jolt-get r (keyword #f "ns"))) (_a$7818 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7816 _a$7817 _a$7818)))) (let* ((G__136 (if (jolt-truthy? (jolt-get r (keyword #f "num-ret"))) (jolt-assoc G__135 (keyword #f "num-ret") (jolt-get r (keyword #f "num-ret"))) G__135))) G__136)) (jolt-invoke (var-deref "jolt.ir" "host-static") ns nm))) (if (jolt-truthy? (keyword #f "else")) (let* ((r (jolt-invoke (var-deref "jolt.host" "resolve-global") ctx form))) (let* ((G__137 (jolt-get r (keyword #f "kind")))) (if (jolt= G__137 (keyword #f "var")) (let* ((G__138 (let* ((_a$7819 (var-deref "jolt.ir" "var-ref")) (_a$7820 (jolt-get r (keyword #f "ns"))) (_a$7821 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$7819 _a$7820 _a$7821)))) (let* ((G__139 (if (jolt-truthy? (jolt-get r (keyword #f "num-ret"))) (jolt-assoc G__138 (keyword #f "num-ret") (jolt-get r (keyword #f "num-ret"))) G__138))) G__139)) (if (jolt= G__137 (keyword #f "host")) (jolt-invoke (var-deref "jolt.ir" "host-ref") (jolt-get r (keyword #f "name"))) (if (jolt= G__137 (keyword #f "class")) (jolt-invoke (var-deref "jolt.ir" "const") (jolt-get r (keyword #f "name"))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "late-bind?") ctx)) (jolt-invoke (var-deref "jolt.ir" "var-ref") (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx) nm) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "Unable to resolve symbol: " nm " in this context")))))))) jolt-nil)))))))) analyze-symbol))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-list" (letrec ((analyze-list (lambda (ctx form env) (let fnrec7806 ((ctx ctx) (form form) (env env)) (let* ((items (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") form)))) (if (jolt-zero? (jolt-count items)) (jolt-invoke (var-deref "jolt.ir" "quote-node") form) (let* ((head (jolt-first items)) (hname (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil)) (shadowed (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env hname) and__25__auto)))) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt-contains? (var-deref "jolt.analyzer" "handled") hname)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-macro?") ctx head) and__25__auto)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-invoke (var-deref "jolt.host" "form-expand-1") ctx form) env) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "jolt.ffi" (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)))) (if (jolt-truthy? and__25__auto) (jolt= "__cfn" (jolt-invoke (var-deref "jolt.host" "form-sym-name") head)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-ffi-fn") ctx items env) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "jolt.ffi" (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)))) (if (jolt-truthy? and__25__auto) (jolt= "__ccallable" (jolt-invoke (var-deref "jolt.host" "form-sym-name") head)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-ffi-callable") ctx items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (jolt-contains? (var-deref "jolt.analyzer" "handled") hname) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-special") ctx hname items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "method-head?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-host-call") ctx hname items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "ctor-head?") hname) and__25__auto)) and__25__auto))) (let* ((_a$7807 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$7808 ctx) (_a$7809 (jolt-invoke (var-deref "clojure.core" "subs") hname 0 (jolt-dec (jolt-count hname)))) (_a$7810 (jolt-rest items)) (_a$7811 env)) (jolt-invoke _a$7807 _a$7808 _a$7809 _a$7810 _a$7811)) (if (jolt-truthy? (let* ((and__25__auto (jolt= hname "new"))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (>= (jolt-count items) 2))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1)) and__25__auto)) and__25__auto)) and__25__auto))) (let* ((_a$7812 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$7813 ctx) (_a$7814 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1))) (_a$7815 (jolt-drop 2 items)) (_a$7816 env)) (jolt-invoke _a$7812 _a$7813 _a$7814 _a$7815 _a$7816)) (if (jolt-truthy? (let* ((and__25__auto (jolt= hname "."))) (if (jolt-truthy? and__25__auto) (jolt-not shadowed) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-dot") ctx items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-field") ctx hname items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-special?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "special form " hname)) (if (jolt-truthy? (keyword #f "else")) (let* ((n (let* ((_a$7821 (var-deref "jolt.ir" "invoke")) (_a$7822 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx head env)) (_a$7823 (let* ((_a$7818 (var-deref "clojure.core" "mapv")) (_a$7819 (lambda (p__93_) (let fnrec7817 ((p__93_ p__93_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__93_ env)))) (_a$7820 (jolt-rest items))) (jolt-invoke _a$7818 _a$7819 _a$7820)))) (jolt-invoke _a$7821 _a$7822 _a$7823))) (p (jolt-invoke (var-deref "jolt.host" "form-position") form))) (if (jolt-truthy? p) (jolt-assoc n (keyword #f "pos") p) n)) jolt-nil)))))))))))))))))) analyze-list))) + (def-var! "jolt.analyzer" "analyze-list" (letrec ((analyze-list (lambda (ctx form env) (let fnrec7822 ((ctx ctx) (form form) (env env)) (let* ((items (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") form)))) (if (jolt-zero? (jolt-count items)) (jolt-invoke (var-deref "jolt.ir" "quote-node") form) (let* ((head (jolt-first items)) (hname (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)) and__25__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil)) (shadowed (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env hname) and__25__auto)))) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt-contains? (var-deref "jolt.analyzer" "handled") hname)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-macro?") ctx head) and__25__auto)) and__25__auto)) and__25__auto))) (let* ((node (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-invoke (var-deref "jolt.host" "form-expand-1") ctx form) env)) (p (jolt-invoke (var-deref "jolt.host" "form-position") form))) (if (jolt-truthy? (let* ((and__25__auto p)) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "def") (jolt-get node (keyword #f "op"))) and__25__auto))) (jolt-assoc node (keyword #f "pos") p) node)) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "jolt.ffi" (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)))) (if (jolt-truthy? and__25__auto) (jolt= "__cfn" (jolt-invoke (var-deref "jolt.host" "form-sym-name") head)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-ffi-fn") ctx items env) (if (jolt-truthy? (let* ((and__25__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "jolt.ffi" (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)))) (if (jolt-truthy? and__25__auto) (jolt= "__ccallable" (jolt-invoke (var-deref "jolt.host" "form-sym-name") head)) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-ffi-callable") ctx items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (jolt-contains? (var-deref "jolt.analyzer" "handled") hname) and__25__auto))) (let* ((node (jolt-invoke (var-deref "jolt.analyzer" "analyze-special") ctx hname items env)) (p (jolt-invoke (var-deref "jolt.host" "form-position") form))) (if (jolt-truthy? (let* ((and__25__auto p)) (if (jolt-truthy? and__25__auto) (jolt= (keyword #f "def") (jolt-get node (keyword #f "op"))) and__25__auto))) (jolt-assoc node (keyword #f "pos") p) node)) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "method-head?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-host-call") ctx hname items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "ctor-head?") hname) and__25__auto)) and__25__auto))) (let* ((_a$7823 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$7824 ctx) (_a$7825 (jolt-invoke (var-deref "clojure.core" "subs") hname 0 (jolt-dec (jolt-count hname)))) (_a$7826 (jolt-rest items)) (_a$7827 env)) (jolt-invoke _a$7823 _a$7824 _a$7825 _a$7826 _a$7827)) (if (jolt-truthy? (let* ((and__25__auto (jolt= hname "new"))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (>= (jolt-count items) 2))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1)) and__25__auto)) and__25__auto)) and__25__auto))) (let* ((_a$7828 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$7829 ctx) (_a$7830 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1))) (_a$7831 (jolt-drop 2 items)) (_a$7832 env)) (jolt-invoke _a$7828 _a$7829 _a$7830 _a$7831 _a$7832)) (if (jolt-truthy? (let* ((and__25__auto (jolt= hname "."))) (if (jolt-truthy? and__25__auto) (jolt-not shadowed) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-dot") ctx items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-field") ctx hname items env) (if (jolt-truthy? (let* ((and__25__auto hname)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not shadowed))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "jolt.host" "form-special?") hname) and__25__auto)) and__25__auto))) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") (jolt-invoke (var-deref "clojure.core" "str") "special form " hname)) (if (jolt-truthy? (keyword #f "else")) (let* ((n (let* ((_a$7837 (var-deref "jolt.ir" "invoke")) (_a$7838 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx head env)) (_a$7839 (let* ((_a$7834 (var-deref "clojure.core" "mapv")) (_a$7835 (lambda (p__93_) (let fnrec7833 ((p__93_ p__93_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__93_ env)))) (_a$7836 (jolt-rest items))) (jolt-invoke _a$7834 _a$7835 _a$7836)))) (jolt-invoke _a$7837 _a$7838 _a$7839))) (p (jolt-invoke (var-deref "jolt.host" "form-position") form))) (if (jolt-truthy? p) (jolt-assoc n (keyword #f "pos") p) n)) jolt-nil)))))))))))))))))) analyze-list))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "with-coll-meta" (letrec ((with-coll-meta (lambda (ctx form env node) (let fnrec7824 ((ctx ctx) (form form) (env env) (node node)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-coll-meta") form))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") m)) node (let* ((_a$7827 (var-deref "jolt.ir" "invoke")) (_a$7828 (jolt-invoke (var-deref "jolt.ir" "var-ref") "clojure.core" "with-meta")) (_a$7829 (let* ((_o$7825 node) (_o$7826 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx m env))) (jolt-vector _o$7825 _o$7826)))) (jolt-invoke _a$7827 _a$7828 _a$7829)))))))) with-coll-meta))) + (def-var! "jolt.analyzer" "with-coll-meta" (letrec ((with-coll-meta (lambda (ctx form env node) (let fnrec7840 ((ctx ctx) (form form) (env env) (node node)) (let* ((m (jolt-invoke (var-deref "jolt.host" "form-coll-meta") form))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") m)) node (let* ((_a$7843 (var-deref "jolt.ir" "invoke")) (_a$7844 (jolt-invoke (var-deref "jolt.ir" "var-ref") "clojure.core" "with-meta")) (_a$7845 (let* ((_o$7841 node) (_o$7842 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx m env))) (jolt-vector _o$7841 _o$7842)))) (jolt-invoke _a$7843 _a$7844 _a$7845)))))))) with-coll-meta))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze" (letrec ((analyze (case-lambda ((ctx form) (let fnrec7830 ((ctx ctx) (form form)) (jolt-invoke analyze ctx form (jolt-invoke (var-deref "jolt.analyzer" "empty-env"))))) ((ctx form env) (let fnrec7831 ((ctx ctx) (form form) (env env)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-literal?") form)) (jolt-invoke (var-deref "jolt.ir" "const") form) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") form)) (jolt-invoke (var-deref "jolt.analyzer" "analyze-symbol") ctx form env) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-vec?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "vector-node") (let* ((_a$7833 (var-deref "clojure.core" "mapv")) (_a$7834 (lambda (p__94_) (let fnrec7832 ((p__94_ p__94_)) (jolt-invoke analyze ctx p__94_ env)))) (_a$7835 (jolt-invoke (var-deref "jolt.host" "form-vec-items") form))) (jolt-invoke _a$7833 _a$7834 _a$7835)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$7839 (var-deref "clojure.core" "mapv")) (_a$7840 (lambda (p) (let fnrec7836 ((p p)) (let* ((_o$7837 (jolt-invoke analyze ctx (jolt-first p) env)) (_o$7838 (jolt-invoke analyze ctx (jolt-invoke (var-deref "clojure.core" "second") p) env))) (jolt-vector _o$7837 _o$7838))))) (_a$7841 (jolt-invoke (var-deref "jolt.host" "form-map-pairs") form))) (jolt-invoke _a$7839 _a$7840 _a$7841)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-set?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "set-node") (let* ((_a$7843 (var-deref "clojure.core" "mapv")) (_a$7844 (lambda (p__95_) (let fnrec7842 ((p__95_ p__95_)) (jolt-invoke analyze ctx p__95_ env)))) (_a$7845 (jolt-invoke (var-deref "jolt.host" "form-set-items") form))) (jolt-invoke _a$7843 _a$7844 _a$7845)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") form)) (jolt-invoke (var-deref "jolt.analyzer" "analyze-list") ctx form env) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-regex?") form)) (let* ((_o$7846 (keyword #f "op")) (_o$7847 (keyword #f "regex")) (_o$7848 (keyword #f "source")) (_o$7849 (jolt-invoke (var-deref "jolt.host" "form-regex-source") form))) (jolt-hash-map _o$7846 _o$7847 _o$7848 _o$7849)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-inst?") form)) (let* ((_o$7850 (keyword #f "op")) (_o$7851 (keyword #f "inst")) (_o$7852 (keyword #f "source")) (_o$7853 (jolt-invoke (var-deref "jolt.host" "form-inst-source") form))) (jolt-hash-map _o$7850 _o$7851 _o$7852 _o$7853)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-uuid?") form)) (let* ((_o$7854 (keyword #f "op")) (_o$7855 (keyword #f "uuid")) (_o$7856 (keyword #f "source")) (_o$7857 (jolt-invoke (var-deref "jolt.host" "form-uuid-source") form))) (jolt-hash-map _o$7854 _o$7855 _o$7856 _o$7857)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-bigdec?") form)) (let* ((_o$7858 (keyword #f "op")) (_o$7859 (keyword #f "bigdec")) (_o$7860 (keyword #f "source")) (_o$7861 (jolt-invoke (var-deref "jolt.host" "form-bigdec-source") form))) (jolt-hash-map _o$7858 _o$7859 _o$7860 _o$7861)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-ns-value?") form)) (let* ((_o$7862 (keyword #f "op")) (_o$7863 (keyword #f "the-ns")) (_o$7864 (keyword #f "name")) (_o$7865 (jolt-invoke (var-deref "jolt.host" "form-ns-value-name") form))) (jolt-hash-map _o$7862 _o$7863 _o$7864 _o$7865)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "unsupported form") jolt-nil))))))))))))))))) analyze))) + (def-var! "jolt.analyzer" "analyze" (letrec ((analyze (case-lambda ((ctx form) (let fnrec7846 ((ctx ctx) (form form)) (jolt-invoke analyze ctx form (jolt-invoke (var-deref "jolt.analyzer" "empty-env"))))) ((ctx form env) (let fnrec7847 ((ctx ctx) (form form) (env env)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-literal?") form)) (jolt-invoke (var-deref "jolt.ir" "const") form) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") form)) (jolt-invoke (var-deref "jolt.analyzer" "analyze-symbol") ctx form env) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-vec?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "vector-node") (let* ((_a$7849 (var-deref "clojure.core" "mapv")) (_a$7850 (lambda (p__94_) (let fnrec7848 ((p__94_ p__94_)) (jolt-invoke analyze ctx p__94_ env)))) (_a$7851 (jolt-invoke (var-deref "jolt.host" "form-vec-items") form))) (jolt-invoke _a$7849 _a$7850 _a$7851)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$7855 (var-deref "clojure.core" "mapv")) (_a$7856 (lambda (p) (let fnrec7852 ((p p)) (let* ((_o$7853 (jolt-invoke analyze ctx (jolt-first p) env)) (_o$7854 (jolt-invoke analyze ctx (jolt-invoke (var-deref "clojure.core" "second") p) env))) (jolt-vector _o$7853 _o$7854))))) (_a$7857 (jolt-invoke (var-deref "jolt.host" "form-map-pairs") form))) (jolt-invoke _a$7855 _a$7856 _a$7857)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-set?") form)) (jolt-invoke (var-deref "jolt.analyzer" "with-coll-meta") ctx form env (jolt-invoke (var-deref "jolt.ir" "set-node") (let* ((_a$7859 (var-deref "clojure.core" "mapv")) (_a$7860 (lambda (p__95_) (let fnrec7858 ((p__95_ p__95_)) (jolt-invoke analyze ctx p__95_ env)))) (_a$7861 (jolt-invoke (var-deref "jolt.host" "form-set-items") form))) (jolt-invoke _a$7859 _a$7860 _a$7861)))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-list?") form)) (jolt-invoke (var-deref "jolt.analyzer" "analyze-list") ctx form env) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-regex?") form)) (let* ((_o$7862 (keyword #f "op")) (_o$7863 (keyword #f "regex")) (_o$7864 (keyword #f "source")) (_o$7865 (jolt-invoke (var-deref "jolt.host" "form-regex-source") form))) (jolt-hash-map _o$7862 _o$7863 _o$7864 _o$7865)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-inst?") form)) (let* ((_o$7866 (keyword #f "op")) (_o$7867 (keyword #f "inst")) (_o$7868 (keyword #f "source")) (_o$7869 (jolt-invoke (var-deref "jolt.host" "form-inst-source") form))) (jolt-hash-map _o$7866 _o$7867 _o$7868 _o$7869)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-uuid?") form)) (let* ((_o$7870 (keyword #f "op")) (_o$7871 (keyword #f "uuid")) (_o$7872 (keyword #f "source")) (_o$7873 (jolt-invoke (var-deref "jolt.host" "form-uuid-source") form))) (jolt-hash-map _o$7870 _o$7871 _o$7872 _o$7873)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-bigdec?") form)) (let* ((_o$7874 (keyword #f "op")) (_o$7875 (keyword #f "bigdec")) (_o$7876 (keyword #f "source")) (_o$7877 (jolt-invoke (var-deref "jolt.host" "form-bigdec-source") form))) (jolt-hash-map _o$7874 _o$7875 _o$7876 _o$7877)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-ns-value?") form)) (let* ((_o$7878 (keyword #f "op")) (_o$7879 (keyword #f "the-ns")) (_o$7880 (keyword #f "name")) (_o$7881 (jolt-invoke (var-deref "jolt.host" "form-ns-value-name") form))) (jolt-hash-map _o$7878 _o$7879 _o$7880 _o$7881)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "unsupported form") jolt-nil))))))))))))))))) analyze))) (guard (e (#t #f)) (def-var-with-meta! "jolt.backend-scheme" "native-ops" (let* ((_o$6333 "+") (_o$6334 "+") (_o$6335 "-") (_o$6336 "-") (_o$6337 "*") (_o$6338 "*") (_o$6339 "/") (_o$6340 "/") (_o$6341 "<") (_o$6342 "<") (_o$6343 ">") (_o$6344 ">") (_o$6345 "<=") (_o$6346 "<=") (_o$6347 ">=") (_o$6348 ">=") (_o$6349 "=") (_o$6350 "jolt=") (_o$6351 "inc") (_o$6352 "jolt-inc") (_o$6353 "dec") (_o$6354 "jolt-dec") (_o$6355 "not") (_o$6356 "jolt-not") (_o$6357 "min") (_o$6358 "min") (_o$6359 "max") (_o$6360 "max") (_o$6361 "mod") (_o$6362 "modulo") (_o$6363 "rem") (_o$6364 "remainder") (_o$6365 "quot") (_o$6366 "quotient") (_o$6367 "vector") (_o$6368 "jolt-vector") (_o$6369 "hash-map") (_o$6370 "jolt-hash-map") (_o$6371 "hash-set") (_o$6372 "jolt-hash-set") (_o$6373 "conj") (_o$6374 "jolt-conj") (_o$6375 "get") (_o$6376 "jolt-get") (_o$6377 "nth") (_o$6378 "jolt-nth") (_o$6379 "count") (_o$6380 "jolt-count") (_o$6381 "assoc") (_o$6382 "jolt-assoc") (_o$6383 "dissoc") (_o$6384 "jolt-dissoc") (_o$6385 "contains?") (_o$6386 "jolt-contains?") (_o$6387 "empty?") (_o$6388 "jolt-empty?") (_o$6389 "peek") (_o$6390 "jolt-peek") (_o$6391 "pop") (_o$6392 "jolt-pop") (_o$6393 "first") (_o$6394 "jolt-first") (_o$6395 "rest") (_o$6396 "jolt-rest") (_o$6397 "next") (_o$6398 "jolt-next") (_o$6399 "seq") (_o$6400 "jolt-seq") (_o$6401 "cons") (_o$6402 "jolt-cons") (_o$6403 "list") (_o$6404 "jolt-list") (_o$6405 "reverse") (_o$6406 "jolt-reverse") (_o$6407 "last") (_o$6408 "jolt-last") (_o$6409 "map") (_o$6410 "jolt-map") (_o$6411 "filter") (_o$6412 "jolt-filter") (_o$6413 "remove") (_o$6414 "jolt-remove") (_o$6415 "reduce") (_o$6416 "jolt-reduce") (_o$6417 "into") (_o$6418 "jolt-into") (_o$6419 "concat") (_o$6420 "jolt-concat") (_o$6421 "apply") (_o$6422 "jolt-apply") (_o$6423 "range") (_o$6424 "jolt-range") (_o$6425 "take") (_o$6426 "jolt-take") (_o$6427 "drop") (_o$6428 "jolt-drop") (_o$6429 "keys") (_o$6430 "jolt-keys") (_o$6431 "vals") (_o$6432 "jolt-vals") (_o$6433 "even?") (_o$6434 "jolt-even?") (_o$6435 "odd?") (_o$6436 "jolt-odd?") (_o$6437 "pos?") (_o$6438 "jolt-pos?") (_o$6439 "neg?") (_o$6440 "jolt-neg?") (_o$6441 "zero?") (_o$6442 "jolt-zero?") (_o$6443 "identity") (_o$6444 "jolt-identity") (_o$6445 "ex-info") (_o$6446 "jolt-ex-info")) (jolt-hash-map _o$6333 _o$6334 _o$6335 _o$6336 _o$6337 _o$6338 _o$6339 _o$6340 _o$6341 _o$6342 _o$6343 _o$6344 _o$6345 _o$6346 _o$6347 _o$6348 _o$6349 _o$6350 _o$6351 _o$6352 _o$6353 _o$6354 _o$6355 _o$6356 _o$6357 _o$6358 _o$6359 _o$6360 _o$6361 _o$6362 _o$6363 _o$6364 _o$6365 _o$6366 _o$6367 _o$6368 _o$6369 _o$6370 _o$6371 _o$6372 _o$6373 _o$6374 _o$6375 _o$6376 _o$6377 _o$6378 _o$6379 _o$6380 _o$6381 _o$6382 _o$6383 _o$6384 _o$6385 _o$6386 _o$6387 _o$6388 _o$6389 _o$6390 _o$6391 _o$6392 _o$6393 _o$6394 _o$6395 _o$6396 _o$6397 _o$6398 _o$6399 _o$6400 _o$6401 _o$6402 _o$6403 _o$6404 _o$6405 _o$6406 _o$6407 _o$6408 _o$6409 _o$6410 _o$6411 _o$6412 _o$6413 _o$6414 _o$6415 _o$6416 _o$6417 _o$6418 _o$6419 _o$6420 _o$6421 _o$6422 _o$6423 _o$6424 _o$6425 _o$6426 _o$6427 _o$6428 _o$6429 _o$6430 _o$6431 _o$6432 _o$6433 _o$6434 _o$6435 _o$6436 _o$6437 _o$6438 _o$6439 _o$6440 _o$6441 _o$6442 _o$6443 _o$6444 _o$6445 _o$6446)) (let* ((_o$6447 (keyword #f "private")) (_o$6448 #t)) (jolt-hash-map _o$6447 _o$6448)))) (guard (e (#t #f)) @@ -247,23 +247,23 @@ (guard (e (#t #f)) (def-var! "jolt.backend-scheme" "dl-opt-out?" (letrec ((dl-opt-out? (lambda (m) (let fnrec7138 ((m m)) (let* ((or__26__auto (jolt-get m (keyword #f "dynamic")))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-get m (keyword #f "redef")))))))) dl-opt-out?))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-top-form" (letrec ((emit-top-form (lambda (node) (let fnrec7139 ((node node)) (if (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "direct-link?"))) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") node) (if (jolt= (keyword #f "do") (jolt-get node (keyword #f "op"))) (let* ((_a$7140 (var-deref "clojure.core" "str")) (_a$7141 "(begin ") (_a$7142 (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map emit-top-form (jolt-get node (keyword #f "statements"))))) (_a$7143 (if (jolt-empty? (jolt-get node (keyword #f "statements"))) "" " ")) (_a$7144 (jolt-invoke emit-top-form (jolt-get node (keyword #f "ret")))) (_a$7145 ")")) (jolt-invoke _a$7140 _a$7141 _a$7142 _a$7143 _a$7144 _a$7145)) (if (jolt-truthy? (let* ((and__25__auto (jolt= (keyword #f "def") (jolt-get node (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt-get node (keyword #f "no-init"))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt-invoke (var-deref "jolt.backend-scheme" "dl-opt-out?") (jolt-get node (keyword #f "meta")))) and__25__auto)) and__25__auto))) (let* ((ns (jolt-get node (keyword #f "ns"))) (nm (jolt-get node (keyword #f "name"))) (b (jolt-invoke (var-deref "jolt.backend-scheme" "dl-name") ns nm))) (begin (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.backend-scheme" "direct-link-defined") jolt-conj (jolt-invoke (var-deref "jolt.backend-scheme" "dl-fqn") ns nm)) (if (jolt= (keyword #f "fn") (jolt-get (jolt-get node (keyword #f "init")) (keyword #f "op"))) (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.backend-scheme" "direct-link-fns") jolt-conj (jolt-invoke (var-deref "jolt.backend-scheme" "dl-fqn") ns nm)) jolt-nil) (let* ((init (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "init"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "jmeta-nonempty?") (jolt-get node (keyword #f "meta")))) (let* ((_a$7146 (var-deref "clojure.core" "str")) (_a$7147 "(begin (define ") (_a$7148 b) (_a$7149 " ") (_a$7150 init) (_a$7151 ") (def-var-with-meta! ") (_a$7152 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") ns)) (_a$7153 " ") (_a$7154 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") nm)) (_a$7155 " ") (_a$7156 b) (_a$7157 " ") (_a$7158 (jolt-invoke (var-deref "jolt.backend-scheme" "emit-def-meta") node)) (_a$7159 "))")) (jolt-invoke _a$7146 _a$7147 _a$7148 _a$7149 _a$7150 _a$7151 _a$7152 _a$7153 _a$7154 _a$7155 _a$7156 _a$7157 _a$7158 _a$7159)) (let* ((_a$7160 (var-deref "clojure.core" "str")) (_a$7161 "(begin (define ") (_a$7162 b) (_a$7163 " ") (_a$7164 init) (_a$7165 ") (def-var! ") (_a$7166 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") ns)) (_a$7167 " ") (_a$7168 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") nm)) (_a$7169 " ") (_a$7170 b) (_a$7171 "))")) (jolt-invoke _a$7160 _a$7161 _a$7162 _a$7163 _a$7164 _a$7165 _a$7166 _a$7167 _a$7168 _a$7169 _a$7170 _a$7171)))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") node) jolt-nil)))))))) emit-top-form))) + (def-var! "jolt.backend-scheme" "emit-top-form" (letrec ((emit-top-form (lambda (node) (let fnrec7139 ((node node)) (if (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "direct-link?"))) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") node) (if (jolt= (keyword #f "do") (jolt-get node (keyword #f "op"))) (let* ((_a$7140 (var-deref "clojure.core" "str")) (_a$7141 "(begin ") (_a$7142 (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map emit-top-form (jolt-get node (keyword #f "statements"))))) (_a$7143 (if (jolt-empty? (jolt-get node (keyword #f "statements"))) "" " ")) (_a$7144 (jolt-invoke emit-top-form (jolt-get node (keyword #f "ret")))) (_a$7145 ")")) (jolt-invoke _a$7140 _a$7141 _a$7142 _a$7143 _a$7144 _a$7145)) (if (jolt-truthy? (let* ((and__25__auto (jolt= (keyword #f "def") (jolt-get node (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-not (jolt-get node (keyword #f "no-init"))))) (if (jolt-truthy? and__25__auto) (jolt-not (jolt-invoke (var-deref "jolt.backend-scheme" "dl-opt-out?") (jolt-get node (keyword #f "meta")))) and__25__auto)) and__25__auto))) (let* ((ns (jolt-get node (keyword #f "ns"))) (nm (jolt-get node (keyword #f "name"))) (b (jolt-invoke (var-deref "jolt.backend-scheme" "dl-name") ns nm)) (fn? (jolt= (keyword #f "fn") (jolt-get (jolt-get node (keyword #f "init")) (keyword #f "op")))) (pos (jolt-get node (keyword #f "pos"))) (reg (if (jolt-truthy? (let* ((and__25__auto fn?)) (if (jolt-truthy? and__25__auto) pos and__25__auto))) (let* ((_a$7146 (var-deref "clojure.core" "str")) (_a$7147 " (jolt-register-source! ") (_a$7148 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") nm))) (_a$7149 " ") (_a$7150 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") ns)) (_a$7151 " ") (_a$7152 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") nm)) (_a$7153 " ") (_a$7154 (if (jolt-truthy? (jolt-get pos (keyword #f "file"))) (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get pos (keyword #f "file"))) "jolt-nil")) (_a$7155 " ") (_a$7156 (let* ((or__26__auto (jolt-get pos (keyword #f "line")))) (if (jolt-truthy? or__26__auto) or__26__auto 0))) (_a$7157 ")")) (jolt-invoke _a$7146 _a$7147 _a$7148 _a$7149 _a$7150 _a$7151 _a$7152 _a$7153 _a$7154 _a$7155 _a$7156 _a$7157)) jolt-nil))) (begin (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.backend-scheme" "direct-link-defined") jolt-conj (jolt-invoke (var-deref "jolt.backend-scheme" "dl-fqn") ns nm)) (if (jolt-truthy? fn?) (jolt-invoke (var-deref "clojure.core" "swap!") (var-deref "jolt.backend-scheme" "direct-link-fns") jolt-conj (jolt-invoke (var-deref "jolt.backend-scheme" "dl-fqn") ns nm)) jolt-nil) (let* ((init (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "init"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "jmeta-nonempty?") (jolt-get node (keyword #f "meta")))) (let* ((_a$7158 (var-deref "clojure.core" "str")) (_a$7159 "(begin (define ") (_a$7160 b) (_a$7161 " ") (_a$7162 init) (_a$7163 ") (def-var-with-meta! ") (_a$7164 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") ns)) (_a$7165 " ") (_a$7166 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") nm)) (_a$7167 " ") (_a$7168 b) (_a$7169 " ") (_a$7170 (jolt-invoke (var-deref "jolt.backend-scheme" "emit-def-meta") node)) (_a$7171 ")") (_a$7172 (let* ((or__26__auto reg)) (if (jolt-truthy? or__26__auto) or__26__auto ""))) (_a$7173 ")")) (jolt-invoke _a$7158 _a$7159 _a$7160 _a$7161 _a$7162 _a$7163 _a$7164 _a$7165 _a$7166 _a$7167 _a$7168 _a$7169 _a$7170 _a$7171 _a$7172 _a$7173)) (let* ((_a$7174 (var-deref "clojure.core" "str")) (_a$7175 "(begin (define ") (_a$7176 b) (_a$7177 " ") (_a$7178 init) (_a$7179 ") (def-var! ") (_a$7180 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") ns)) (_a$7181 " ") (_a$7182 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") nm)) (_a$7183 " ") (_a$7184 b) (_a$7185 ")") (_a$7186 (let* ((or__26__auto reg)) (if (jolt-truthy? or__26__auto) or__26__auto ""))) (_a$7187 ")")) (jolt-invoke _a$7174 _a$7175 _a$7176 _a$7177 _a$7178 _a$7179 _a$7180 _a$7181 _a$7182 _a$7183 _a$7184 _a$7185 _a$7186 _a$7187)))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") node) jolt-nil)))))))) emit-top-form))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.passes.fold" "foldable" (let* ((_o$7172 "+") (_o$7173 jolt-add) (_o$7174 "-") (_o$7175 jolt-sub) (_o$7176 "*") (_o$7177 jolt-mul) (_o$7178 "/") (_o$7179 jolt-div) (_o$7180 "<") (_o$7181 <) (_o$7182 ">") (_o$7183 >) (_o$7184 "<=") (_o$7185 <=) (_o$7186 ">=") (_o$7187 >=) (_o$7188 "=") (_o$7189 jolt=) (_o$7190 "inc") (_o$7191 jolt-inc) (_o$7192 "dec") (_o$7193 jolt-dec) (_o$7194 "mod") (_o$7195 modulo) (_o$7196 "rem") (_o$7197 remainder) (_o$7198 "quot") (_o$7199 quotient) (_o$7200 "bit-and") (_o$7201 (var-deref "clojure.core" "__bit-and")) (_o$7202 "bit-or") (_o$7203 (var-deref "clojure.core" "__bit-or")) (_o$7204 "bit-xor") (_o$7205 (var-deref "clojure.core" "__bit-xor"))) (jolt-hash-map _o$7172 _o$7173 _o$7174 _o$7175 _o$7176 _o$7177 _o$7178 _o$7179 _o$7180 _o$7181 _o$7182 _o$7183 _o$7184 _o$7185 _o$7186 _o$7187 _o$7188 _o$7189 _o$7190 _o$7191 _o$7192 _o$7193 _o$7194 _o$7195 _o$7196 _o$7197 _o$7198 _o$7199 _o$7200 _o$7201 _o$7202 _o$7203 _o$7204 _o$7205)) (let* ((_o$7206 (keyword #f "private")) (_o$7207 #t)) (jolt-hash-map _o$7206 _o$7207)))) + (def-var-with-meta! "jolt.passes.fold" "foldable" (let* ((_o$7188 "+") (_o$7189 jolt-add) (_o$7190 "-") (_o$7191 jolt-sub) (_o$7192 "*") (_o$7193 jolt-mul) (_o$7194 "/") (_o$7195 jolt-div) (_o$7196 "<") (_o$7197 <) (_o$7198 ">") (_o$7199 >) (_o$7200 "<=") (_o$7201 <=) (_o$7202 ">=") (_o$7203 >=) (_o$7204 "=") (_o$7205 jolt=) (_o$7206 "inc") (_o$7207 jolt-inc) (_o$7208 "dec") (_o$7209 jolt-dec) (_o$7210 "mod") (_o$7211 modulo) (_o$7212 "rem") (_o$7213 remainder) (_o$7214 "quot") (_o$7215 quotient) (_o$7216 "bit-and") (_o$7217 (var-deref "clojure.core" "__bit-and")) (_o$7218 "bit-or") (_o$7219 (var-deref "clojure.core" "__bit-or")) (_o$7220 "bit-xor") (_o$7221 (var-deref "clojure.core" "__bit-xor"))) (jolt-hash-map _o$7188 _o$7189 _o$7190 _o$7191 _o$7192 _o$7193 _o$7194 _o$7195 _o$7196 _o$7197 _o$7198 _o$7199 _o$7200 _o$7201 _o$7202 _o$7203 _o$7204 _o$7205 _o$7206 _o$7207 _o$7208 _o$7209 _o$7210 _o$7211 _o$7212 _o$7213 _o$7214 _o$7215 _o$7216 _o$7217 _o$7218 _o$7219 _o$7220 _o$7221)) (let* ((_o$7222 (keyword #f "private")) (_o$7223 #t)) (jolt-hash-map _o$7222 _o$7223)))) (guard (e (#t #f)) - (def-var! "jolt.passes.fold" "const?" (letrec ((const? (lambda (n) (let fnrec7208 ((n n)) (jolt= (keyword #f "const") (jolt-get n (keyword #f "op"))))))) const?))) + (def-var! "jolt.passes.fold" "const?" (letrec ((const? (lambda (n) (let fnrec7224 ((n n)) (jolt= (keyword #f "const") (jolt-get n (keyword #f "op"))))))) const?))) (guard (e (#t #f)) - (def-var! "jolt.passes.fold" "const-num?" (letrec ((const-num? (lambda (n) (let fnrec7209 ((n n)) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.passes.fold" "const?") n))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "number?") (jolt-get n (keyword #f "val"))) and__25__auto)))))) const-num?))) + (def-var! "jolt.passes.fold" "const-num?" (letrec ((const-num? (lambda (n) (let fnrec7225 ((n n)) (let* ((and__25__auto (jolt-invoke (var-deref "jolt.passes.fold" "const?") n))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "number?") (jolt-get n (keyword #f "val"))) and__25__auto)))))) const-num?))) (guard (e (#t #f)) - (def-var! "jolt.passes.fold" "fold-fn" (letrec ((fold-fn (lambda (fnode) (let fnrec7210 ((fnode fnode)) (let* ((op (jolt-get fnode (keyword #f "op")))) (if (jolt-truthy? (let* ((or__26__auto (let* ((and__25__auto (jolt= op (keyword #f "var")))) (if (jolt-truthy? and__25__auto) (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))) and__25__auto)))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt= op (keyword #f "host"))))) (jolt-get (var-deref "jolt.passes.fold" "foldable") (jolt-get fnode (keyword #f "name"))) jolt-nil)))))) fold-fn))) + (def-var! "jolt.passes.fold" "fold-fn" (letrec ((fold-fn (lambda (fnode) (let fnrec7226 ((fnode fnode)) (let* ((op (jolt-get fnode (keyword #f "op")))) (if (jolt-truthy? (let* ((or__26__auto (let* ((and__25__auto (jolt= op (keyword #f "var")))) (if (jolt-truthy? and__25__auto) (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))) and__25__auto)))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt= op (keyword #f "host"))))) (jolt-get (var-deref "jolt.passes.fold" "foldable") (jolt-get fnode (keyword #f "name"))) jolt-nil)))))) fold-fn))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.passes.fold" "const-fold" (letrec ((const-fold (lambda (node) (let fnrec7211 ((node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "invoke")) (let* ((n (jolt-invoke (var-deref "jolt.ir" "map-ir-children") const-fold node)) (ff (jolt-invoke (var-deref "jolt.passes.fold" "fold-fn") (jolt-get n (keyword #f "fn")))) (args (jolt-get n (keyword #f "args"))) (folded (if (jolt-truthy? (let* ((and__25__auto ff)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-pos? (jolt-count args)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "every?") (var-deref "jolt.passes.fold" "const-num?") args) and__25__auto)) and__25__auto))) (guard (_r$catch1500 (else (let* ((e _r$catch1500)) jolt-nil))) (let* ((_o$7213 (keyword #f "op")) (_o$7214 (keyword #f "const")) (_o$7215 (keyword #f "val")) (_o$7216 (jolt-apply ff (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (a) (let fnrec7212 ((a a)) (jolt-get a (keyword #f "val")))) args)))) (jolt-hash-map _o$7213 _o$7214 _o$7215 _o$7216))) jolt-nil))) (let* ((or__26__auto folded)) (if (jolt-truthy? or__26__auto) or__26__auto n))) (if (jolt= op (keyword #f "if")) (let* ((t (jolt-invoke const-fold (jolt-get node (keyword #f "test"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.passes.fold" "const?") t)) (if (jolt-truthy? (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-get t (keyword #f "val"))))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt= #f (jolt-get t (keyword #f "val")))))) (jolt-invoke const-fold (jolt-get node (keyword #f "else"))) (jolt-invoke const-fold (jolt-get node (keyword #f "then")))) (let* ((_a$7217 node) (_a$7218 (keyword #f "test")) (_a$7219 t) (_a$7220 (keyword #f "then")) (_a$7221 (jolt-invoke const-fold (jolt-get node (keyword #f "then")))) (_a$7222 (keyword #f "else")) (_a$7223 (jolt-invoke const-fold (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$7217 _a$7218 _a$7219 _a$7220 _a$7221 _a$7222 _a$7223)))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.ir" "map-ir-children") const-fold node) jolt-nil)))))))) const-fold) (let* ((_o$7224 (keyword #f "doc")) (_o$7225 "Bottom-up constant folding: a call of a foldable numeric fn whose args are\n all constant numbers becomes a constant; an if with a constant test becomes\n the taken branch.")) (jolt-hash-map _o$7224 _o$7225)))) + (def-var-with-meta! "jolt.passes.fold" "const-fold" (letrec ((const-fold (lambda (node) (let fnrec7227 ((node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "invoke")) (let* ((n (jolt-invoke (var-deref "jolt.ir" "map-ir-children") const-fold node)) (ff (jolt-invoke (var-deref "jolt.passes.fold" "fold-fn") (jolt-get n (keyword #f "fn")))) (args (jolt-get n (keyword #f "args"))) (folded (if (jolt-truthy? (let* ((and__25__auto ff)) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt-pos? (jolt-count args)))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "every?") (var-deref "jolt.passes.fold" "const-num?") args) and__25__auto)) and__25__auto))) (guard (_r$catch1500 (else (let* ((e _r$catch1500)) jolt-nil))) (let* ((_o$7229 (keyword #f "op")) (_o$7230 (keyword #f "const")) (_o$7231 (keyword #f "val")) (_o$7232 (jolt-apply ff (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (a) (let fnrec7228 ((a a)) (jolt-get a (keyword #f "val")))) args)))) (jolt-hash-map _o$7229 _o$7230 _o$7231 _o$7232))) jolt-nil))) (let* ((or__26__auto folded)) (if (jolt-truthy? or__26__auto) or__26__auto n))) (if (jolt= op (keyword #f "if")) (let* ((t (jolt-invoke const-fold (jolt-get node (keyword #f "test"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.passes.fold" "const?") t)) (if (jolt-truthy? (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-get t (keyword #f "val"))))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt= #f (jolt-get t (keyword #f "val")))))) (jolt-invoke const-fold (jolt-get node (keyword #f "else"))) (jolt-invoke const-fold (jolt-get node (keyword #f "then")))) (let* ((_a$7233 node) (_a$7234 (keyword #f "test")) (_a$7235 t) (_a$7236 (keyword #f "then")) (_a$7237 (jolt-invoke const-fold (jolt-get node (keyword #f "then")))) (_a$7238 (keyword #f "else")) (_a$7239 (jolt-invoke const-fold (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$7233 _a$7234 _a$7235 _a$7236 _a$7237 _a$7238 _a$7239)))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.ir" "map-ir-children") const-fold node) jolt-nil)))))))) const-fold) (let* ((_o$7240 (keyword #f "doc")) (_o$7241 "Bottom-up constant folding: a call of a foldable numeric fn whose args are\n all constant numbers becomes a constant; an if with a constant test becomes\n the taken branch.")) (jolt-hash-map _o$7240 _o$7241)))) (guard (e (#t #f)) - (def-var! "jolt.passes.fold" "scalar-const?" (letrec ((scalar-const? (lambda (n) (let fnrec7226 ((n n)) (let* ((and__25__auto (jolt= (keyword #f "const") (jolt-get n (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((v (jolt-get n (keyword #f "val")))) (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "keyword?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "string?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "number?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-invoke (var-deref "clojure.core" "boolean?") v)))))))) and__25__auto)))))) scalar-const?))) + (def-var! "jolt.passes.fold" "scalar-const?" (letrec ((scalar-const? (lambda (n) (let fnrec7242 ((n n)) (let* ((and__25__auto (jolt= (keyword #f "const") (jolt-get n (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((v (jolt-get n (keyword #f "val")))) (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "keyword?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "string?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((or__26__auto (jolt-invoke (var-deref "clojure.core" "number?") v))) (if (jolt-truthy? or__26__auto) or__26__auto (jolt-invoke (var-deref "clojure.core" "boolean?") v)))))))) and__25__auto)))))) scalar-const?))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.passes.fold" "kw-callee?" (letrec ((kw-callee? (lambda (fnode) (let fnrec7227 ((fnode fnode)) (let* ((and__25__auto (jolt= (keyword #f "const") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "keyword?") (jolt-get fnode (keyword #f "val"))) and__25__auto)))))) kw-callee?) (let* ((_o$7228 (keyword #f "doc")) (_o$7229 "True if fnode is a constant keyword used as a function head \x2014; the (:k m) form.")) (jolt-hash-map _o$7228 _o$7229)))) + (def-var-with-meta! "jolt.passes.fold" "kw-callee?" (letrec ((kw-callee? (lambda (fnode) (let fnrec7243 ((fnode fnode)) (let* ((and__25__auto (jolt= (keyword #f "const") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "keyword?") (jolt-get fnode (keyword #f "val"))) and__25__auto)))))) kw-callee?) (let* ((_o$7244 (keyword #f "doc")) (_o$7245 "True if fnode is a constant keyword used as a function head \x2014; the (:k m) form.")) (jolt-hash-map _o$7244 _o$7245)))) (guard (e (#t #f)) - (def-var-with-meta! "jolt.passes.fold" "get-callee?" (letrec ((get-callee? (lambda (fnode) (let fnrec7230 ((fnode fnode)) (let* ((or__26__auto (let* ((and__25__auto (jolt= (keyword #f "var") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))))) (if (jolt-truthy? and__25__auto) (jolt= "get" (jolt-get fnode (keyword #f "name"))) and__25__auto)) and__25__auto)))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((and__25__auto (jolt= (keyword #f "host") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (jolt= "get" (jolt-get fnode (keyword #f "name"))) and__25__auto)))))))) get-callee?) (let* ((_o$7231 (keyword #f "doc")) (_o$7232 "True if fnode is the clojure.core/get (or host get) callee \x2014; the (get m k) form.")) (jolt-hash-map _o$7231 _o$7232)))) + (def-var-with-meta! "jolt.passes.fold" "get-callee?" (letrec ((get-callee? (lambda (fnode) (let fnrec7246 ((fnode fnode)) (let* ((or__26__auto (let* ((and__25__auto (jolt= (keyword #f "var") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((and__25__auto (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))))) (if (jolt-truthy? and__25__auto) (jolt= "get" (jolt-get fnode (keyword #f "name"))) and__25__auto)) and__25__auto)))) (if (jolt-truthy? or__26__auto) or__26__auto (let* ((and__25__auto (jolt= (keyword #f "host") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (jolt= "get" (jolt-get fnode (keyword #f "name"))) and__25__auto)))))))) get-callee?) (let* ((_o$7247 (keyword #f "doc")) (_o$7248 "True if fnode is the clojure.core/get (or host get) callee \x2014; the (get m k) form.")) (jolt-hash-map _o$7247 _o$7248)))) (guard (e (#t #f)) (def-var! "jolt.passes.numeric" "int-lit?" (letrec ((int-lit? (lambda (n) (let fnrec5854 ((n n)) (let* ((and__25__auto (jolt= (keyword #f "const") (jolt-get n (keyword #f "op"))))) (if (jolt-truthy? and__25__auto) (let* ((v (jolt-get n (keyword #f "val")))) (let* ((and__25__auto (jolt-invoke (var-deref "clojure.core" "number?") v))) (if (jolt-truthy? and__25__auto) (jolt-invoke (var-deref "clojure.core" "integer?") v) and__25__auto))) and__25__auto)))))) int-lit?))) (guard (e (#t #f)) diff --git a/host/chez/seq.ss b/host/chez/seq.ss index e00d001..a9fdbb9 100644 --- a/host/chez/seq.ss +++ b/host/chez/seq.ss @@ -154,7 +154,12 @@ => (lambda (m) (apply jolt-invoke m f args))) ((and (reified-methods f) (hashtable-ref (reified-methods f) "invoke" #f)) => (lambda (m) (apply jolt-invoke m f args))) - (else (error 'invoke "not a fn" f)))) + ;; calling a non-fn: a ClassCastException naming the operator, thrown via + ;; jolt-throw so it is catchable and carries the throw-site continuation for a + ;; stack trace. + (else (jolt-throw (jolt-host-throwable "java.lang.ClassCastException" + (string-append (guard (e (#t "value")) (jolt-pr-str f)) + " cannot be cast to clojure.lang.IFn")))))) ;; ============================================================================ ;; map / filter / reduce / into / remove + range / take / concat / apply diff --git a/host/chez/source-registry.ss b/host/chez/source-registry.ss new file mode 100644 index 0000000..bac7a3d --- /dev/null +++ b/host/chez/source-registry.ss @@ -0,0 +1,128 @@ +;; source-registry.ss — map emitted procedures back to Clojure source for native +;; stack traces, and render an uncaught throwable. +;; +;; A direct-linked def compiles to (define jv$ns$name ); the back end also +;; emits (jolt-register-source! "jv$ns$name" ns name file line) once per such def +;; — at definition time, so there is zero per-call cost. On an uncaught error we +;; walk Chez's native continuation frames, read each frame's procedure name, and +;; look it up here to print a Clojure backtrace. +;; +;; CAVEATS. Names map only for stable Chez procedure names — direct-link / AOT +;; closed-world builds. The open-world -e/repl/run path stores fns in var cells +;; as anonymous lambdas, so its frames don't map (the trace falls back to the +;; top-level location compile-eval.ss tracks). Pervasive tail-call optimization +;; also erases tail-called frames, so even a mapped trace shows only the non-tail +;; spine — the immediate error site is often a tail call and won't appear. + +;; Keyed by the procedure name Chez actually reports for a frame — the SHORT +;; munged fn name (the letrec self-binding emit-fn uses), e.g. "deepest", not the +;; jv$ns$name global. Two vars in different namespaces can share a short name; an +;; 'ambiguous marker then keeps the frame name in the trace but drops the +;; (now-uncertain) ns/file:line, so a trace is never misattributed. +(define source-registry (make-hashtable string-hash string=?)) + +(define (jolt-register-source! procname ns nm file line) + (let ((existing (hashtable-ref source-registry procname #f))) + (cond + ((not existing) (hashtable-set! source-registry procname (vector ns nm file line))) + ((and (vector? existing) + (or (not (equal? (vector-ref existing 0) ns)) + (not (equal? (vector-ref existing 1) nm)))) + (hashtable-set! source-registry procname 'ambiguous)))) + jolt-nil) +(def-var! "jolt.host" "register-source!" jolt-register-source!) + +;; The continuation to walk for an uncaught value: the one jolt-throw captured for +;; THIS value (identity-tagged via jolt-throw-cont, so a stale entry from an +;; earlier caught throw is never reused), else a host condition's own +;; &continuation, else #f. +(define (jolt-error-continuation v) + (let ((tc (jolt-throw-cont))) + (cond + ((and (pair? tc) (eq? (car tc) v)) (cdr tc)) + ((and (condition? v) (continuation-condition? v)) (condition-continuation v)) + (else #f)))) + +;; A frame inspector's procedure name as a string, or #f for a non-frame / unnamed. +(define (srcreg-frame-name io) + (and (guard (e (#t #f)) (eq? (io 'type) 'continuation)) + (let ((code (guard (e (#t #f)) (io 'code)))) + (and code + (let ((nm (guard (e (#t #f)) (code 'name)))) + (cond ((string? nm) nm) + ((symbol? nm) (symbol->string nm)) + (else #f))))))) + +;; Walk a continuation, returning the registered jolt frames (innermost first) as +;; (frame-name . record) pairs, where record is #(ns name file line) or the symbol +;; 'ambiguous. Unmapped frames (host spine, anonymous lambdas) are skipped; raw +;; depth is capped. +(define srcreg-debug? (getenv "JOLT_DEBUG_FRAMES")) +(define (jolt-frame-records k) + (guard (e (#t '())) + (let loop ((io (inspect/object k)) (n 0) (acc '())) + (if (or (not io) (fx>=? n 400)) + (reverse acc) + (let* ((nm (srcreg-frame-name io)) + (src (and nm (hashtable-ref source-registry nm #f)))) + (when (and srcreg-debug? nm) + (display (string-append " [frame] " nm (if src " *MAPPED*" "") "\n") + (current-error-port))) + (loop (guard (e (#t #f)) (io 'link)) (fx+ n 1) + (if src (cons (cons nm src) acc) acc))))))) + +;; Multi-line backtrace for an uncaught value — " ns/name (file:line)" for a +;; mapped frame, the bare frame name for an ambiguous one — or #f when no jolt +;; frame maps (the caller then prints just the top-level location). Capped to the +;; innermost frames. +(define (jolt-backtrace-string v) + (let ((k (jolt-error-continuation v))) + (and k + (let ((recs (jolt-frame-records k))) + (and (pair? recs) + (let ((port (open-output-string))) + (let loop ((rs recs) (shown 0)) + (when (and (pair? rs) (fxstring line)) + (put-string port ")"))) + (put-string port frame-name)) ; 'ambiguous: bare name + (put-char port #\newline)) + (loop (cdr rs) (fx+ shown 1)))) + (get-output-string port))))))) + +;; Render an uncaught jolt throw (any value, not just a Chez condition) to a port: +;; an ex-info shows its message + ex-data (+ a host cause); anything else is +;; pr-str'd. Shared by the cli (cli.ss) and a built binary's launcher (build.ss). +(define (jolt-render-throwable v port) + (if (jolt=2 (jolt-get v jolt-kw-ex-type jolt-nil) jolt-kw-ex-info) + (begin + (display "Unhandled exception: " port) + (display (jolt-str-render-one (jolt-get v jolt-kw-message jolt-nil)) port) + (newline port) + (let ((data (jolt-get v jolt-kw-data jolt-nil))) + (unless (jolt-nil? data) + (display " ex-data: " port) (display (jolt-pr-str data) port) (newline port))) + (let ((cause (jolt-get v jolt-kw-cause jolt-nil))) + (when (condition? cause) + (display " cause: " port) + (display (with-output-to-string (lambda () (display-condition cause))) port) + (newline port)))) + (begin + (display "Unhandled exception: " port) + (display (if (condition? v) (with-output-to-string (lambda () (display-condition v))) (jolt-pr-str v)) port) + (newline port)))) + +;; Render the throwable, then its Clojure backtrace when one maps. The caller adds +;; any top-level source location (the runtime cli does; a built binary has none). +(define (jolt-report-throwable v port) + (jolt-render-throwable v port) + (let ((bt (jolt-backtrace-string v))) + (when bt (display " trace:\n" port) (display bt port)))) diff --git a/jolt-core/jolt/analyzer.clj b/jolt-core/jolt/analyzer.clj index 19b3dd0..a79f05d 100644 --- a/jolt-core/jolt/analyzer.clj +++ b/jolt-core/jolt/analyzer.clj @@ -613,7 +613,12 @@ ;; macro `def`/`and`/`or` (clojure.spec.alpha) keeps the special form `def`. (and (form-sym? head) (not shadowed) (not (contains? handled hname)) (form-macro? ctx head)) - (analyze ctx (form-expand-1 ctx form) env) + ;; defn/defn- expand to (def name (fn …)); carry the ORIGINAL form's + ;; source offset onto the resulting def, since the macro builds a fresh + ;; (def …) with no metadata. So the back end can register fn defs. + (let [node (analyze ctx (form-expand-1 ctx form) env) + p (form-position form)] + (if (and p (= :def (:op node))) (assoc node :pos p) node)) ;; jolt.ffi/__cfn — the foreign-function special form (always emitted ;; fully-qualified by the jolt.ffi/foreign-fn macro, so aliases resolve). (and (form-sym? head) (= "jolt.ffi" (form-sym-ns head)) @@ -628,7 +633,11 @@ ;; `if` does not change the meaning of (if …) in operator position, per ;; spec §3 and the reference. No (not shadowed) guard here. (and hname (contains? handled hname)) - (analyze-special ctx hname items env) + ;; stamp the form's source offset onto a top-level def so the back end + ;; can register it (jv$ns$name -> source) for native stack traces. + (let [node (analyze-special ctx hname items env) + p (form-position form)] + (if (and p (= :def (:op node))) (assoc node :pos p) node)) (and hname (not shadowed) (method-head? hname)) (analyze-host-call ctx hname items env) ;; (Class. args*) — trailing-dot constructor sugar. diff --git a/jolt-core/jolt/backend_scheme.clj b/jolt-core/jolt/backend_scheme.clj index 167060c..fd383c6 100644 --- a/jolt-core/jolt/backend_scheme.clj +++ b/jolt-core/jolt/backend_scheme.clj @@ -674,14 +674,25 @@ (str "(begin " (str/join " " (map emit-top-form (:statements node))) (if (empty? (:statements node)) "" " ") (emit-top-form (:ret node)) ")") (and (= :def (:op node)) (not (:no-init node)) (not (dl-opt-out? (:meta node)))) - (let [ns (:ns node) nm (:name node) b (dl-name ns nm)] + (let [ns (:ns node) nm (:name node) b (dl-name ns nm) + fn? (= :fn (:op (:init node))) + ;; A named fn def gets a source-registry entry so a native backtrace can + ;; map its frame to ns/name (file:line). Chez names a frame by the fn's + ;; SHORT self-binding (emit-fn's letrec name = munge-name), not jv$ns$name, + ;; so register under that. Non-fn defs are not procedures. + pos (:pos node) + reg (when (and fn? pos) + (str " (jolt-register-source! " (chez-str-lit (munge-name nm)) " " + (chez-str-lit ns) " " (chez-str-lit nm) " " + (if (get pos :file) (chez-str-lit (get pos :file)) "jolt-nil") " " + (or (get pos :line) 0) ")"))] ;; register before emitting the init so a self-referential body direct-links. (swap! direct-link-defined conj (dl-fqn ns nm)) - (when (= :fn (:op (:init node))) (swap! direct-link-fns conj (dl-fqn ns nm))) + (when fn? (swap! direct-link-fns conj (dl-fqn ns nm))) (let [init (emit (:init node))] (if (jmeta-nonempty? (:meta node)) (str "(begin (define " b " " init ") (def-var-with-meta! " - (chez-str-lit ns) " " (chez-str-lit nm) " " b " " (emit-def-meta node) "))") + (chez-str-lit ns) " " (chez-str-lit nm) " " b " " (emit-def-meta node) ")" (or reg "") ")") (str "(begin (define " b " " init ") (def-var! " - (chez-str-lit ns) " " (chez-str-lit nm) " " b "))")))) + (chez-str-lit ns) " " (chez-str-lit nm) " " b ")" (or reg "") ")")))) :else (emit node))) diff --git a/test/chez/build-app/src/app/core.clj b/test/chez/build-app/src/app/core.clj index 4914552..f9f0f34 100644 --- a/test/chez/build-app/src/app/core.clj +++ b/test/chez/build-app/src/app/core.clj @@ -12,6 +12,10 @@ (defmethod greet :soft [_] "greet:soft") (defn -main [& args] + ;; --boom: throw through a two-deep call chain so build-smoke can assert the + ;; native stack trace. Off the normal path, so default output is unchanged. + (when (= (first args) "--boom") + (util/mid-boom "not-a-number")) ;; the resource is baked into the binary (deps.edn :jolt/build :embed), so this ;; resolves with no resources/ dir on disk, run from any cwd. (println (slurp (io/resource "greeting.txt"))) diff --git a/test/chez/build-app/src/app/util.clj b/test/chez/build-app/src/app/util.clj index 589ebd4..2e80fd4 100644 --- a/test/chez/build-app/src/app/util.clj +++ b/test/chez/build-app/src/app/util.clj @@ -4,6 +4,15 @@ (defn shout [s] (str/upper-case (str s "!"))) +;; A two-deep non-tail call chain that throws — exercises native stack traces in a +;; direct-link build (build-smoke runs -main with a --boom sentinel arg). +(defn deep-boom [x] + (assert (number? x) "needs a number") + (* x 2)) + +(defn mid-boom [x] + (inc (deep-boom x))) + (defmacro twice [x] `(do ~x ~x)) diff --git a/test/chez/corpus.edn b/test/chez/corpus.edn index fe6dcad..c918eca 100644 --- a/test/chez/corpus.edn +++ b/test/chez/corpus.edn @@ -611,6 +611,8 @@ {:suite "host-interop / class tokens & readers" :label "indexOf int needle is a char code" :expected "1" :actual "(.indexOf \"a=b\" 61)"} {:suite "host-interop / exception + HashMap shims" :label "getMessage on a thrown string" :expected "\"class java.lang.String cannot be cast to class java.lang.Throwable (java.lang.String and java.lang.Throwable are in module java.base of loader 'bootstrap')\"" :actual "(try (throw \"boom\") (catch Throwable e (.getMessage e)))"} {:suite "host-interop / exception + HashMap shims" :label "getMessage on ex-info" :expected "\"bad\"" :actual "(try (throw (ex-info \"bad\" {})) (catch Throwable e (.getMessage e)))"} + {:suite "host-interop / exception + HashMap shims" :label "calling a non-fn throws ClassCastException" :expected ":ccx" :actual "(try (1 2) (catch ClassCastException _ :ccx))"} + {:suite "host-interop / exception + HashMap shims" :label "non-fn cast is a RuntimeException too" :expected ":rt" :actual "(try ((identity 5)) (catch RuntimeException _ :rt))"} {:suite "host-interop / exception + HashMap shims" :label "HashMap get" :expected "2" :actual "(let [m (HashMap. {:a 1 :b 2})] (.get m :b))"} {:suite "host-interop / exception + HashMap shims" :label "HashMap put + size" :expected "2" :actual "(let [m (HashMap. {})] (.put m :x 1) (.put m :y 2) (.size m))"} {:suite "host-interop / reader-feature toggle" :label "features default to jolt+default" :expected "true" :actual "(contains? (set (__reader-features)) \"jolt\")"}