From 537cb360b443e3dac5fc8aa33a6a3b99e715abf2 Mon Sep 17 00:00:00 2001 From: Yogthos Date: Mon, 22 Jun 2026 10:59:51 -0400 Subject: [PATCH] Add a Clojure FFI so libraries can bind native code (jolt.ffi) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A jolt library can now bind its own native dependencies and expose a Clojure API over them — no jolt built-in required. This is the foundation for moving the http-client / db / adapter functionality out of the host and into real libraries. - jolt.ffi/foreign-fn (sugar: defcfn) is a compiler special form: a compile-time -typed C signature lowers to a real Chez foreign-procedure (analyzer :ffi-fn -> backend foreign-procedure), so calls are typed and marshaled, not eval'd. - host/chez/ffi.ss provides the rest under jolt.ffi: load-library, alloc/free, read/write/sizeof, ptr<->string, null/null?. Loaded after the loader snapshot so a library's (require '[jolt.ffi]) still loads the macro side. - Types: int/uint/long/ulong/int64/uint64/size_t/ssize_t/iptr/uptr/double/float/ pointer/string/void/uint8/char. Validated end to end: a pure-Clojure file binds libc (getpid/strlen/abs) and libsqlite3 (open/prepare/step/column/finalize over out-param pointers) and runs a query. Gate test test/chez/ffi-binding-test.ss (make ffi); selfhost holds. --- Makefile | 1 + host/chez/cli.ss | 6 +- host/chez/ffi.ss | 98 ++++++++++++++++++++++ host/chez/seed/image.ss | 130 ++++++++++++++++-------------- jolt-core/jolt/analyzer.clj | 19 +++++ jolt-core/jolt/backend_scheme.clj | 18 +++++ src/jolt/jolt/ffi.clj | 29 +++++++ test/chez/ffi-binding-test.ss | 43 ++++++++++ 8 files changed, 282 insertions(+), 62 deletions(-) create mode 100644 host/chez/ffi.ss create mode 100644 src/jolt/jolt/ffi.clj create mode 100644 test/chez/ffi-binding-test.ss diff --git a/Makefile b/Makefile index 5ece564..e62885b 100644 --- a/Makefile +++ b/Makefile @@ -45,6 +45,7 @@ sci: # FFI + threading: HTTP server GC-safety (blocking calls deactivate the thread) # and http-client temp-file uniqueness, plus a live request. ffi: + @chez --script test/chez/ffi-binding-test.ss @chez --script test/chez/ffi-server-test.ss # Transients: mutable backing, snapshot on persistent!, and linear-time builds. diff --git a/host/chez/cli.ss b/host/chez/cli.ss index f77ea6e..f34caa8 100644 --- a/host/chez/cli.ss +++ b/host/chez/cli.ss @@ -22,8 +22,12 @@ (load "host/chez/png.ss") ; jolt.png — a baked namespace before the snapshot (load "host/chez/http-client.ss") ; jolt.http-client (libcurl) (load "host/chez/sqlite.ss") ; jolt.sqlite + jdbc.core (libsqlite3) -(load "host/chez/http-server.ss") ; jolt.http.server + ring-janet.adapter (BSD sockets) +(load "host/chez/http-server.ss") ; jolt.http.server (BSD sockets) (load "host/chez/loader.ss") +;; jolt.ffi host primitives (memory / library loading) load AFTER the loader's +;; baked-ns snapshot, so a library's (require '[jolt.ffi]) still loads jolt.ffi's +;; Clojure side (the foreign-fn / defcfn macros, src/jolt/jolt/ffi.clj). +(load "host/chez/ffi.ss") ; jolt.ffi (FFI: a library binds native code) ;; jolt.main + jolt.deps live under jolt-core; keep them (and src/jolt) on the ;; roots so the CLI's own namespaces — and any jolt.* an app pulls in — resolve. diff --git a/host/chez/ffi.ss b/host/chez/ffi.ss new file mode 100644 index 0000000..4082a40 --- /dev/null +++ b/host/chez/ffi.ss @@ -0,0 +1,98 @@ +;; ffi.ss — the runtime side of jolt's foreign-function interface (jolt.ffi). +;; +;; A jolt LIBRARY binds native code itself: it loads a shared object and declares +;; typed foreign functions, then exposes a Clojure API. The TYPED CALL is lowered +;; at compile time to a Chez `foreign-procedure` by the backend (the +;; `jolt.ffi/foreign-fn` special form) — this file provides everything that does +;; NOT need compile-time types: loading libraries, allocating/reading/writing +;; foreign memory, and string/pointer marshaling. All exposed under `jolt.ffi`. +;; +;; A foreign pointer is a Chez machine address (an exact integer / uptr), the same +;; representation `void*` arguments and results use, so pointers flow between +;; foreign-fn calls and these helpers transparently. + +;; --- loading shared objects -------------------------------------------------- +;; (jolt.ffi/load-library name) loads a .so/.dylib by name (resolved by the OS +;; loader against the standard search paths). A library typically calls this once +;; at load with a platform-specific name. (load-library) with no name (or #f) +;; loads the running process's own symbols (libc, sockets). +(define (ffi-load-library . args) + (if (or (null? args) (jolt-nil? (car args))) + (begin (load-shared-object #f) jolt-nil) + (begin (load-shared-object (jolt-str-render-one (car args))) jolt-nil))) + +(define (ffi-loaded? name) + (guard (e (#t #f)) (load-shared-object (jolt-str-render-one name)) #t)) + +;; --- foreign type keywords --------------------------------------------------- +;; The keyword type names jolt.ffi accepts (in foreign-fn signatures and the +;; memory accessors) map to Chez foreign types. Kept in one place so the backend +;; (compile-time, for foreign-procedure) and these accessors (runtime, for +;; foreign-ref/set!) agree. +(define (ffi-type->chez kw) + (let ((n (if (keyword-t? kw) (keyword-t-name kw) (jolt-str-render-one kw)))) + (cond + ((string=? n "int") 'int) + ((string=? n "uint") 'unsigned-int) + ((string=? n "long") 'long) + ((string=? n "ulong") 'unsigned-long) + ((string=? n "int64") 'integer-64) + ((string=? n "uint64") 'unsigned-64) + ((string=? n "size_t") 'size_t) + ((string=? n "ssize_t") 'ssize_t) + ((string=? n "iptr") 'iptr) + ((string=? n "uptr") 'uptr) + ((string=? n "double") 'double) + ((string=? n "float") 'float) + ((or (string=? n "pointer") (string=? n "void*")) 'void*) + ((string=? n "string") 'string) + ((string=? n "void") 'void) + ((or (string=? n "uint8") (string=? n "u8") (string=? n "byte")) 'unsigned-8) + ((string=? n "char") 'char) + (else (error #f (string-append "jolt.ffi: unknown foreign type :" n)))))) + +;; --- foreign memory ---------------------------------------------------------- +;; alloc returns a pointer (integer address). The caller frees it. read/write take +;; a type keyword and an optional byte offset. +(define (ffi-alloc nbytes) (foreign-alloc (jnum->exact nbytes))) +(define (ffi-free ptr) (foreign-free (jnum->exact ptr)) jolt-nil) +(define (ffi-read ptr ty . off) + (foreign-ref (ffi-type->chez ty) (jnum->exact ptr) (if (pair? off) (jnum->exact (car off)) 0))) +(define (ffi-write ptr ty off val) + (foreign-set! (ffi-type->chez ty) (jnum->exact ptr) (jnum->exact off) val) jolt-nil) +;; sizeof a foreign type (for laying out structs / arrays). +(define (ffi-sizeof ty) (foreign-sizeof (ffi-type->chez ty))) +(define (ffi-null? ptr) (and (number? ptr) (= (jnum->exact ptr) 0))) +(define ffi-null 0) + +;; --- string / bytevector marshaling ------------------------------------------ +;; A C string result already comes back as a jolt string (the `string` foreign +;; type). For a `void*` that points at a NUL-terminated C string, read it here. +(define (ffi-ptr->string ptr) + (if (ffi-null? ptr) jolt-nil + (let ((p (jnum->exact ptr))) + (let loop ((i 0) (acc '())) + (let ((b (foreign-ref 'unsigned-8 p i))) + (if (= b 0) (utf8->string (u8-list->bytevector (reverse acc))) + (loop (+ i 1) (cons b acc)))))))) +;; Copy a jolt string's UTF-8 bytes into a freshly alloc'd NUL-terminated buffer; +;; the caller frees it. Returns the pointer. +(define (ffi-string->ptr s) + (let* ((bv (string->utf8 (jolt-str-render-one s))) (n (bytevector-length bv)) + (p (foreign-alloc (+ n 1)))) + (do ((i 0 (+ i 1))) ((= i n)) (foreign-set! 'unsigned-8 p i (bytevector-u8-ref bv i))) + (foreign-set! 'unsigned-8 p n 0) + p)) + +;; --- expose under jolt.ffi --------------------------------------------------- +(def-var! "jolt.ffi" "load-library" ffi-load-library) +(def-var! "jolt.ffi" "loaded?" (lambda (n) (if (ffi-loaded? n) #t #f))) +(def-var! "jolt.ffi" "alloc" ffi-alloc) +(def-var! "jolt.ffi" "free" ffi-free) +(def-var! "jolt.ffi" "read" ffi-read) +(def-var! "jolt.ffi" "write" ffi-write) +(def-var! "jolt.ffi" "sizeof" ffi-sizeof) +(def-var! "jolt.ffi" "null?" (lambda (p) (if (ffi-null? p) #t #f))) +(def-var! "jolt.ffi" "null" ffi-null) +(def-var! "jolt.ffi" "ptr->string" ffi-ptr->string) +(def-var! "jolt.ffi" "string->ptr" ffi-string->ptr) diff --git a/host/chez/seed/image.ss b/host/chez/seed/image.ss index e5e5033..7a63be8 100644 --- a/host/chez/seed/image.ss +++ b/host/chez/seed/image.ss @@ -1,109 +1,111 @@ (guard (e (#t #f)) - (def-var! "jolt.ir" "const" (letrec ((const (lambda (v) (let fnrec3450 ((v v)) (let* ((_o$3451 (keyword #f "op")) (_o$3452 (keyword #f "const")) (_o$3453 (keyword #f "val")) (_o$3454 v)) (jolt-hash-map _o$3451 _o$3452 _o$3453 _o$3454)))))) const))) + (def-var! "jolt.ir" "const" (letrec ((const (lambda (v) (let fnrec3502 ((v v)) (let* ((_o$3503 (keyword #f "op")) (_o$3504 (keyword #f "const")) (_o$3505 (keyword #f "val")) (_o$3506 v)) (jolt-hash-map _o$3503 _o$3504 _o$3505 _o$3506)))))) const))) (guard (e (#t #f)) - (def-var! "jolt.ir" "local" (letrec ((local (lambda (name) (let fnrec3455 ((name name)) (let* ((_o$3456 (keyword #f "op")) (_o$3457 (keyword #f "local")) (_o$3458 (keyword #f "name")) (_o$3459 name)) (jolt-hash-map _o$3456 _o$3457 _o$3458 _o$3459)))))) local))) + (def-var! "jolt.ir" "local" (letrec ((local (lambda (name) (let fnrec3507 ((name name)) (let* ((_o$3508 (keyword #f "op")) (_o$3509 (keyword #f "local")) (_o$3510 (keyword #f "name")) (_o$3511 name)) (jolt-hash-map _o$3508 _o$3509 _o$3510 _o$3511)))))) local))) (guard (e (#t #f)) - (def-var! "jolt.ir" "var-ref" (letrec ((var-ref (lambda (ns name) (let fnrec3460 ((ns ns) (name name)) (let* ((_o$3461 (keyword #f "op")) (_o$3462 (keyword #f "var")) (_o$3463 (keyword #f "ns")) (_o$3464 ns) (_o$3465 (keyword #f "name")) (_o$3466 name)) (jolt-hash-map _o$3461 _o$3462 _o$3463 _o$3464 _o$3465 _o$3466)))))) var-ref))) + (def-var! "jolt.ir" "var-ref" (letrec ((var-ref (lambda (ns name) (let fnrec3512 ((ns ns) (name name)) (let* ((_o$3513 (keyword #f "op")) (_o$3514 (keyword #f "var")) (_o$3515 (keyword #f "ns")) (_o$3516 ns) (_o$3517 (keyword #f "name")) (_o$3518 name)) (jolt-hash-map _o$3513 _o$3514 _o$3515 _o$3516 _o$3517 _o$3518)))))) var-ref))) (guard (e (#t #f)) - (def-var! "jolt.ir" "the-var" (letrec ((the-var (lambda (ns name) (let fnrec3467 ((ns ns) (name name)) (let* ((_o$3468 (keyword #f "op")) (_o$3469 (keyword #f "the-var")) (_o$3470 (keyword #f "ns")) (_o$3471 ns) (_o$3472 (keyword #f "name")) (_o$3473 name)) (jolt-hash-map _o$3468 _o$3469 _o$3470 _o$3471 _o$3472 _o$3473)))))) the-var))) + (def-var! "jolt.ir" "the-var" (letrec ((the-var (lambda (ns name) (let fnrec3519 ((ns ns) (name name)) (let* ((_o$3520 (keyword #f "op")) (_o$3521 (keyword #f "the-var")) (_o$3522 (keyword #f "ns")) (_o$3523 ns) (_o$3524 (keyword #f "name")) (_o$3525 name)) (jolt-hash-map _o$3520 _o$3521 _o$3522 _o$3523 _o$3524 _o$3525)))))) the-var))) (guard (e (#t #f)) - (def-var! "jolt.ir" "rt" (letrec ((rt (lambda (name) (let fnrec3474 ((name name)) (let* ((_o$3475 (keyword #f "op")) (_o$3476 (keyword #f "rt")) (_o$3477 (keyword #f "name")) (_o$3478 name)) (jolt-hash-map _o$3475 _o$3476 _o$3477 _o$3478)))))) rt))) + (def-var! "jolt.ir" "rt" (letrec ((rt (lambda (name) (let fnrec3526 ((name name)) (let* ((_o$3527 (keyword #f "op")) (_o$3528 (keyword #f "rt")) (_o$3529 (keyword #f "name")) (_o$3530 name)) (jolt-hash-map _o$3527 _o$3528 _o$3529 _o$3530)))))) rt))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-ref" (letrec ((host-ref (lambda (name) (let fnrec3479 ((name name)) (let* ((_o$3480 (keyword #f "op")) (_o$3481 (keyword #f "host")) (_o$3482 (keyword #f "name")) (_o$3483 name)) (jolt-hash-map _o$3480 _o$3481 _o$3482 _o$3483)))))) host-ref))) + (def-var! "jolt.ir" "host-ref" (letrec ((host-ref (lambda (name) (let fnrec3531 ((name name)) (let* ((_o$3532 (keyword #f "op")) (_o$3533 (keyword #f "host")) (_o$3534 (keyword #f "name")) (_o$3535 name)) (jolt-hash-map _o$3532 _o$3533 _o$3534 _o$3535)))))) host-ref))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-static" (letrec ((host-static (lambda (class member) (let fnrec3484 ((class class) (member member)) (let* ((_o$3485 (keyword #f "op")) (_o$3486 (keyword #f "host-static")) (_o$3487 (keyword #f "class")) (_o$3488 class) (_o$3489 (keyword #f "member")) (_o$3490 member)) (jolt-hash-map _o$3485 _o$3486 _o$3487 _o$3488 _o$3489 _o$3490)))))) host-static))) + (def-var! "jolt.ir" "host-static" (letrec ((host-static (lambda (class member) (let fnrec3536 ((class class) (member member)) (let* ((_o$3537 (keyword #f "op")) (_o$3538 (keyword #f "host-static")) (_o$3539 (keyword #f "class")) (_o$3540 class) (_o$3541 (keyword #f "member")) (_o$3542 member)) (jolt-hash-map _o$3537 _o$3538 _o$3539 _o$3540 _o$3541 _o$3542)))))) host-static))) (guard (e (#t #f)) - (def-var! "jolt.ir" "host-new" (letrec ((host-new (lambda (class args) (let fnrec3491 ((class class) (args args)) (let* ((_o$3492 (keyword #f "op")) (_o$3493 (keyword #f "host-new")) (_o$3494 (keyword #f "class")) (_o$3495 class) (_o$3496 (keyword #f "args")) (_o$3497 args)) (jolt-hash-map _o$3492 _o$3493 _o$3494 _o$3495 _o$3496 _o$3497)))))) host-new))) + (def-var! "jolt.ir" "host-new" (letrec ((host-new (lambda (class args) (let fnrec3543 ((class class) (args args)) (let* ((_o$3544 (keyword #f "op")) (_o$3545 (keyword #f "host-new")) (_o$3546 (keyword #f "class")) (_o$3547 class) (_o$3548 (keyword #f "args")) (_o$3549 args)) (jolt-hash-map _o$3544 _o$3545 _o$3546 _o$3547 _o$3548 _o$3549)))))) host-new))) (guard (e (#t #f)) - (def-var! "jolt.ir" "if-node" (letrec ((if-node (lambda (test then _else) (let fnrec3498 ((test test) (then then) (_else _else)) (let* ((_o$3499 (keyword #f "op")) (_o$3500 (keyword #f "if")) (_o$3501 (keyword #f "test")) (_o$3502 test) (_o$3503 (keyword #f "then")) (_o$3504 then) (_o$3505 (keyword #f "else")) (_o$3506 _else)) (jolt-hash-map _o$3499 _o$3500 _o$3501 _o$3502 _o$3503 _o$3504 _o$3505 _o$3506)))))) if-node))) + (def-var! "jolt.ir" "if-node" (letrec ((if-node (lambda (test then _else) (let fnrec3550 ((test test) (then then) (_else _else)) (let* ((_o$3551 (keyword #f "op")) (_o$3552 (keyword #f "if")) (_o$3553 (keyword #f "test")) (_o$3554 test) (_o$3555 (keyword #f "then")) (_o$3556 then) (_o$3557 (keyword #f "else")) (_o$3558 _else)) (jolt-hash-map _o$3551 _o$3552 _o$3553 _o$3554 _o$3555 _o$3556 _o$3557 _o$3558)))))) if-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "do-node" (letrec ((do-node (lambda (statements ret) (let fnrec3507 ((statements statements) (ret ret)) (let* ((_o$3508 (keyword #f "op")) (_o$3509 (keyword #f "do")) (_o$3510 (keyword #f "statements")) (_o$3511 statements) (_o$3512 (keyword #f "ret")) (_o$3513 ret)) (jolt-hash-map _o$3508 _o$3509 _o$3510 _o$3511 _o$3512 _o$3513)))))) do-node))) + (def-var! "jolt.ir" "do-node" (letrec ((do-node (lambda (statements ret) (let fnrec3559 ((statements statements) (ret ret)) (let* ((_o$3560 (keyword #f "op")) (_o$3561 (keyword #f "do")) (_o$3562 (keyword #f "statements")) (_o$3563 statements) (_o$3564 (keyword #f "ret")) (_o$3565 ret)) (jolt-hash-map _o$3560 _o$3561 _o$3562 _o$3563 _o$3564 _o$3565)))))) do-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "invoke" (letrec ((invoke (lambda (f args) (let fnrec3514 ((f f) (args args)) (let* ((_o$3515 (keyword #f "op")) (_o$3516 (keyword #f "invoke")) (_o$3517 (keyword #f "fn")) (_o$3518 f) (_o$3519 (keyword #f "args")) (_o$3520 args)) (jolt-hash-map _o$3515 _o$3516 _o$3517 _o$3518 _o$3519 _o$3520)))))) invoke))) + (def-var! "jolt.ir" "invoke" (letrec ((invoke (lambda (f args) (let fnrec3566 ((f f) (args args)) (let* ((_o$3567 (keyword #f "op")) (_o$3568 (keyword #f "invoke")) (_o$3569 (keyword #f "fn")) (_o$3570 f) (_o$3571 (keyword #f "args")) (_o$3572 args)) (jolt-hash-map _o$3567 _o$3568 _o$3569 _o$3570 _o$3571 _o$3572)))))) invoke))) (guard (e (#t #f)) - (def-var! "jolt.ir" "def-node" (letrec ((def-node (case-lambda ((ns name init) (let fnrec3521 ((ns ns) (name name) (init init)) (let* ((_o$3522 (keyword #f "op")) (_o$3523 (keyword #f "def")) (_o$3524 (keyword #f "ns")) (_o$3525 ns) (_o$3526 (keyword #f "name")) (_o$3527 name) (_o$3528 (keyword #f "init")) (_o$3529 init)) (jolt-hash-map _o$3522 _o$3523 _o$3524 _o$3525 _o$3526 _o$3527 _o$3528 _o$3529)))) ((ns name init meta) (let fnrec3530 ((ns ns) (name name) (init init) (meta meta)) (if (jolt-truthy? meta) (let* ((_o$3531 (keyword #f "op")) (_o$3532 (keyword #f "def")) (_o$3533 (keyword #f "ns")) (_o$3534 ns) (_o$3535 (keyword #f "name")) (_o$3536 name) (_o$3537 (keyword #f "init")) (_o$3538 init) (_o$3539 (keyword #f "meta")) (_o$3540 meta)) (jolt-hash-map _o$3531 _o$3532 _o$3533 _o$3534 _o$3535 _o$3536 _o$3537 _o$3538 _o$3539 _o$3540)) (let* ((_o$3541 (keyword #f "op")) (_o$3542 (keyword #f "def")) (_o$3543 (keyword #f "ns")) (_o$3544 ns) (_o$3545 (keyword #f "name")) (_o$3546 name) (_o$3547 (keyword #f "init")) (_o$3548 init)) (jolt-hash-map _o$3541 _o$3542 _o$3543 _o$3544 _o$3545 _o$3546 _o$3547 _o$3548)))))))) def-node))) + (def-var! "jolt.ir" "def-node" (letrec ((def-node (case-lambda ((ns name init) (let fnrec3573 ((ns ns) (name name) (init init)) (let* ((_o$3574 (keyword #f "op")) (_o$3575 (keyword #f "def")) (_o$3576 (keyword #f "ns")) (_o$3577 ns) (_o$3578 (keyword #f "name")) (_o$3579 name) (_o$3580 (keyword #f "init")) (_o$3581 init)) (jolt-hash-map _o$3574 _o$3575 _o$3576 _o$3577 _o$3578 _o$3579 _o$3580 _o$3581)))) ((ns name init meta) (let fnrec3582 ((ns ns) (name name) (init init) (meta meta)) (if (jolt-truthy? meta) (let* ((_o$3583 (keyword #f "op")) (_o$3584 (keyword #f "def")) (_o$3585 (keyword #f "ns")) (_o$3586 ns) (_o$3587 (keyword #f "name")) (_o$3588 name) (_o$3589 (keyword #f "init")) (_o$3590 init) (_o$3591 (keyword #f "meta")) (_o$3592 meta)) (jolt-hash-map _o$3583 _o$3584 _o$3585 _o$3586 _o$3587 _o$3588 _o$3589 _o$3590 _o$3591 _o$3592)) (let* ((_o$3593 (keyword #f "op")) (_o$3594 (keyword #f "def")) (_o$3595 (keyword #f "ns")) (_o$3596 ns) (_o$3597 (keyword #f "name")) (_o$3598 name) (_o$3599 (keyword #f "init")) (_o$3600 init)) (jolt-hash-map _o$3593 _o$3594 _o$3595 _o$3596 _o$3597 _o$3598 _o$3599 _o$3600)))))))) def-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "let-node" (letrec ((let-node (lambda (bindings body) (let fnrec3549 ((bindings bindings) (body body)) (let* ((_o$3550 (keyword #f "op")) (_o$3551 (keyword #f "let")) (_o$3552 (keyword #f "bindings")) (_o$3553 bindings) (_o$3554 (keyword #f "body")) (_o$3555 body)) (jolt-hash-map _o$3550 _o$3551 _o$3552 _o$3553 _o$3554 _o$3555)))))) let-node))) + (def-var! "jolt.ir" "let-node" (letrec ((let-node (lambda (bindings body) (let fnrec3601 ((bindings bindings) (body body)) (let* ((_o$3602 (keyword #f "op")) (_o$3603 (keyword #f "let")) (_o$3604 (keyword #f "bindings")) (_o$3605 bindings) (_o$3606 (keyword #f "body")) (_o$3607 body)) (jolt-hash-map _o$3602 _o$3603 _o$3604 _o$3605 _o$3606 _o$3607)))))) let-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "fn-node" (letrec ((fn-node (lambda (name arities) (let fnrec3556 ((name name) (arities arities)) (if (jolt-truthy? name) (let* ((_o$3557 (keyword #f "op")) (_o$3558 (keyword #f "fn")) (_o$3559 (keyword #f "name")) (_o$3560 name) (_o$3561 (keyword #f "arities")) (_o$3562 arities)) (jolt-hash-map _o$3557 _o$3558 _o$3559 _o$3560 _o$3561 _o$3562)) (let* ((_o$3563 (keyword #f "op")) (_o$3564 (keyword #f "fn")) (_o$3565 (keyword #f "arities")) (_o$3566 arities)) (jolt-hash-map _o$3563 _o$3564 _o$3565 _o$3566))))))) fn-node))) + (def-var! "jolt.ir" "fn-node" (letrec ((fn-node (lambda (name arities) (let fnrec3608 ((name name) (arities arities)) (if (jolt-truthy? name) (let* ((_o$3609 (keyword #f "op")) (_o$3610 (keyword #f "fn")) (_o$3611 (keyword #f "name")) (_o$3612 name) (_o$3613 (keyword #f "arities")) (_o$3614 arities)) (jolt-hash-map _o$3609 _o$3610 _o$3611 _o$3612 _o$3613 _o$3614)) (let* ((_o$3615 (keyword #f "op")) (_o$3616 (keyword #f "fn")) (_o$3617 (keyword #f "arities")) (_o$3618 arities)) (jolt-hash-map _o$3615 _o$3616 _o$3617 _o$3618))))))) fn-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "vector-node" (letrec ((vector-node (lambda (items) (let fnrec3567 ((items items)) (let* ((_o$3568 (keyword #f "op")) (_o$3569 (keyword #f "vector")) (_o$3570 (keyword #f "items")) (_o$3571 items)) (jolt-hash-map _o$3568 _o$3569 _o$3570 _o$3571)))))) vector-node))) + (def-var! "jolt.ir" "vector-node" (letrec ((vector-node (lambda (items) (let fnrec3619 ((items items)) (let* ((_o$3620 (keyword #f "op")) (_o$3621 (keyword #f "vector")) (_o$3622 (keyword #f "items")) (_o$3623 items)) (jolt-hash-map _o$3620 _o$3621 _o$3622 _o$3623)))))) vector-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "map-node" (letrec ((map-node (lambda (pairs) (let fnrec3572 ((pairs pairs)) (let* ((_o$3573 (keyword #f "op")) (_o$3574 (keyword #f "map")) (_o$3575 (keyword #f "pairs")) (_o$3576 pairs)) (jolt-hash-map _o$3573 _o$3574 _o$3575 _o$3576)))))) map-node))) + (def-var! "jolt.ir" "map-node" (letrec ((map-node (lambda (pairs) (let fnrec3624 ((pairs pairs)) (let* ((_o$3625 (keyword #f "op")) (_o$3626 (keyword #f "map")) (_o$3627 (keyword #f "pairs")) (_o$3628 pairs)) (jolt-hash-map _o$3625 _o$3626 _o$3627 _o$3628)))))) map-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "set-node" (letrec ((set-node (lambda (items) (let fnrec3577 ((items items)) (let* ((_o$3578 (keyword #f "op")) (_o$3579 (keyword #f "set")) (_o$3580 (keyword #f "items")) (_o$3581 items)) (jolt-hash-map _o$3578 _o$3579 _o$3580 _o$3581)))))) set-node))) + (def-var! "jolt.ir" "set-node" (letrec ((set-node (lambda (items) (let fnrec3629 ((items items)) (let* ((_o$3630 (keyword #f "op")) (_o$3631 (keyword #f "set")) (_o$3632 (keyword #f "items")) (_o$3633 items)) (jolt-hash-map _o$3630 _o$3631 _o$3632 _o$3633)))))) set-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "quote-node" (letrec ((quote-node (lambda (form) (let fnrec3582 ((form form)) (let* ((_o$3583 (keyword #f "op")) (_o$3584 (keyword #f "quote")) (_o$3585 (keyword #f "form")) (_o$3586 form)) (jolt-hash-map _o$3583 _o$3584 _o$3585 _o$3586)))))) quote-node))) + (def-var! "jolt.ir" "quote-node" (letrec ((quote-node (lambda (form) (let fnrec3634 ((form form)) (let* ((_o$3635 (keyword #f "op")) (_o$3636 (keyword #f "quote")) (_o$3637 (keyword #f "form")) (_o$3638 form)) (jolt-hash-map _o$3635 _o$3636 _o$3637 _o$3638)))))) quote-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "throw-node" (letrec ((throw-node (lambda (expr) (let fnrec3587 ((expr expr)) (let* ((_o$3588 (keyword #f "op")) (_o$3589 (keyword #f "throw")) (_o$3590 (keyword #f "expr")) (_o$3591 expr)) (jolt-hash-map _o$3588 _o$3589 _o$3590 _o$3591)))))) throw-node))) + (def-var! "jolt.ir" "throw-node" (letrec ((throw-node (lambda (expr) (let fnrec3639 ((expr expr)) (let* ((_o$3640 (keyword #f "op")) (_o$3641 (keyword #f "throw")) (_o$3642 (keyword #f "expr")) (_o$3643 expr)) (jolt-hash-map _o$3640 _o$3641 _o$3642 _o$3643)))))) throw-node))) (guard (e (#t #f)) - (def-var! "jolt.ir" "op" (letrec ((op (lambda (node) (let fnrec3592 ((node node)) (jolt-get node (keyword #f "op")))))) op))) + (def-var! "jolt.ir" "op" (letrec ((op (lambda (node) (let fnrec3644 ((node node)) (jolt-get node (keyword #f "op")))))) op))) (guard (e (#t #f)) - (def-var! "jolt.ir" "map-ir-children" (letrec ((map-ir-children (lambda (f node) (let fnrec3593 ((f f) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$3594 node) (_a$3595 (keyword #f "test")) (_a$3596 (jolt-invoke f (jolt-get node (keyword #f "test")))) (_a$3597 (keyword #f "then")) (_a$3598 (jolt-invoke f (jolt-get node (keyword #f "then")))) (_a$3599 (keyword #f "else")) (_a$3600 (jolt-invoke f (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$3594 _a$3595 _a$3596 _a$3597 _a$3598 _a$3599 _a$3600)) (if (jolt= op (keyword #f "do")) (let* ((_a$3601 node) (_a$3602 (keyword #f "statements")) (_a$3603 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "statements")))) (_a$3604 (keyword #f "ret")) (_a$3605 (jolt-invoke f (jolt-get node (keyword #f "ret"))))) (jolt-assoc _a$3601 _a$3602 _a$3603 _a$3604 _a$3605)) (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 "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$3606 node) (_a$3607 (keyword #f "obj")) (_a$3608 (jolt-invoke f (jolt-get node (keyword #f "obj")))) (_a$3609 (keyword #f "val")) (_a$3610 (jolt-invoke f (jolt-get node (keyword #f "val"))))) (jolt-assoc _a$3606 _a$3607 _a$3608 _a$3609 _a$3610)) (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 "invoke")) (let* ((_a$3611 node) (_a$3612 (keyword #f "fn")) (_a$3613 (jolt-invoke f (jolt-get node (keyword #f "fn")))) (_a$3614 (keyword #f "args")) (_a$3615 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$3611 _a$3612 _a$3613 _a$3614 _a$3615)) (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$3619 (var-deref "clojure.core" "mapv")) (_a$3620 (lambda (pr) (let fnrec3616 ((pr pr)) (let* ((_o$3617 (jolt-invoke f (jolt-nth pr 0))) (_o$3618 (jolt-invoke f (jolt-nth pr 1)))) (jolt-vector _o$3617 _o$3618))))) (_a$3621 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$3619 _a$3620 _a$3621))) (if (jolt= op (keyword #f "let")) (let* ((_a$3628 node) (_a$3629 (keyword #f "bindings")) (_a$3630 (let* ((_a$3625 (var-deref "clojure.core" "mapv")) (_a$3626 (lambda (b) (let fnrec3622 ((b b)) (let* ((_o$3623 (jolt-nth b 0)) (_o$3624 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$3623 _o$3624))))) (_a$3627 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$3625 _a$3626 _a$3627))) (_a$3631 (keyword #f "body")) (_a$3632 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$3628 _a$3629 _a$3630 _a$3631 _a$3632)) (if (jolt= op (keyword #f "loop")) (let* ((_a$3639 node) (_a$3640 (keyword #f "bindings")) (_a$3641 (let* ((_a$3636 (var-deref "clojure.core" "mapv")) (_a$3637 (lambda (b) (let fnrec3633 ((b b)) (let* ((_o$3634 (jolt-nth b 0)) (_o$3635 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$3634 _o$3635))))) (_a$3638 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$3636 _a$3637 _a$3638))) (_a$3642 (keyword #f "body")) (_a$3643 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$3639 _a$3640 _a$3641 _a$3642 _a$3643)) (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$3645 (var-deref "clojure.core" "mapv")) (_a$3646 (lambda (a) (let fnrec3644 ((a a)) (jolt-assoc a (keyword #f "body") (jolt-invoke f (jolt-get a (keyword #f "body"))))))) (_a$3647 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$3645 _a$3646 _a$3647))) (if (jolt= op (keyword #f "def")) (jolt-assoc node (keyword #f "init") (jolt-invoke f (jolt-get node (keyword #f "init")))) (if (jolt= op (keyword #f "host-call")) (let* ((_a$3648 node) (_a$3649 (keyword #f "target")) (_a$3650 (jolt-invoke f (jolt-get node (keyword #f "target")))) (_a$3651 (keyword #f "args")) (_a$3652 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$3648 _a$3649 _a$3650 _a$3651 _a$3652)) (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 fnrec3645 ((f f) (node node)) (let* ((op (jolt-get node (keyword #f "op")))) (if (jolt= op (keyword #f "if")) (let* ((_a$3646 node) (_a$3647 (keyword #f "test")) (_a$3648 (jolt-invoke f (jolt-get node (keyword #f "test")))) (_a$3649 (keyword #f "then")) (_a$3650 (jolt-invoke f (jolt-get node (keyword #f "then")))) (_a$3651 (keyword #f "else")) (_a$3652 (jolt-invoke f (jolt-get node (keyword #f "else"))))) (jolt-assoc _a$3646 _a$3647 _a$3648 _a$3649 _a$3650 _a$3651 _a$3652)) (if (jolt= op (keyword #f "do")) (let* ((_a$3653 node) (_a$3654 (keyword #f "statements")) (_a$3655 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "statements")))) (_a$3656 (keyword #f "ret")) (_a$3657 (jolt-invoke f (jolt-get node (keyword #f "ret"))))) (jolt-assoc _a$3653 _a$3654 _a$3655 _a$3656 _a$3657)) (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 "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$3658 node) (_a$3659 (keyword #f "obj")) (_a$3660 (jolt-invoke f (jolt-get node (keyword #f "obj")))) (_a$3661 (keyword #f "val")) (_a$3662 (jolt-invoke f (jolt-get node (keyword #f "val"))))) (jolt-assoc _a$3658 _a$3659 _a$3660 _a$3661 _a$3662)) (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 "invoke")) (let* ((_a$3663 node) (_a$3664 (keyword #f "fn")) (_a$3665 (jolt-invoke f (jolt-get node (keyword #f "fn")))) (_a$3666 (keyword #f "args")) (_a$3667 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$3663 _a$3664 _a$3665 _a$3666 _a$3667)) (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$3671 (var-deref "clojure.core" "mapv")) (_a$3672 (lambda (pr) (let fnrec3668 ((pr pr)) (let* ((_o$3669 (jolt-invoke f (jolt-nth pr 0))) (_o$3670 (jolt-invoke f (jolt-nth pr 1)))) (jolt-vector _o$3669 _o$3670))))) (_a$3673 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$3671 _a$3672 _a$3673))) (if (jolt= op (keyword #f "let")) (let* ((_a$3680 node) (_a$3681 (keyword #f "bindings")) (_a$3682 (let* ((_a$3677 (var-deref "clojure.core" "mapv")) (_a$3678 (lambda (b) (let fnrec3674 ((b b)) (let* ((_o$3675 (jolt-nth b 0)) (_o$3676 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$3675 _o$3676))))) (_a$3679 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$3677 _a$3678 _a$3679))) (_a$3683 (keyword #f "body")) (_a$3684 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$3680 _a$3681 _a$3682 _a$3683 _a$3684)) (if (jolt= op (keyword #f "loop")) (let* ((_a$3691 node) (_a$3692 (keyword #f "bindings")) (_a$3693 (let* ((_a$3688 (var-deref "clojure.core" "mapv")) (_a$3689 (lambda (b) (let fnrec3685 ((b b)) (let* ((_o$3686 (jolt-nth b 0)) (_o$3687 (jolt-invoke f (jolt-nth b 1)))) (jolt-vector _o$3686 _o$3687))))) (_a$3690 (jolt-get node (keyword #f "bindings")))) (jolt-invoke _a$3688 _a$3689 _a$3690))) (_a$3694 (keyword #f "body")) (_a$3695 (jolt-invoke f (jolt-get node (keyword #f "body"))))) (jolt-assoc _a$3691 _a$3692 _a$3693 _a$3694 _a$3695)) (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$3697 (var-deref "clojure.core" "mapv")) (_a$3698 (lambda (a) (let fnrec3696 ((a a)) (jolt-assoc a (keyword #f "body") (jolt-invoke f (jolt-get a (keyword #f "body"))))))) (_a$3699 (jolt-get node (keyword #f "arities")))) (jolt-invoke _a$3697 _a$3698 _a$3699))) (if (jolt= op (keyword #f "def")) (jolt-assoc node (keyword #f "init") (jolt-invoke f (jolt-get node (keyword #f "init")))) (if (jolt= op (keyword #f "host-call")) (let* ((_a$3700 node) (_a$3701 (keyword #f "target")) (_a$3702 (jolt-invoke f (jolt-get node (keyword #f "target")))) (_a$3703 (keyword #f "args")) (_a$3704 (jolt-invoke (var-deref "clojure.core" "mapv") f (jolt-get node (keyword #f "args"))))) (jolt-assoc _a$3700 _a$3701 _a$3702 _a$3703 _a$3704)) (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)) (declare-var! "jolt.analyzer" "analyze")) (guard (e (#t #f)) - (def-var-with-meta! "jolt.analyzer" "handled" (let* ((_o$3653 "quote") (_o$3654 "if") (_o$3655 "do") (_o$3656 "def") (_o$3657 "fn*") (_o$3658 "let*") (_o$3659 "loop*") (_o$3660 "recur") (_o$3661 "throw") (_o$3662 "try") (_o$3663 "syntax-quote") (_o$3664 "var") (_o$3665 "letfn") (_o$3666 "set!") (_o$3667 "defmacro")) (jolt-hash-set _o$3653 _o$3654 _o$3655 _o$3656 _o$3657 _o$3658 _o$3659 _o$3660 _o$3661 _o$3662 _o$3663 _o$3664 _o$3665 _o$3666 _o$3667)) (jolt-hash-map (keyword #f "private") #t))) + (def-var-with-meta! "jolt.analyzer" "handled" (let* ((_o$3705 "quote") (_o$3706 "if") (_o$3707 "do") (_o$3708 "def") (_o$3709 "fn*") (_o$3710 "let*") (_o$3711 "loop*") (_o$3712 "recur") (_o$3713 "throw") (_o$3714 "try") (_o$3715 "syntax-quote") (_o$3716 "var") (_o$3717 "letfn") (_o$3718 "set!") (_o$3719 "defmacro")) (jolt-hash-set _o$3705 _o$3706 _o$3707 _o$3708 _o$3709 _o$3710 _o$3711 _o$3712 _o$3713 _o$3714 _o$3715 _o$3716 _o$3717 _o$3718 _o$3719)) (jolt-hash-map (keyword #f "private") #t))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "uncompilable" (letrec ((uncompilable (lambda (why) (let fnrec3668 ((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 fnrec3720 ((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) (jolt-hash-map (keyword #f "private") #t))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "gen-name" (letrec ((gen-name (lambda (prefix) (let fnrec3669 ((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 fnrec3721 ((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 fnrec3670 () (let* ((_o$3671 (keyword #f "locals")) (_o$3672 (jolt-hash-set)) (_o$3673 (keyword #f "hints")) (_o$3674 (jolt-hash-map))) (jolt-hash-map _o$3671 _o$3672 _o$3673 _o$3674)))))) empty-env))) + (def-var! "jolt.analyzer" "empty-env" (letrec ((empty-env (lambda () (let fnrec3722 () (let* ((_o$3723 (keyword #f "locals")) (_o$3724 (jolt-hash-set)) (_o$3725 (keyword #f "hints")) (_o$3726 (jolt-hash-map))) (jolt-hash-map _o$3723 _o$3724 _o$3725 _o$3726)))))) empty-env))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "local?" (letrec ((local? (lambda (env nm) (let fnrec3675 ((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 fnrec3727 ((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 fnrec3676 ((env env) (names names)) (jolt-invoke (var-deref "clojure.core" "update") env (keyword #f "locals") (lambda (p__47_) (let fnrec3677 ((p__47_ p__47_)) (jolt-reduce jolt-conj p__47_ names)))))))) add-locals))) + (def-var! "jolt.analyzer" "add-locals" (letrec ((add-locals (lambda (env names) (let fnrec3728 ((env env) (names names)) (jolt-invoke (var-deref "clojure.core" "update") env (keyword #f "locals") (lambda (p__47_) (let fnrec3729 ((p__47_ p__47_)) (jolt-reduce jolt-conj p__47_ names)))))))) add-locals))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "with-recur" (letrec ((with-recur (lambda (env name) (let fnrec3678 ((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 fnrec3730 ((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 fnrec3679 ((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__13__auto t)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "record-type?") ctx t) and__13__auto))) (keyword #f "struct") jolt-nil)) jolt-nil)))))))) hint-of))) + (def-var! "jolt.analyzer" "hint-of" (letrec ((hint-of (lambda (ctx sym) (let fnrec3731 ((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__13__auto t)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "record-type?") ctx t) and__13__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 fnrec3680 ((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 fnrec3732 ((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 fnrec3681 ((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 fnrec3733 ((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" "analyze-seq" (letrec ((analyze-seq (lambda (ctx forms env) (let fnrec3682 ((ctx ctx) (forms forms) (env env)) (let* ((v (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__48_) (let fnrec3683 ((p__48_ p__48_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__48_ 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$3684 (var-deref "jolt.ir" "do-node")) (_a$3685 (jolt-invoke (var-deref "clojure.core" "subvec") v 0 (jolt-dec n))) (_a$3686 (jolt-peek v))) (jolt-invoke _a$3684 _a$3685 _a$3686)) jolt-nil)))))))) analyze-seq))) + (def-var! "jolt.analyzer" "analyze-seq" (letrec ((analyze-seq (lambda (ctx forms env) (let fnrec3734 ((ctx ctx) (forms forms) (env env)) (let* ((v (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (p__48_) (let fnrec3735 ((p__48_ p__48_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__48_ 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$3736 (var-deref "jolt.ir" "do-node")) (_a$3737 (jolt-invoke (var-deref "clojure.core" "subvec") v 0 (jolt-dec n))) (_a$3738 (jolt-peek v))) (jolt-invoke _a$3736 _a$3737 _a$3738)) jolt-nil)))))))) analyze-seq))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-bindings" (letrec ((analyze-bindings (lambda (ctx bvec env) (let fnrec3687 ((ctx ctx) (bvec bvec) (env env)) (let* ((i 0) (env env) (pairs (jolt-vector))) (let loop3688 ((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$3695 (+ i 2)) (_a$3696 (let* ((_a$3689 (var-deref "jolt.analyzer" "add-hint")) (_a$3690 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector nm))) (_a$3691 nm) (_a$3692 (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx bsym))) (jolt-invoke _a$3689 _a$3690 _a$3691 _a$3692))) (_a$3697 (jolt-conj pairs (let* ((_o$3693 nm) (_o$3694 init)) (jolt-vector _o$3693 _o$3694))))) (loop3688 _a$3695 _a$3696 _a$3697))))) (let* ((_o$3698 pairs) (_o$3699 env)) (jolt-vector _o$3698 _o$3699))))))))) analyze-bindings))) + (def-var! "jolt.analyzer" "analyze-bindings" (letrec ((analyze-bindings (lambda (ctx bvec env) (let fnrec3739 ((ctx ctx) (bvec bvec) (env env)) (let* ((i 0) (env env) (pairs (jolt-vector))) (let loop3740 ((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$3747 (+ i 2)) (_a$3748 (let* ((_a$3741 (var-deref "jolt.analyzer" "add-hint")) (_a$3742 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector nm))) (_a$3743 nm) (_a$3744 (jolt-invoke (var-deref "jolt.analyzer" "hint-of") ctx bsym))) (jolt-invoke _a$3741 _a$3742 _a$3743 _a$3744))) (_a$3749 (jolt-conj pairs (let* ((_o$3745 nm) (_o$3746 init)) (jolt-vector _o$3745 _o$3746))))) (loop3740 _a$3747 _a$3748 _a$3749))))) (let* ((_o$3750 pairs) (_o$3751 env)) (jolt-vector _o$3750 _o$3751))))))))) analyze-bindings))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "parse-params" (letrec ((parse-params (lambda (ctx pvec) (let fnrec3700 ((ctx ctx) (pvec pvec)) (let* ((i 0) (fixed (jolt-vector)) (rest-name jolt-nil) (hints (jolt-vector)) (phints (jolt-vector))) (let loop3701 ((i i) (fixed fixed) (rest-name rest-name) (hints hints) (phints phints)) (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$3702 (+ i 2)) (_a$3703 fixed) (_a$3704 (jolt-invoke (var-deref "jolt.host" "form-sym-name") r)) (_a$3705 hints) (_a$3706 phints)) (loop3701 _a$3702 _a$3703 _a$3704 _a$3705 _a$3706)))) (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))) (let* ((_a$3711 (jolt-inc i)) (_a$3712 (jolt-conj fixed nm)) (_a$3713 rest-name) (_a$3714 (if (jolt-truthy? h) (jolt-conj hints (let* ((_o$3707 nm) (_o$3708 h)) (jolt-vector _o$3707 _o$3708))) hints)) (_a$3715 (if (jolt-truthy? ph) (jolt-conj phints (let* ((_o$3709 nm) (_o$3710 ph)) (jolt-vector _o$3709 _o$3710))) phints))) (loop3701 _a$3711 _a$3712 _a$3713 _a$3714 _a$3715)))))) (let* ((_o$3716 (keyword #f "fixed")) (_o$3717 fixed) (_o$3718 (keyword #f "rest")) (_o$3719 rest-name) (_o$3720 (keyword #f "hints")) (_o$3721 hints) (_o$3722 (keyword #f "phints")) (_o$3723 phints)) (jolt-hash-map _o$3716 _o$3717 _o$3718 _o$3719 _o$3720 _o$3721 _o$3722 _o$3723))))))))) parse-params))) + (def-var! "jolt.analyzer" "parse-params" (letrec ((parse-params (lambda (ctx pvec) (let fnrec3752 ((ctx ctx) (pvec pvec)) (let* ((i 0) (fixed (jolt-vector)) (rest-name jolt-nil) (hints (jolt-vector)) (phints (jolt-vector))) (let loop3753 ((i i) (fixed fixed) (rest-name rest-name) (hints hints) (phints phints)) (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$3754 (+ i 2)) (_a$3755 fixed) (_a$3756 (jolt-invoke (var-deref "jolt.host" "form-sym-name") r)) (_a$3757 hints) (_a$3758 phints)) (loop3753 _a$3754 _a$3755 _a$3756 _a$3757 _a$3758)))) (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))) (let* ((_a$3763 (jolt-inc i)) (_a$3764 (jolt-conj fixed nm)) (_a$3765 rest-name) (_a$3766 (if (jolt-truthy? h) (jolt-conj hints (let* ((_o$3759 nm) (_o$3760 h)) (jolt-vector _o$3759 _o$3760))) hints)) (_a$3767 (if (jolt-truthy? ph) (jolt-conj phints (let* ((_o$3761 nm) (_o$3762 ph)) (jolt-vector _o$3761 _o$3762))) phints))) (loop3753 _a$3763 _a$3764 _a$3765 _a$3766 _a$3767)))))) (let* ((_o$3768 (keyword #f "fixed")) (_o$3769 fixed) (_o$3770 (keyword #f "rest")) (_o$3771 rest-name) (_o$3772 (keyword #f "hints")) (_o$3773 hints) (_o$3774 (keyword #f "phints")) (_o$3775 phints)) (jolt-hash-map _o$3768 _o$3769 _o$3770 _o$3771 _o$3772 _o$3773 _o$3774 _o$3775))))))))) parse-params))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "uniquify-params" (letrec ((uniquify-params (lambda (names) (let fnrec3724 ((names names)) (let* ((n (jolt-count names))) (let* ((i 0) (out (jolt-vector))) (let loop3725 ((i i) (out out)) (if (< i n) (let* ((nm (jolt-nth names i)) (dup? (let* ((j (jolt-inc i))) (let loop3726 ((j j)) (if (>= j n) #f (if (jolt= nm (jolt-nth names j)) #t (if (jolt-truthy? (keyword #f "else")) (loop3726 (jolt-inc j)) jolt-nil))))))) (let* ((_a$3727 (jolt-inc i)) (_a$3728 (jolt-conj out (if (jolt-truthy? dup?) (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (jolt-invoke (var-deref "clojure.core" "str") nm "_")) nm)))) (loop3725 _a$3727 _a$3728))) out)))))))) uniquify-params))) + (def-var! "jolt.analyzer" "uniquify-params" (letrec ((uniquify-params (lambda (names) (let fnrec3776 ((names names)) (let* ((n (jolt-count names))) (let* ((i 0) (out (jolt-vector))) (let loop3777 ((i i) (out out)) (if (< i n) (let* ((nm (jolt-nth names i)) (dup? (let* ((j (jolt-inc i))) (let loop3778 ((j j)) (if (>= j n) #f (if (jolt= nm (jolt-nth names j)) #t (if (jolt-truthy? (keyword #f "else")) (loop3778 (jolt-inc j)) jolt-nil))))))) (let* ((_a$3779 (jolt-inc i)) (_a$3780 (jolt-conj out (if (jolt-truthy? dup?) (jolt-invoke (var-deref "jolt.analyzer" "gen-name") (jolt-invoke (var-deref "clojure.core" "str") nm "_")) nm)))) (loop3777 _a$3779 _a$3780))) out)))))))) uniquify-params))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-arity" (letrec ((analyze-arity (lambda (ctx pvec body env fn-name) (let fnrec3729 ((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$3730 (var-deref "clojure.core" "str")) (_a$3731 (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (_a$3732 "/") (_a$3733 (let* ((or__14__auto fn-name)) (if (jolt-truthy? or__14__auto) or__14__auto "fn"))) (_a$3734 "--")) (jolt-invoke _a$3730 _a$3731 _a$3732 _a$3733 _a$3734)))) (names (let* ((G__40 (jolt-invoke (var-deref "clojure.core" "vec") fixed))) (let* ((G__41 (if (jolt-truthy? rst) (jolt-conj G__40 rst) G__40))) (let* ((G__42 (if (jolt-truthy? fn-name) (jolt-conj G__41 fn-name) G__41))) G__42)))) (env0 (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names) rname)) (env* (let* ((_a$3740 (lambda (e pr) (let fnrec3735 ((e e) (pr pr)) (let* ((_a$3736 (var-deref "jolt.analyzer" "add-hint")) (_a$3737 e) (_a$3738 (jolt-nth pr 0)) (_a$3739 (jolt-nth pr 1))) (jolt-invoke _a$3736 _a$3737 _a$3738 _a$3739))))) (_a$3741 env0) (_a$3742 (jolt-get pp (keyword #f "hints")))) (jolt-reduce _a$3740 _a$3741 _a$3742))) (arity (let* ((_o$3743 (keyword #f "params")) (_o$3744 fixed) (_o$3745 (keyword #f "recur-name")) (_o$3746 rname) (_o$3747 (keyword #f "body")) (_o$3748 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx body env*))) (jolt-hash-map _o$3743 _o$3744 _o$3745 _o$3746 _o$3747 _o$3748))) (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))) (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 fnrec3781 ((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$3782 (var-deref "clojure.core" "str")) (_a$3783 (jolt-invoke (var-deref "jolt.host" "compile-ns") ctx)) (_a$3784 "/") (_a$3785 (let* ((or__14__auto fn-name)) (if (jolt-truthy? or__14__auto) or__14__auto "fn"))) (_a$3786 "--")) (jolt-invoke _a$3782 _a$3783 _a$3784 _a$3785 _a$3786)))) (names (let* ((G__40 (jolt-invoke (var-deref "clojure.core" "vec") fixed))) (let* ((G__41 (if (jolt-truthy? rst) (jolt-conj G__40 rst) G__40))) (let* ((G__42 (if (jolt-truthy? fn-name) (jolt-conj G__41 fn-name) G__41))) G__42)))) (env0 (jolt-invoke (var-deref "jolt.analyzer" "with-recur") (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names) rname)) (env* (let* ((_a$3792 (lambda (e pr) (let fnrec3787 ((e e) (pr pr)) (let* ((_a$3788 (var-deref "jolt.analyzer" "add-hint")) (_a$3789 e) (_a$3790 (jolt-nth pr 0)) (_a$3791 (jolt-nth pr 1))) (jolt-invoke _a$3788 _a$3789 _a$3790 _a$3791))))) (_a$3793 env0) (_a$3794 (jolt-get pp (keyword #f "hints")))) (jolt-reduce _a$3792 _a$3793 _a$3794))) (arity (let* ((_o$3795 (keyword #f "params")) (_o$3796 fixed) (_o$3797 (keyword #f "recur-name")) (_o$3798 rname) (_o$3799 (keyword #f "body")) (_o$3800 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx body env*))) (jolt-hash-map _o$3795 _o$3796 _o$3797 _o$3798 _o$3799 _o$3800))) (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))) (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 fnrec3749 ((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__13__auto (jolt= 3 (jolt-count es)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first es)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "with-meta" (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first es))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-vec?") (jolt-nth es 1)) and__13__auto)) and__13__auto)) and__13__auto))) (jolt-nth es 1) form)) form))))) strip-arglist-meta))) + (def-var! "jolt.analyzer" "strip-arglist-meta" (letrec ((strip-arglist-meta (lambda (form) (let fnrec3801 ((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__13__auto (jolt= 3 (jolt-count es)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first es)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "with-meta" (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first es))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-vec?") (jolt-nth es 1)) and__13__auto)) and__13__auto)) and__13__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 fnrec3750 ((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 fnrec3751 ((clause clause)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") clause)))) (let* ((_a$3752 (var-deref "jolt.analyzer" "analyze-arity")) (_a$3753 ctx) (_a$3754 (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first cl))) (_a$3755 (jolt-rest cl)) (_a$3756 env) (_a$3757 fn-name)) (jolt-invoke _a$3752 _a$3753 _a$3754 _a$3755 _a$3756 _a$3757))))) 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 fnrec3802 ((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 fnrec3803 ((clause clause)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") clause)))) (let* ((_a$3804 (var-deref "jolt.analyzer" "analyze-arity")) (_a$3805 ctx) (_a$3806 (jolt-invoke (var-deref "jolt.analyzer" "strip-arglist-meta") (jolt-first cl))) (_a$3807 (jolt-rest cl)) (_a$3808 env) (_a$3809 fn-name)) (jolt-invoke _a$3804 _a$3805 _a$3806 _a$3807 _a$3808 _a$3809))))) 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! "jolt.analyzer" "analyze-try" (letrec ((analyze-try (lambda (ctx items env) (let fnrec3758 ((ctx ctx) (items items) (env env)) (let* ((clauses (jolt-rest items)) (body (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (catch-sym (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil)) (catch-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil)) (finally-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil))) (begin (begin (jolt-count (jolt-map (lambda (c) (let fnrec3759 ((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__13__auto head)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") head) and__13__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__14__auto (< (jolt-count cl) 3))) (if (jolt-truthy? or__14__auto) or__14__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" "reset!") catch-sym (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth cl 2))) (jolt-invoke (var-deref "clojure.core" "reset!") catch-body (jolt-drop 3 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$3760 (keyword #f "op")) (_o$3761 (keyword #f "try")) (_o$3762 (keyword #f "body")) (_o$3763 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") body) env))) (jolt-hash-map _o$3760 _o$3761 _o$3762 _o$3763))) (n (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "deref") catch-body)) (let* ((_a$3768 n) (_a$3769 (keyword #f "catch-sym")) (_a$3770 (jolt-invoke (var-deref "clojure.core" "deref") catch-sym)) (_a$3771 (keyword #f "catch-body")) (_a$3772 (let* ((_a$3764 (var-deref "jolt.analyzer" "analyze-seq")) (_a$3765 ctx) (_a$3766 (jolt-invoke (var-deref "clojure.core" "deref") catch-body)) (_a$3767 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector (jolt-invoke (var-deref "clojure.core" "deref") catch-sym))))) (jolt-invoke _a$3764 _a$3765 _a$3766 _a$3767)))) (jolt-assoc _a$3768 _a$3769 _a$3770 _a$3771 _a$3772)) 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 fnrec3810 ((ctx ctx) (items items) (env env)) (let* ((clauses (jolt-rest items)) (body (jolt-invoke (var-deref "clojure.core" "atom") (jolt-vector))) (catch-sym (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil)) (catch-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil)) (finally-body (jolt-invoke (var-deref "clojure.core" "atom") jolt-nil))) (begin (begin (jolt-count (jolt-map (lambda (c) (let fnrec3811 ((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__13__auto head)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") head) and__13__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__14__auto (< (jolt-count cl) 3))) (if (jolt-truthy? or__14__auto) or__14__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" "reset!") catch-sym (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth cl 2))) (jolt-invoke (var-deref "clojure.core" "reset!") catch-body (jolt-drop 3 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$3812 (keyword #f "op")) (_o$3813 (keyword #f "try")) (_o$3814 (keyword #f "body")) (_o$3815 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-invoke (var-deref "clojure.core" "deref") body) env))) (jolt-hash-map _o$3812 _o$3813 _o$3814 _o$3815))) (n (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "deref") catch-body)) (let* ((_a$3820 n) (_a$3821 (keyword #f "catch-sym")) (_a$3822 (jolt-invoke (var-deref "clojure.core" "deref") catch-sym)) (_a$3823 (keyword #f "catch-body")) (_a$3824 (let* ((_a$3816 (var-deref "jolt.analyzer" "analyze-seq")) (_a$3817 ctx) (_a$3818 (jolt-invoke (var-deref "clojure.core" "deref") catch-body)) (_a$3819 (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env (jolt-vector (jolt-invoke (var-deref "clojure.core" "deref") catch-sym))))) (jolt-invoke _a$3816 _a$3817 _a$3818 _a$3819)))) (jolt-assoc _a$3820 _a$3821 _a$3822 _a$3823 _a$3824)) 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 fnrec3773 ((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__49_) (let fnrec3774 ((p__49_ p__49_)) (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__49_)))))) specs)) (env* (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names)) (binds (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (spec) (let fnrec3775 ((spec spec)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") spec)))) (let* ((_o$3776 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first cl))) (_o$3777 (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx (jolt-invoke (var-deref "clojure.core" "vec") (jolt-cons (jolt-first cl) cl)) env*))) (jolt-vector _o$3776 _o$3777))))) specs))) (let* ((_o$3778 (keyword #f "op")) (_o$3779 (keyword #f "let")) (_o$3780 (keyword #f "letrec")) (_o$3781 #t) (_o$3782 (keyword #f "bindings")) (_o$3783 binds) (_o$3784 (keyword #f "body")) (_o$3785 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env*))) (jolt-hash-map _o$3778 _o$3779 _o$3780 _o$3781 _o$3782 _o$3783 _o$3784 _o$3785))))))) analyze-letfn))) + (def-var! "jolt.analyzer" "analyze-letfn" (letrec ((analyze-letfn (lambda (ctx items env) (let fnrec3825 ((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__49_) (let fnrec3826 ((p__49_ p__49_)) (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__49_)))))) specs)) (env* (jolt-invoke (var-deref "jolt.analyzer" "add-locals") env names)) (binds (jolt-invoke (var-deref "clojure.core" "mapv") (lambda (spec) (let fnrec3827 ((spec spec)) (let* ((cl (jolt-invoke (var-deref "clojure.core" "vec") (jolt-invoke (var-deref "jolt.host" "form-elements") spec)))) (let* ((_o$3828 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first cl))) (_o$3829 (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx (jolt-invoke (var-deref "clojure.core" "vec") (jolt-cons (jolt-first cl) cl)) env*))) (jolt-vector _o$3828 _o$3829))))) specs))) (let* ((_o$3830 (keyword #f "op")) (_o$3831 (keyword #f "let")) (_o$3832 (keyword #f "letrec")) (_o$3833 #t) (_o$3834 (keyword #f "bindings")) (_o$3835 binds) (_o$3836 (keyword #f "body")) (_o$3837 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env*))) (jolt-hash-map _o$3830 _o$3831 _o$3832 _o$3833 _o$3834 _o$3835 _o$3836 _o$3837))))))) analyze-letfn))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-special" (letrec ((analyze-special (lambda (ctx op items env) (let fnrec3786 ((ctx ctx) (op op) (items items) (env env)) (let* ((G__43 op)) (if (jolt= G__43 "quote") (jolt-invoke (var-deref "jolt.ir" "quote-node") (jolt-invoke (var-deref "clojure.core" "second") items)) (if (jolt= G__43 "if") (begin (if (jolt-truthy? (let* ((or__14__auto (< (jolt-count items) 3))) (if (jolt-truthy? or__14__auto) or__14__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$3787 (var-deref "jolt.ir" "if-node")) (_a$3788 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_a$3789 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (_a$3790 (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$3787 _a$3788 _a$3789 _a$3790))) (if (jolt= G__43 "do") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-rest items) env) (if (jolt= G__43 "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__43 "def") (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$3791 (keyword #f "op")) (_o$3792 (keyword #f "def")) (_o$3793 (keyword #f "ns")) (_o$3794 cur) (_o$3795 (keyword #f "name")) (_o$3796 nm) (_o$3797 (keyword #f "no-init")) (_o$3798 #t)) (jolt-hash-map _o$3791 _o$3792 _o$3793 _o$3794 _o$3795 _o$3796 _o$3797 _o$3798)))) (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__13__auto (> (jolt-count items) 3))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "string?") (jolt-nth items 2)) and__13__auto))) (val-form (jolt-nth items (if (jolt-truthy? has-doc) 3 2))) (base0 (let* ((or__14__auto (jolt-invoke (var-deref "jolt.host" "form-sym-meta") name-sym))) (if (jolt-truthy? or__14__auto) or__14__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) (jolt-invoke (var-deref "jolt.ir" "def-node") cur nm (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx val-form env) node-meta)))))) (if (jolt= G__43 "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$3803 (var-deref "jolt.ir" "let-node")) (_a$3804 (jolt-first r)) (_a$3805 (let* ((_a$3799 (var-deref "jolt.analyzer" "analyze-seq")) (_a$3800 ctx) (_a$3801 (jolt-drop 2 items)) (_a$3802 (jolt-invoke (var-deref "clojure.core" "second") r))) (jolt-invoke _a$3799 _a$3800 _a$3801 _a$3802)))) (jolt-invoke _a$3803 _a$3804 _a$3805))) (if (jolt= G__43 "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$3806 (keyword #f "op")) (_o$3807 (keyword #f "loop")) (_o$3808 (keyword #f "recur-name")) (_o$3809 rname) (_o$3810 (keyword #f "bindings")) (_o$3811 (jolt-first r)) (_o$3812 (keyword #f "body")) (_o$3813 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env**))) (jolt-hash-map _o$3806 _o$3807 _o$3808 _o$3809 _o$3810 _o$3811 _o$3812 _o$3813))) (if (jolt= G__43 "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$3818 (keyword #f "op")) (_o$3819 (keyword #f "recur")) (_o$3820 (keyword #f "recur-name")) (_o$3821 rt) (_o$3822 (keyword #f "args")) (_o$3823 (let* ((_a$3815 (var-deref "clojure.core" "mapv")) (_a$3816 (lambda (p__50_) (let fnrec3814 ((p__50_ p__50_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__50_ env)))) (_a$3817 (jolt-rest items))) (jolt-invoke _a$3815 _a$3816 _a$3817)))) (jolt-hash-map _o$3818 _o$3819 _o$3820 _o$3821 _o$3822 _o$3823)))) (if (jolt= G__43 "try") (jolt-invoke (var-deref "jolt.analyzer" "analyze-try") ctx items env) (if (jolt= G__43 "letfn") (jolt-invoke (var-deref "jolt.analyzer" "analyze-letfn") ctx items env) (if (jolt= G__43 "fn*") (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx items env) (if (jolt= G__43 "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__43 "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$3824 (var-deref "jolt.ir" "the-var")) (_a$3825 (jolt-get r (keyword #f "ns"))) (_a$3826 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3824 _a$3825 _a$3826)) (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__43 "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$3827 (keyword #f "op")) (_o$3828 (keyword #f "defmacro")) (_o$3829 (keyword #f "ns")) (_o$3830 cur) (_o$3831 (keyword #f "name")) (_o$3832 nm) (_o$3833 (keyword #f "fn")) (_o$3834 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx fn-form env))) (jolt-hash-map _o$3827 _o$3828 _o$3829 _o$3830 _o$3831 _o$3832 _o$3833 _o$3834)))) (if (jolt= G__43 "set!") (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__13__auto ti)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-pos? (jolt-count ti)))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first ti)) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first ti)) jolt-nil))) (if (jolt-truthy? (let* ((and__13__auto thead)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") thead) and__13__auto))) (let* ((_o$3835 (keyword #f "op")) (_o$3836 (keyword #f "set-field")) (_o$3837 (keyword #f "obj")) (_o$3838 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth ti 1) env)) (_o$3839 (keyword #f "field")) (_o$3840 (jolt-invoke (var-deref "clojure.core" "subs") thead 2)) (_o$3841 (keyword #f "val")) (_o$3842 val-node)) (jolt-hash-map _o$3835 _o$3836 _o$3837 _o$3838 _o$3839 _o$3840 _o$3841 _o$3842)) (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$3846 (keyword #f "op")) (_o$3847 (keyword #f "set-var")) (_o$3848 (keyword #f "the-var")) (_o$3849 (let* ((_a$3843 (var-deref "jolt.ir" "the-var")) (_a$3844 (jolt-get r (keyword #f "ns"))) (_a$3845 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3843 _a$3844 _a$3845))) (_o$3850 (keyword #f "val")) (_o$3851 val-node)) (jolt-hash-map _o$3846 _o$3847 _o$3848 _o$3849 _o$3850 _o$3851))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of an unsupported target") jolt-nil)))) (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 fnrec3838 ((ctx ctx) (op op) (items items) (env env)) (let* ((G__43 op)) (if (jolt= G__43 "quote") (jolt-invoke (var-deref "jolt.ir" "quote-node") (jolt-invoke (var-deref "clojure.core" "second") items)) (if (jolt= G__43 "if") (begin (if (jolt-truthy? (let* ((or__14__auto (< (jolt-count items) 3))) (if (jolt-truthy? or__14__auto) or__14__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$3839 (var-deref "jolt.ir" "if-node")) (_a$3840 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_a$3841 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 2) env)) (_a$3842 (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$3839 _a$3840 _a$3841 _a$3842))) (if (jolt= G__43 "do") (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-rest items) env) (if (jolt= G__43 "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__43 "def") (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$3843 (keyword #f "op")) (_o$3844 (keyword #f "def")) (_o$3845 (keyword #f "ns")) (_o$3846 cur) (_o$3847 (keyword #f "name")) (_o$3848 nm) (_o$3849 (keyword #f "no-init")) (_o$3850 #t)) (jolt-hash-map _o$3843 _o$3844 _o$3845 _o$3846 _o$3847 _o$3848 _o$3849 _o$3850)))) (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__13__auto (> (jolt-count items) 3))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "string?") (jolt-nth items 2)) and__13__auto))) (val-form (jolt-nth items (if (jolt-truthy? has-doc) 3 2))) (base0 (let* ((or__14__auto (jolt-invoke (var-deref "jolt.host" "form-sym-meta") name-sym))) (if (jolt-truthy? or__14__auto) or__14__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) (jolt-invoke (var-deref "jolt.ir" "def-node") cur nm (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx val-form env) node-meta)))))) (if (jolt= G__43 "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$3855 (var-deref "jolt.ir" "let-node")) (_a$3856 (jolt-first r)) (_a$3857 (let* ((_a$3851 (var-deref "jolt.analyzer" "analyze-seq")) (_a$3852 ctx) (_a$3853 (jolt-drop 2 items)) (_a$3854 (jolt-invoke (var-deref "clojure.core" "second") r))) (jolt-invoke _a$3851 _a$3852 _a$3853 _a$3854)))) (jolt-invoke _a$3855 _a$3856 _a$3857))) (if (jolt= G__43 "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$3858 (keyword #f "op")) (_o$3859 (keyword #f "loop")) (_o$3860 (keyword #f "recur-name")) (_o$3861 rname) (_o$3862 (keyword #f "bindings")) (_o$3863 (jolt-first r)) (_o$3864 (keyword #f "body")) (_o$3865 (jolt-invoke (var-deref "jolt.analyzer" "analyze-seq") ctx (jolt-drop 2 items) env**))) (jolt-hash-map _o$3858 _o$3859 _o$3860 _o$3861 _o$3862 _o$3863 _o$3864 _o$3865))) (if (jolt= G__43 "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$3870 (keyword #f "op")) (_o$3871 (keyword #f "recur")) (_o$3872 (keyword #f "recur-name")) (_o$3873 rt) (_o$3874 (keyword #f "args")) (_o$3875 (let* ((_a$3867 (var-deref "clojure.core" "mapv")) (_a$3868 (lambda (p__50_) (let fnrec3866 ((p__50_ p__50_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__50_ env)))) (_a$3869 (jolt-rest items))) (jolt-invoke _a$3867 _a$3868 _a$3869)))) (jolt-hash-map _o$3870 _o$3871 _o$3872 _o$3873 _o$3874 _o$3875)))) (if (jolt= G__43 "try") (jolt-invoke (var-deref "jolt.analyzer" "analyze-try") ctx items env) (if (jolt= G__43 "letfn") (jolt-invoke (var-deref "jolt.analyzer" "analyze-letfn") ctx items env) (if (jolt= G__43 "fn*") (jolt-invoke (var-deref "jolt.analyzer" "analyze-fn") ctx items env) (if (jolt= G__43 "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__43 "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$3876 (var-deref "jolt.ir" "the-var")) (_a$3877 (jolt-get r (keyword #f "ns"))) (_a$3878 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3876 _a$3877 _a$3878)) (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__43 "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$3879 (keyword #f "op")) (_o$3880 (keyword #f "defmacro")) (_o$3881 (keyword #f "ns")) (_o$3882 cur) (_o$3883 (keyword #f "name")) (_o$3884 nm) (_o$3885 (keyword #f "fn")) (_o$3886 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx fn-form env))) (jolt-hash-map _o$3879 _o$3880 _o$3881 _o$3882 _o$3883 _o$3884 _o$3885 _o$3886)))) (if (jolt= G__43 "set!") (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__13__auto ti)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-pos? (jolt-count ti)))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-first ti)) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-first ti)) jolt-nil))) (if (jolt-truthy? (let* ((and__13__auto thead)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") thead) and__13__auto))) (let* ((_o$3887 (keyword #f "op")) (_o$3888 (keyword #f "set-field")) (_o$3889 (keyword #f "obj")) (_o$3890 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth ti 1) env)) (_o$3891 (keyword #f "field")) (_o$3892 (jolt-invoke (var-deref "clojure.core" "subs") thead 2)) (_o$3893 (keyword #f "val")) (_o$3894 val-node)) (jolt-hash-map _o$3887 _o$3888 _o$3889 _o$3890 _o$3891 _o$3892 _o$3893 _o$3894)) (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$3898 (keyword #f "op")) (_o$3899 (keyword #f "set-var")) (_o$3900 (keyword #f "the-var")) (_o$3901 (let* ((_a$3895 (var-deref "jolt.ir" "the-var")) (_a$3896 (jolt-get r (keyword #f "ns"))) (_a$3897 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3895 _a$3896 _a$3897))) (_o$3902 (keyword #f "val")) (_o$3903 val-node)) (jolt-hash-map _o$3898 _o$3899 _o$3900 _o$3901 _o$3902 _o$3903))))) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "set! of an unsupported target") jolt-nil)))) (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 fnrec3852 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not (jolt= "-" (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))) and__13__auto)) and__13__auto)) and__13__auto)))))) method-head?))) + (def-var! "jolt.analyzer" "method-head?" (letrec ((method-head? (lambda (nm) (let fnrec3904 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1)))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not (jolt= "-" (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 1 2))) and__13__auto)) and__13__auto)) and__13__auto)))))) method-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-host-call" (letrec ((analyze-host-call (lambda (ctx hname items env) (let fnrec3853 ((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$3858 (keyword #f "op")) (_o$3859 (keyword #f "host-call")) (_o$3860 (keyword #f "method")) (_o$3861 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$3862 (keyword #f "target")) (_o$3863 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3864 (keyword #f "args")) (_o$3865 (let* ((_a$3855 (var-deref "clojure.core" "mapv")) (_a$3856 (lambda (p__51_) (let fnrec3854 ((p__51_ p__51_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__51_ env)))) (_a$3857 (jolt-drop 2 items))) (jolt-invoke _a$3855 _a$3856 _a$3857)))) (jolt-hash-map _o$3858 _o$3859 _o$3860 _o$3861 _o$3862 _o$3863 _o$3864 _o$3865))))))) analyze-host-call))) + (def-var! "jolt.analyzer" "analyze-host-call" (letrec ((analyze-host-call (lambda (ctx hname items env) (let fnrec3905 ((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$3910 (keyword #f "op")) (_o$3911 (keyword #f "host-call")) (_o$3912 (keyword #f "method")) (_o$3913 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$3914 (keyword #f "target")) (_o$3915 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3916 (keyword #f "args")) (_o$3917 (let* ((_a$3907 (var-deref "clojure.core" "mapv")) (_a$3908 (lambda (p__51_) (let fnrec3906 ((p__51_ p__51_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__51_ env)))) (_a$3909 (jolt-drop 2 items))) (jolt-invoke _a$3907 _a$3908 _a$3909)))) (jolt-hash-map _o$3910 _o$3911 _o$3912 _o$3913 _o$3914 _o$3915 _o$3916 _o$3917))))))) analyze-host-call))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "ctor-head?" (letrec ((ctor-head? (lambda (nm) (let fnrec3866 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "." (let* ((_a$3867 (var-deref "clojure.core" "subs")) (_a$3868 nm) (_a$3869 (jolt-dec (jolt-count nm))) (_a$3870 (jolt-count nm))) (jolt-invoke _a$3867 _a$3868 _a$3869 _a$3870))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1))) and__13__auto)) and__13__auto)))))) ctor-head?))) + (def-var! "jolt.analyzer" "ctor-head?" (letrec ((ctor-head? (lambda (nm) (let fnrec3918 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 1))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "." (let* ((_a$3919 (var-deref "clojure.core" "subs")) (_a$3920 nm) (_a$3921 (jolt-dec (jolt-count nm))) (_a$3922 (jolt-count nm))) (jolt-invoke _a$3919 _a$3920 _a$3921 _a$3922))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt= "." (jolt-invoke (var-deref "clojure.core" "subs") nm 0 1))) and__13__auto)) and__13__auto)))))) ctor-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-ctor" (letrec ((analyze-ctor (lambda (ctx class args env) (let fnrec3871 ((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__52_) (let fnrec3872 ((p__52_ p__52_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__52_ env))) args)))))) analyze-ctor))) + (def-var! "jolt.analyzer" "analyze-ctor" (letrec ((analyze-ctor (lambda (ctx class args env) (let fnrec3923 ((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__52_) (let fnrec3924 ((p__52_ p__52_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__52_ env))) args)))))) analyze-ctor))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-dot" (letrec ((analyze-dot (lambda (ctx items env) (let fnrec3873 ((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* ((member (jolt-nth items 2))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") member)) (let* ((_o$3878 (keyword #f "op")) (_o$3879 (keyword #f "host-call")) (_o$3880 (keyword #f "method")) (_o$3881 (jolt-invoke (var-deref "jolt.host" "form-sym-name") member)) (_o$3882 (keyword #f "target")) (_o$3883 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3884 (keyword #f "args")) (_o$3885 (let* ((_a$3875 (var-deref "clojure.core" "mapv")) (_a$3876 (lambda (p__53_) (let fnrec3874 ((p__53_ p__53_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__53_ env)))) (_a$3877 (jolt-drop 3 items))) (jolt-invoke _a$3875 _a$3876 _a$3877)))) (jolt-hash-map _o$3878 _o$3879 _o$3880 _o$3881 _o$3882 _o$3883 _o$3884 _o$3885)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-keyword?") member)) (let* ((_a$3886 (var-deref "jolt.ir" "invoke")) (_a$3887 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx member env)) (_a$3888 (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)))) (jolt-invoke _a$3886 _a$3887 _a$3888)) (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-ffi-fn" (letrec ((analyze-ffi-fn (lambda (ctx items env) (let fnrec3925 ((ctx ctx) (items items) (env env)) (begin (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "not=") 4 (jolt-count items))) (jolt-throw (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi/foreign-fn expects (foreign-fn \"sym\" [argtypes] rettype)")) jolt-nil) (let* ((_o$3926 (keyword #f "op")) (_o$3927 (keyword #f "ffi-fn")) (_o$3928 (keyword #f "csym")) (_o$3929 (jolt-nth items 1)) (_o$3930 (keyword #f "argtypes")) (_o$3931 (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$3932 (keyword #f "rettype")) (_o$3933 (jolt-invoke (var-deref "clojure.core" "name") (jolt-nth items 3)))) (jolt-hash-map _o$3926 _o$3927 _o$3928 _o$3929 _o$3930 _o$3931 _o$3932 _o$3933))))))) analyze-ffi-fn))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "field-head?" (letrec ((field-head? (lambda (nm) (let fnrec3889 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 2))) (if (jolt-truthy? and__13__auto) (jolt= ".-" (jolt-invoke (var-deref "clojure.core" "subs") nm 0 2)) and__13__auto)))))) field-head?))) + (def-var! "jolt.analyzer" "analyze-dot" (letrec ((analyze-dot (lambda (ctx items env) (let fnrec3934 ((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* ((member (jolt-nth items 2))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-sym?") member)) (let* ((_o$3939 (keyword #f "op")) (_o$3940 (keyword #f "host-call")) (_o$3941 (keyword #f "method")) (_o$3942 (jolt-invoke (var-deref "jolt.host" "form-sym-name") member)) (_o$3943 (keyword #f "target")) (_o$3944 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3945 (keyword #f "args")) (_o$3946 (let* ((_a$3936 (var-deref "clojure.core" "mapv")) (_a$3937 (lambda (p__53_) (let fnrec3935 ((p__53_ p__53_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__53_ env)))) (_a$3938 (jolt-drop 3 items))) (jolt-invoke _a$3936 _a$3937 _a$3938)))) (jolt-hash-map _o$3939 _o$3940 _o$3941 _o$3942 _o$3943 _o$3944 _o$3945 _o$3946)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-keyword?") member)) (let* ((_a$3947 (var-deref "jolt.ir" "invoke")) (_a$3948 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx member env)) (_a$3949 (jolt-vector (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)))) (jolt-invoke _a$3947 _a$3948 _a$3949)) (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 fnrec3890 ((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$3891 (keyword #f "op")) (_o$3892 (keyword #f "host-call")) (_o$3893 (keyword #f "method")) (_o$3894 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$3895 (keyword #f "target")) (_o$3896 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3897 (keyword #f "args")) (_o$3898 (jolt-vector))) (jolt-hash-map _o$3891 _o$3892 _o$3893 _o$3894 _o$3895 _o$3896 _o$3897 _o$3898))))))) analyze-field))) + (def-var! "jolt.analyzer" "field-head?" (letrec ((field-head? (lambda (nm) (let fnrec3950 ((nm nm)) (let* ((and__13__auto (> (jolt-count nm) 2))) (if (jolt-truthy? and__13__auto) (jolt= ".-" (jolt-invoke (var-deref "clojure.core" "subs") nm 0 2)) and__13__auto)))))) field-head?))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-symbol" (letrec ((analyze-symbol (lambda (ctx form env) (let fnrec3899 ((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__13__auto (jolt-invoke (var-deref "clojure.core" "nil?") ns))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env nm) and__13__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* ((_a$3900 (var-deref "jolt.ir" "var-ref")) (_a$3901 (jolt-get r (keyword #f "ns"))) (_a$3902 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3900 _a$3901 _a$3902)) (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__44 (jolt-get r (keyword #f "kind")))) (if (jolt= G__44 (keyword #f "var")) (let* ((_a$3903 (var-deref "jolt.ir" "var-ref")) (_a$3904 (jolt-get r (keyword #f "ns"))) (_a$3905 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3903 _a$3904 _a$3905)) (if (jolt= G__44 (keyword #f "host")) (jolt-invoke (var-deref "jolt.ir" "host-ref") (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-field" (letrec ((analyze-field (lambda (ctx hname items env) (let fnrec3951 ((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$3952 (keyword #f "op")) (_o$3953 (keyword #f "host-call")) (_o$3954 (keyword #f "method")) (_o$3955 (jolt-invoke (var-deref "clojure.core" "subs") hname 1)) (_o$3956 (keyword #f "target")) (_o$3957 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx (jolt-nth items 1) env)) (_o$3958 (keyword #f "args")) (_o$3959 (jolt-vector))) (jolt-hash-map _o$3952 _o$3953 _o$3954 _o$3955 _o$3956 _o$3957 _o$3958 _o$3959))))))) analyze-field))) (guard (e (#t #f)) - (def-var! "jolt.analyzer" "analyze-list" (letrec ((analyze-list (lambda (ctx form env) (let fnrec3906 ((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__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)) and__13__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil)) (shadowed (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env hname) and__13__auto)))) (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-macro?") ctx head) and__13__auto)) and__13__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__13__auto hname)) (if (jolt-truthy? and__13__auto) (jolt-contains? (var-deref "jolt.analyzer" "handled") hname) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-special") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "method-head?") hname) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-host-call") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "ctor-head?") hname) and__13__auto)) and__13__auto))) (let* ((_a$3907 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$3908 ctx) (_a$3909 (jolt-invoke (var-deref "clojure.core" "subs") hname 0 (jolt-dec (jolt-count hname)))) (_a$3910 (jolt-rest items)) (_a$3911 env)) (jolt-invoke _a$3907 _a$3908 _a$3909 _a$3910 _a$3911)) (if (jolt-truthy? (let* ((and__13__auto (jolt= hname "new"))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (>= (jolt-count items) 2))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1)) and__13__auto)) and__13__auto)) and__13__auto))) (let* ((_a$3912 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$3913 ctx) (_a$3914 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1))) (_a$3915 (jolt-drop 2 items)) (_a$3916 env)) (jolt-invoke _a$3912 _a$3913 _a$3914 _a$3915 _a$3916)) (if (jolt-truthy? (let* ((and__13__auto (jolt= hname "."))) (if (jolt-truthy? and__13__auto) (jolt-not shadowed) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-dot") ctx items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") hname) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-field") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-special?") hname) and__13__auto)) and__13__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$3921 (var-deref "jolt.ir" "invoke")) (_a$3922 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx head env)) (_a$3923 (let* ((_a$3918 (var-deref "clojure.core" "mapv")) (_a$3919 (lambda (p__54_) (let fnrec3917 ((p__54_ p__54_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__54_ env)))) (_a$3920 (jolt-rest items))) (jolt-invoke _a$3918 _a$3919 _a$3920)))) (jolt-invoke _a$3921 _a$3922 _a$3923))) (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-symbol" (letrec ((analyze-symbol (lambda (ctx form env) (let fnrec3960 ((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__13__auto (jolt-invoke (var-deref "clojure.core" "nil?") ns))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env nm) and__13__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* ((_a$3961 (var-deref "jolt.ir" "var-ref")) (_a$3962 (jolt-get r (keyword #f "ns"))) (_a$3963 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3961 _a$3962 _a$3963)) (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__44 (jolt-get r (keyword #f "kind")))) (if (jolt= G__44 (keyword #f "var")) (let* ((_a$3964 (var-deref "jolt.ir" "var-ref")) (_a$3965 (jolt-get r (keyword #f "ns"))) (_a$3966 (jolt-get r (keyword #f "name")))) (jolt-invoke _a$3964 _a$3965 _a$3966)) (if (jolt= G__44 (keyword #f "host")) (jolt-invoke (var-deref "jolt.ir" "host-ref") (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" (letrec ((analyze (case-lambda ((ctx form) (let fnrec3924 ((ctx ctx) (form form)) (jolt-invoke analyze ctx form (jolt-invoke (var-deref "jolt.analyzer" "empty-env"))))) ((ctx form env) (let fnrec3925 ((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.ir" "vector-node") (let* ((_a$3927 (var-deref "clojure.core" "mapv")) (_a$3928 (lambda (p__55_) (let fnrec3926 ((p__55_ p__55_)) (jolt-invoke analyze ctx p__55_ env)))) (_a$3929 (jolt-invoke (var-deref "jolt.host" "form-vec-items") form))) (jolt-invoke _a$3927 _a$3928 _a$3929))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") form)) (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$3933 (var-deref "clojure.core" "mapv")) (_a$3934 (lambda (p) (let fnrec3930 ((p p)) (let* ((_o$3931 (jolt-invoke analyze ctx (jolt-first p) env)) (_o$3932 (jolt-invoke analyze ctx (jolt-invoke (var-deref "clojure.core" "second") p) env))) (jolt-vector _o$3931 _o$3932))))) (_a$3935 (jolt-invoke (var-deref "jolt.host" "form-map-pairs") form))) (jolt-invoke _a$3933 _a$3934 _a$3935))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-set?") form)) (jolt-invoke (var-deref "jolt.ir" "set-node") (let* ((_a$3937 (var-deref "clojure.core" "mapv")) (_a$3938 (lambda (p__56_) (let fnrec3936 ((p__56_ p__56_)) (jolt-invoke analyze ctx p__56_ env)))) (_a$3939 (jolt-invoke (var-deref "jolt.host" "form-set-items") form))) (jolt-invoke _a$3937 _a$3938 _a$3939))) (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$3940 (keyword #f "op")) (_o$3941 (keyword #f "regex")) (_o$3942 (keyword #f "source")) (_o$3943 (jolt-invoke (var-deref "jolt.host" "form-regex-source") form))) (jolt-hash-map _o$3940 _o$3941 _o$3942 _o$3943)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-inst?") form)) (let* ((_o$3944 (keyword #f "op")) (_o$3945 (keyword #f "inst")) (_o$3946 (keyword #f "source")) (_o$3947 (jolt-invoke (var-deref "jolt.host" "form-inst-source") form))) (jolt-hash-map _o$3944 _o$3945 _o$3946 _o$3947)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-uuid?") form)) (let* ((_o$3948 (keyword #f "op")) (_o$3949 (keyword #f "uuid")) (_o$3950 (keyword #f "source")) (_o$3951 (jolt-invoke (var-deref "jolt.host" "form-uuid-source") form))) (jolt-hash-map _o$3948 _o$3949 _o$3950 _o$3951)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-bigdec?") form)) (let* ((_o$3952 (keyword #f "op")) (_o$3953 (keyword #f "bigdec")) (_o$3954 (keyword #f "source")) (_o$3955 (jolt-invoke (var-deref "jolt.host" "form-bigdec-source") form))) (jolt-hash-map _o$3952 _o$3953 _o$3954 _o$3955)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-ns-value?") form)) (let* ((_o$3956 (keyword #f "op")) (_o$3957 (keyword #f "the-ns")) (_o$3958 (keyword #f "name")) (_o$3959 (jolt-invoke (var-deref "jolt.host" "form-ns-value-name") form))) (jolt-hash-map _o$3956 _o$3957 _o$3958 _o$3959)) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "jolt.analyzer" "uncompilable") "unsupported form") jolt-nil))))))))))))))))) analyze))) + (def-var! "jolt.analyzer" "analyze-list" (letrec ((analyze-list (lambda (ctx form env) (let fnrec3967 ((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__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "nil?") (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)) and__13__auto))) (jolt-invoke (var-deref "jolt.host" "form-sym-name") head) jolt-nil)) (shadowed (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "local?") env hname) and__13__auto)))) (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-macro?") ctx head) and__13__auto)) and__13__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__13__auto (jolt-invoke (var-deref "jolt.host" "form-sym?") head))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= "jolt.ffi" (jolt-invoke (var-deref "jolt.host" "form-sym-ns") head)))) (if (jolt-truthy? and__13__auto) (jolt= "__cfn" (jolt-invoke (var-deref "jolt.host" "form-sym-name") head)) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-ffi-fn") ctx items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (jolt-contains? (var-deref "jolt.analyzer" "handled") hname) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-special") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "method-head?") hname) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-host-call") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "ctor-head?") hname) and__13__auto)) and__13__auto))) (let* ((_a$3968 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$3969 ctx) (_a$3970 (jolt-invoke (var-deref "clojure.core" "subs") hname 0 (jolt-dec (jolt-count hname)))) (_a$3971 (jolt-rest items)) (_a$3972 env)) (jolt-invoke _a$3968 _a$3969 _a$3970 _a$3971 _a$3972)) (if (jolt-truthy? (let* ((and__13__auto (jolt= hname "new"))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (>= (jolt-count items) 2))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-sym?") (jolt-nth items 1)) and__13__auto)) and__13__auto)) and__13__auto))) (let* ((_a$3973 (var-deref "jolt.analyzer" "analyze-ctor")) (_a$3974 ctx) (_a$3975 (jolt-invoke (var-deref "jolt.host" "form-sym-name") (jolt-nth items 1))) (_a$3976 (jolt-drop 2 items)) (_a$3977 env)) (jolt-invoke _a$3973 _a$3974 _a$3975 _a$3976 _a$3977)) (if (jolt-truthy? (let* ((and__13__auto (jolt= hname "."))) (if (jolt-truthy? and__13__auto) (jolt-not shadowed) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-dot") ctx items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.analyzer" "field-head?") hname) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "jolt.analyzer" "analyze-field") ctx hname items env) (if (jolt-truthy? (let* ((and__13__auto hname)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-not shadowed))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.host" "form-special?") hname) and__13__auto)) and__13__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$3982 (var-deref "jolt.ir" "invoke")) (_a$3983 (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx head env)) (_a$3984 (let* ((_a$3979 (var-deref "clojure.core" "mapv")) (_a$3980 (lambda (p__54_) (let fnrec3978 ((p__54_ p__54_)) (jolt-invoke (var-deref "jolt.analyzer" "analyze") ctx p__54_ env)))) (_a$3981 (jolt-rest items))) (jolt-invoke _a$3979 _a$3980 _a$3981)))) (jolt-invoke _a$3982 _a$3983 _a$3984))) (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" "analyze" (letrec ((analyze (case-lambda ((ctx form) (let fnrec3985 ((ctx ctx) (form form)) (jolt-invoke analyze ctx form (jolt-invoke (var-deref "jolt.analyzer" "empty-env"))))) ((ctx form env) (let fnrec3986 ((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.ir" "vector-node") (let* ((_a$3988 (var-deref "clojure.core" "mapv")) (_a$3989 (lambda (p__55_) (let fnrec3987 ((p__55_ p__55_)) (jolt-invoke analyze ctx p__55_ env)))) (_a$3990 (jolt-invoke (var-deref "jolt.host" "form-vec-items") form))) (jolt-invoke _a$3988 _a$3989 _a$3990))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-map?") form)) (jolt-invoke (var-deref "jolt.ir" "map-node") (let* ((_a$3994 (var-deref "clojure.core" "mapv")) (_a$3995 (lambda (p) (let fnrec3991 ((p p)) (let* ((_o$3992 (jolt-invoke analyze ctx (jolt-first p) env)) (_o$3993 (jolt-invoke analyze ctx (jolt-invoke (var-deref "clojure.core" "second") p) env))) (jolt-vector _o$3992 _o$3993))))) (_a$3996 (jolt-invoke (var-deref "jolt.host" "form-map-pairs") form))) (jolt-invoke _a$3994 _a$3995 _a$3996))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-set?") form)) (jolt-invoke (var-deref "jolt.ir" "set-node") (let* ((_a$3998 (var-deref "clojure.core" "mapv")) (_a$3999 (lambda (p__56_) (let fnrec3997 ((p__56_ p__56_)) (jolt-invoke analyze ctx p__56_ env)))) (_a$4000 (jolt-invoke (var-deref "jolt.host" "form-set-items") form))) (jolt-invoke _a$3998 _a$3999 _a$4000))) (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$4001 (keyword #f "op")) (_o$4002 (keyword #f "regex")) (_o$4003 (keyword #f "source")) (_o$4004 (jolt-invoke (var-deref "jolt.host" "form-regex-source") form))) (jolt-hash-map _o$4001 _o$4002 _o$4003 _o$4004)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-inst?") form)) (let* ((_o$4005 (keyword #f "op")) (_o$4006 (keyword #f "inst")) (_o$4007 (keyword #f "source")) (_o$4008 (jolt-invoke (var-deref "jolt.host" "form-inst-source") form))) (jolt-hash-map _o$4005 _o$4006 _o$4007 _o$4008)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-uuid?") form)) (let* ((_o$4009 (keyword #f "op")) (_o$4010 (keyword #f "uuid")) (_o$4011 (keyword #f "source")) (_o$4012 (jolt-invoke (var-deref "jolt.host" "form-uuid-source") form))) (jolt-hash-map _o$4009 _o$4010 _o$4011 _o$4012)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-bigdec?") form)) (let* ((_o$4013 (keyword #f "op")) (_o$4014 (keyword #f "bigdec")) (_o$4015 (keyword #f "source")) (_o$4016 (jolt-invoke (var-deref "jolt.host" "form-bigdec-source") form))) (jolt-hash-map _o$4013 _o$4014 _o$4015 _o$4016)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.host" "form-ns-value?") form)) (let* ((_o$4017 (keyword #f "op")) (_o$4018 (keyword #f "the-ns")) (_o$4019 (keyword #f "name")) (_o$4020 (jolt-invoke (var-deref "jolt.host" "form-ns-value-name") form))) (jolt-hash-map _o$4017 _o$4018 _o$4019 _o$4020)) (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$2876 "+") (_o$2877 "+") (_o$2878 "-") (_o$2879 "-") (_o$2880 "*") (_o$2881 "*") (_o$2882 "/") (_o$2883 "/") (_o$2884 "<") (_o$2885 "<") (_o$2886 ">") (_o$2887 ">") (_o$2888 "<=") (_o$2889 "<=") (_o$2890 ">=") (_o$2891 ">=") (_o$2892 "=") (_o$2893 "jolt=") (_o$2894 "inc") (_o$2895 "jolt-inc") (_o$2896 "dec") (_o$2897 "jolt-dec") (_o$2898 "not") (_o$2899 "jolt-not") (_o$2900 "min") (_o$2901 "min") (_o$2902 "max") (_o$2903 "max") (_o$2904 "mod") (_o$2905 "modulo") (_o$2906 "rem") (_o$2907 "remainder") (_o$2908 "quot") (_o$2909 "quotient") (_o$2910 "vector") (_o$2911 "jolt-vector") (_o$2912 "hash-map") (_o$2913 "jolt-hash-map") (_o$2914 "hash-set") (_o$2915 "jolt-hash-set") (_o$2916 "conj") (_o$2917 "jolt-conj") (_o$2918 "get") (_o$2919 "jolt-get") (_o$2920 "nth") (_o$2921 "jolt-nth") (_o$2922 "count") (_o$2923 "jolt-count") (_o$2924 "assoc") (_o$2925 "jolt-assoc") (_o$2926 "dissoc") (_o$2927 "jolt-dissoc") (_o$2928 "contains?") (_o$2929 "jolt-contains?") (_o$2930 "empty?") (_o$2931 "jolt-empty?") (_o$2932 "peek") (_o$2933 "jolt-peek") (_o$2934 "pop") (_o$2935 "jolt-pop") (_o$2936 "first") (_o$2937 "jolt-first") (_o$2938 "rest") (_o$2939 "jolt-rest") (_o$2940 "next") (_o$2941 "jolt-next") (_o$2942 "seq") (_o$2943 "jolt-seq") (_o$2944 "cons") (_o$2945 "jolt-cons") (_o$2946 "list") (_o$2947 "jolt-list") (_o$2948 "reverse") (_o$2949 "jolt-reverse") (_o$2950 "last") (_o$2951 "jolt-last") (_o$2952 "map") (_o$2953 "jolt-map") (_o$2954 "filter") (_o$2955 "jolt-filter") (_o$2956 "remove") (_o$2957 "jolt-remove") (_o$2958 "reduce") (_o$2959 "jolt-reduce") (_o$2960 "into") (_o$2961 "jolt-into") (_o$2962 "concat") (_o$2963 "jolt-concat") (_o$2964 "apply") (_o$2965 "jolt-apply") (_o$2966 "range") (_o$2967 "jolt-range") (_o$2968 "take") (_o$2969 "jolt-take") (_o$2970 "drop") (_o$2971 "jolt-drop") (_o$2972 "keys") (_o$2973 "jolt-keys") (_o$2974 "vals") (_o$2975 "jolt-vals") (_o$2976 "even?") (_o$2977 "jolt-even?") (_o$2978 "odd?") (_o$2979 "jolt-odd?") (_o$2980 "pos?") (_o$2981 "jolt-pos?") (_o$2982 "neg?") (_o$2983 "jolt-neg?") (_o$2984 "zero?") (_o$2985 "jolt-zero?") (_o$2986 "identity") (_o$2987 "jolt-identity") (_o$2988 "ex-info") (_o$2989 "jolt-ex-info")) (jolt-hash-map _o$2876 _o$2877 _o$2878 _o$2879 _o$2880 _o$2881 _o$2882 _o$2883 _o$2884 _o$2885 _o$2886 _o$2887 _o$2888 _o$2889 _o$2890 _o$2891 _o$2892 _o$2893 _o$2894 _o$2895 _o$2896 _o$2897 _o$2898 _o$2899 _o$2900 _o$2901 _o$2902 _o$2903 _o$2904 _o$2905 _o$2906 _o$2907 _o$2908 _o$2909 _o$2910 _o$2911 _o$2912 _o$2913 _o$2914 _o$2915 _o$2916 _o$2917 _o$2918 _o$2919 _o$2920 _o$2921 _o$2922 _o$2923 _o$2924 _o$2925 _o$2926 _o$2927 _o$2928 _o$2929 _o$2930 _o$2931 _o$2932 _o$2933 _o$2934 _o$2935 _o$2936 _o$2937 _o$2938 _o$2939 _o$2940 _o$2941 _o$2942 _o$2943 _o$2944 _o$2945 _o$2946 _o$2947 _o$2948 _o$2949 _o$2950 _o$2951 _o$2952 _o$2953 _o$2954 _o$2955 _o$2956 _o$2957 _o$2958 _o$2959 _o$2960 _o$2961 _o$2962 _o$2963 _o$2964 _o$2965 _o$2966 _o$2967 _o$2968 _o$2969 _o$2970 _o$2971 _o$2972 _o$2973 _o$2974 _o$2975 _o$2976 _o$2977 _o$2978 _o$2979 _o$2980 _o$2981 _o$2982 _o$2983 _o$2984 _o$2985 _o$2986 _o$2987 _o$2988 _o$2989)) (jolt-hash-map (keyword #f "private") #t))) (guard (e (#t #f)) @@ -165,22 +167,28 @@ (guard (e (#t #f)) (def-var! "jolt.backend-scheme" "emit-loop" (letrec ((emit-loop (lambda (node) (let fnrec3240 ((node node)) (let* ((label (jolt-invoke (var-deref "jolt.backend-scheme" "fresh-label") "loop")) (pairs (jolt-get node (keyword #f "bindings"))) (names (jolt-map (lambda (p__45_) (let fnrec3241 ((p__45_ p__45_)) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") (jolt-nth p__45_ 0)))) pairs)) (inits (jolt-map (lambda (p__46_) (let fnrec3242 ((p__46_ p__46_)) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-nth p__46_ 1)))) pairs)) (seq-bs (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map (lambda (n i) (let fnrec3243 ((n n) (i i)) (jolt-invoke (var-deref "clojure.core" "str") "(" n " " i ")"))) names inits))) (rebinds (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map (lambda (n) (let fnrec3244 ((n n)) (jolt-invoke (var-deref "clojure.core" "str") "(" n " " n ")"))) names))) (body (let* ((frame__8__auto (jolt-invoke (var-deref "clojure.core" "array-map") (jolt-var "jolt.backend-scheme" "*recur-target*") label))) (begin (jolt-invoke (var-deref "clojure.core" "push-thread-bindings") frame__8__auto) (dynamic-wind (lambda () #f) (lambda () (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "body")))) (lambda () (jolt-invoke (var-deref "clojure.core" "pop-thread-bindings")))))))) (jolt-invoke (var-deref "clojure.core" "str") "(let* (" seq-bs ") (let " label " (" rebinds ") " body "))")))))) emit-loop))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-recur" (letrec ((emit-recur (lambda (node) (let fnrec3245 ((node node)) (begin (if (jolt-not (var-deref "jolt.backend-scheme" "*recur-target*")) (jolt-throw (jolt-ex-info "emit: recur outside a loop/fn target" (jolt-hash-map))) jolt-nil) (let* ((arg-nodes (jolt-get node (keyword #f "args")))) (let* ((_a$3247 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3248 arg-nodes) (_a$3249 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit") arg-nodes)) (_a$3250 (lambda (as) (let fnrec3246 ((as as)) (jolt-invoke (var-deref "clojure.core" "str") "(" (var-deref "jolt.backend-scheme" "*recur-target*") " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")"))))) (jolt-invoke _a$3247 _a$3248 _a$3249 _a$3250)))))))) emit-recur))) + (def-var-with-meta! "jolt.backend-scheme" "ffi-types" (let* ((_o$3245 "int") (_o$3246 "int") (_o$3247 "uint") (_o$3248 "unsigned-int") (_o$3249 "long") (_o$3250 "long") (_o$3251 "ulong") (_o$3252 "unsigned-long") (_o$3253 "int64") (_o$3254 "integer-64") (_o$3255 "uint64") (_o$3256 "unsigned-64") (_o$3257 "size_t") (_o$3258 "size_t") (_o$3259 "ssize_t") (_o$3260 "ssize_t") (_o$3261 "iptr") (_o$3262 "iptr") (_o$3263 "uptr") (_o$3264 "uptr") (_o$3265 "double") (_o$3266 "double") (_o$3267 "float") (_o$3268 "float") (_o$3269 "pointer") (_o$3270 "void*") (_o$3271 "void*") (_o$3272 "void*") (_o$3273 "string") (_o$3274 "string") (_o$3275 "void") (_o$3276 "void") (_o$3277 "uint8") (_o$3278 "unsigned-8") (_o$3279 "u8") (_o$3280 "unsigned-8") (_o$3281 "byte") (_o$3282 "unsigned-8") (_o$3283 "char") (_o$3284 "char")) (jolt-hash-map _o$3245 _o$3246 _o$3247 _o$3248 _o$3249 _o$3250 _o$3251 _o$3252 _o$3253 _o$3254 _o$3255 _o$3256 _o$3257 _o$3258 _o$3259 _o$3260 _o$3261 _o$3262 _o$3263 _o$3264 _o$3265 _o$3266 _o$3267 _o$3268 _o$3269 _o$3270 _o$3271 _o$3272 _o$3273 _o$3274 _o$3275 _o$3276 _o$3277 _o$3278 _o$3279 _o$3280 _o$3281 _o$3282 _o$3283 _o$3284)) (jolt-hash-map (keyword #f "private") #t))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-arity-clause" (letrec ((emit-arity-clause (lambda (a) (let fnrec3251 ((a a)) (let* ((params (jolt-map (var-deref "jolt.backend-scheme" "munge-name") (jolt-get a (keyword #f "params")))) (restp (let* ((temp__15__auto (jolt-get a (keyword #f "rest")))) (if (jolt-truthy? temp__15__auto) (let* ((r temp__15__auto)) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") r)) jolt-nil))) (label (jolt-invoke (var-deref "jolt.backend-scheme" "fresh-label") "fnrec")) (body (let* ((frame__8__auto (jolt-invoke (var-deref "clojure.core" "array-map") (jolt-var "jolt.backend-scheme" "*recur-target*") label))) (begin (jolt-invoke (var-deref "clojure.core" "push-thread-bindings") frame__8__auto) (dynamic-wind (lambda () #f) (lambda () (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get a (keyword #f "body")))) (lambda () (jolt-invoke (var-deref "clojure.core" "pop-thread-bindings"))))))) (paramlist (if (jolt-truthy? (let* ((and__13__auto restp)) (if (jolt-truthy? and__13__auto) (jolt-empty? params) and__13__auto))) restp (if (jolt-truthy? restp) (jolt-invoke (var-deref "clojure.core" "str") "(" (jolt-invoke (var-deref "clojure.string" "join") " " params) " . " restp ")") (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "clojure.core" "str") "(" (jolt-invoke (var-deref "clojure.string" "join") " " params) ")") jolt-nil)))) (binds (if (jolt-truthy? restp) (let* ((_a$3253 (jolt-map (lambda (p) (let fnrec3252 ((p p)) (jolt-invoke (var-deref "clojure.core" "str") "(" p " " p ")"))) params)) (_a$3254 (jolt-vector (jolt-invoke (var-deref "clojure.core" "str") "(" restp " (list->cseq " restp "))")))) (jolt-concat _a$3253 _a$3254)) (jolt-map (lambda (p) (let fnrec3255 ((p p)) (jolt-invoke (var-deref "clojure.core" "str") "(" p " " p ")"))) params)))) (let* ((_o$3256 paramlist) (_o$3257 (jolt-invoke (var-deref "clojure.core" "str") "(let " label " (" (jolt-invoke (var-deref "clojure.string" "join") " " binds) ") " body ")"))) (jolt-vector _o$3256 _o$3257))))))) emit-arity-clause))) + (def-var! "jolt.backend-scheme" "ffi-type->chez" (letrec ((ffi-type->chez (lambda (t) (let fnrec3285 ((t t)) (let* ((or__14__auto (jolt-invoke (var-deref "jolt.backend-scheme" "ffi-types") t))) (if (jolt-truthy? or__14__auto) or__14__auto (jolt-throw (let* ((_a$3286 (jolt-invoke (var-deref "clojure.core" "str") "jolt.ffi: unknown foreign type :" t)) (_a$3287 (jolt-hash-map))) (jolt-ex-info _a$3286 _a$3287))))))))) ffi-type->chez))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-fn" (letrec ((emit-fn (lambda (node) (let fnrec3258 ((node node)) (let* ((arities (jolt-get node (keyword #f "arities"))) (self (let* ((temp__15__auto (jolt-get node (keyword #f "name")))) (if (jolt-truthy? temp__15__auto) (let* ((nm temp__15__auto)) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") nm)) jolt-nil))) (clauses (let* ((frame__8__auto (jolt-invoke (var-deref "clojure.core" "array-map") (jolt-var "jolt.backend-scheme" "*known-procs*") (if (jolt-truthy? self) (jolt-conj (var-deref "jolt.backend-scheme" "*known-procs*") self) (var-deref "jolt.backend-scheme" "*known-procs*"))))) (begin (jolt-invoke (var-deref "clojure.core" "push-thread-bindings") frame__8__auto) (dynamic-wind (lambda () #f) (lambda () (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit-arity-clause") arities)) (lambda () (jolt-invoke (var-deref "clojure.core" "pop-thread-bindings"))))))) (_lambda (if (jolt= 1 (jolt-count clauses)) (let* ((c (jolt-first clauses))) (let* ((_a$3259 (var-deref "clojure.core" "str")) (_a$3260 "(lambda ") (_a$3261 (jolt-nth c 0)) (_a$3262 " ") (_a$3263 (jolt-nth c 1)) (_a$3264 ")")) (jolt-invoke _a$3259 _a$3260 _a$3261 _a$3262 _a$3263 _a$3264))) (jolt-invoke (var-deref "clojure.core" "str") "(case-lambda " (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map (lambda (c) (let fnrec3265 ((c c)) (let* ((_a$3266 (var-deref "clojure.core" "str")) (_a$3267 "(") (_a$3268 (jolt-nth c 0)) (_a$3269 " ") (_a$3270 (jolt-nth c 1)) (_a$3271 ")")) (jolt-invoke _a$3266 _a$3267 _a$3268 _a$3269 _a$3270 _a$3271)))) clauses)) ")")))) (let* ((temp__4__auto (jolt-get node (keyword #f "name")))) (if (jolt-truthy? temp__4__auto) (let* ((nm temp__4__auto)) (let* ((m (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") nm))) (jolt-invoke (var-deref "clojure.core" "str") "(letrec ((" m " " _lambda ")) " m ")"))) _lambda))))))) emit-fn))) + (def-var! "jolt.backend-scheme" "emit-ffi-fn" (letrec ((emit-ffi-fn (lambda (node) (let fnrec3288 ((node node)) (let* ((_a$3289 (var-deref "clojure.core" "str")) (_a$3290 "(foreign-procedure ") (_a$3291 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "csym")))) (_a$3292 " (") (_a$3293 (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map (var-deref "jolt.backend-scheme" "ffi-type->chez") (jolt-get node (keyword #f "argtypes"))))) (_a$3294 ") ") (_a$3295 (jolt-invoke (var-deref "jolt.backend-scheme" "ffi-type->chez") (jolt-get node (keyword #f "rettype")))) (_a$3296 ")")) (jolt-invoke _a$3289 _a$3290 _a$3291 _a$3292 _a$3293 _a$3294 _a$3295 _a$3296)))))) emit-ffi-fn))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "native-op" (letrec ((native-op (lambda (fnode nargs) (let fnrec3272 ((fnode fnode) (nargs nargs)) (let* ((nm (let* ((G__33 (jolt-get fnode (keyword #f "op")))) (if (jolt= G__33 (keyword #f "var")) (if (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))) (jolt-get fnode (keyword #f "name")) jolt-nil) (if (jolt= G__33 (keyword #f "host")) (jolt-get fnode (keyword #f "name")) jolt-nil)))) (op (if (jolt-truthy? nm) (jolt-invoke (var-deref "jolt.backend-scheme" "native-ops") nm) jolt-nil)) (arity-ok (if (jolt-truthy? nm) (jolt-invoke (var-deref "jolt.backend-scheme" "op-arity") nm) jolt-nil))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") op)) jolt-nil (if (jolt-truthy? (let* ((and__13__auto arity-ok)) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke arity-ok nargs)) and__13__auto))) jolt-nil (if (jolt-truthy? (keyword #f "else")) op jolt-nil)))))))) native-op))) + (def-var! "jolt.backend-scheme" "emit-recur" (letrec ((emit-recur (lambda (node) (let fnrec3297 ((node node)) (begin (if (jolt-not (var-deref "jolt.backend-scheme" "*recur-target*")) (jolt-throw (jolt-ex-info "emit: recur outside a loop/fn target" (jolt-hash-map))) jolt-nil) (let* ((arg-nodes (jolt-get node (keyword #f "args")))) (let* ((_a$3299 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3300 arg-nodes) (_a$3301 (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit") arg-nodes)) (_a$3302 (lambda (as) (let fnrec3298 ((as as)) (jolt-invoke (var-deref "clojure.core" "str") "(" (var-deref "jolt.backend-scheme" "*recur-target*") " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")"))))) (jolt-invoke _a$3299 _a$3300 _a$3301 _a$3302)))))))) emit-recur))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "ifn-kind" (letrec ((ifn-kind (lambda (fnode) (let fnrec3273 ((fnode fnode)) (let* ((G__34 (jolt-get fnode (keyword #f "op")))) (if (jolt= G__34 (keyword #f "const")) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "keyword?") (jolt-get fnode (keyword #f "val")))) (keyword #f "keyword") jolt-nil) (if (jolt-truthy? (let* ((or__14__auto (jolt= G__34 (keyword #f "map")))) (if (jolt-truthy? or__14__auto) or__14__auto (let* ((or__14__auto (jolt= G__34 (keyword #f "set")))) (if (jolt-truthy? or__14__auto) or__14__auto (jolt= G__34 (keyword #f "vector"))))))) (keyword #f "coll") jolt-nil))))))) ifn-kind))) + (def-var! "jolt.backend-scheme" "emit-arity-clause" (letrec ((emit-arity-clause (lambda (a) (let fnrec3303 ((a a)) (let* ((params (jolt-map (var-deref "jolt.backend-scheme" "munge-name") (jolt-get a (keyword #f "params")))) (restp (let* ((temp__15__auto (jolt-get a (keyword #f "rest")))) (if (jolt-truthy? temp__15__auto) (let* ((r temp__15__auto)) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") r)) jolt-nil))) (label (jolt-invoke (var-deref "jolt.backend-scheme" "fresh-label") "fnrec")) (body (let* ((frame__8__auto (jolt-invoke (var-deref "clojure.core" "array-map") (jolt-var "jolt.backend-scheme" "*recur-target*") label))) (begin (jolt-invoke (var-deref "clojure.core" "push-thread-bindings") frame__8__auto) (dynamic-wind (lambda () #f) (lambda () (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get a (keyword #f "body")))) (lambda () (jolt-invoke (var-deref "clojure.core" "pop-thread-bindings"))))))) (paramlist (if (jolt-truthy? (let* ((and__13__auto restp)) (if (jolt-truthy? and__13__auto) (jolt-empty? params) and__13__auto))) restp (if (jolt-truthy? restp) (jolt-invoke (var-deref "clojure.core" "str") "(" (jolt-invoke (var-deref "clojure.string" "join") " " params) " . " restp ")") (if (jolt-truthy? (keyword #f "else")) (jolt-invoke (var-deref "clojure.core" "str") "(" (jolt-invoke (var-deref "clojure.string" "join") " " params) ")") jolt-nil)))) (binds (if (jolt-truthy? restp) (let* ((_a$3305 (jolt-map (lambda (p) (let fnrec3304 ((p p)) (jolt-invoke (var-deref "clojure.core" "str") "(" p " " p ")"))) params)) (_a$3306 (jolt-vector (jolt-invoke (var-deref "clojure.core" "str") "(" restp " (list->cseq " restp "))")))) (jolt-concat _a$3305 _a$3306)) (jolt-map (lambda (p) (let fnrec3307 ((p p)) (jolt-invoke (var-deref "clojure.core" "str") "(" p " " p ")"))) params)))) (let* ((_o$3308 paramlist) (_o$3309 (jolt-invoke (var-deref "clojure.core" "str") "(let " label " (" (jolt-invoke (var-deref "clojure.string" "join") " " binds) ") " body ")"))) (jolt-vector _o$3308 _o$3309))))))) emit-arity-clause))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "stdlib-var?" (letrec ((stdlib-var? (lambda (n) (let fnrec3274 ((n n)) (let* ((and__13__auto (jolt= (keyword #f "var") (jolt-get n (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.string" "starts-with?") (let* ((or__14__auto (jolt-get n (keyword #f "ns")))) (if (jolt-truthy? or__14__auto) or__14__auto "")) "clojure.") and__13__auto)))))) stdlib-var?))) + (def-var! "jolt.backend-scheme" "emit-fn" (letrec ((emit-fn (lambda (node) (let fnrec3310 ((node node)) (let* ((arities (jolt-get node (keyword #f "arities"))) (self (let* ((temp__15__auto (jolt-get node (keyword #f "name")))) (if (jolt-truthy? temp__15__auto) (let* ((nm temp__15__auto)) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") nm)) jolt-nil))) (clauses (let* ((frame__8__auto (jolt-invoke (var-deref "clojure.core" "array-map") (jolt-var "jolt.backend-scheme" "*known-procs*") (if (jolt-truthy? self) (jolt-conj (var-deref "jolt.backend-scheme" "*known-procs*") self) (var-deref "jolt.backend-scheme" "*known-procs*"))))) (begin (jolt-invoke (var-deref "clojure.core" "push-thread-bindings") frame__8__auto) (dynamic-wind (lambda () #f) (lambda () (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit-arity-clause") arities)) (lambda () (jolt-invoke (var-deref "clojure.core" "pop-thread-bindings"))))))) (_lambda (if (jolt= 1 (jolt-count clauses)) (let* ((c (jolt-first clauses))) (let* ((_a$3311 (var-deref "clojure.core" "str")) (_a$3312 "(lambda ") (_a$3313 (jolt-nth c 0)) (_a$3314 " ") (_a$3315 (jolt-nth c 1)) (_a$3316 ")")) (jolt-invoke _a$3311 _a$3312 _a$3313 _a$3314 _a$3315 _a$3316))) (jolt-invoke (var-deref "clojure.core" "str") "(case-lambda " (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map (lambda (c) (let fnrec3317 ((c c)) (let* ((_a$3318 (var-deref "clojure.core" "str")) (_a$3319 "(") (_a$3320 (jolt-nth c 0)) (_a$3321 " ") (_a$3322 (jolt-nth c 1)) (_a$3323 ")")) (jolt-invoke _a$3318 _a$3319 _a$3320 _a$3321 _a$3322 _a$3323)))) clauses)) ")")))) (let* ((temp__4__auto (jolt-get node (keyword #f "name")))) (if (jolt-truthy? temp__4__auto) (let* ((nm temp__4__auto)) (let* ((m (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") nm))) (jolt-invoke (var-deref "clojure.core" "str") "(letrec ((" m " " _lambda ")) " m ")"))) _lambda))))))) emit-fn))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-invoke" (letrec ((emit-invoke (lambda (node) (let fnrec3275 ((node node)) (let* ((fnode (jolt-get node (keyword #f "fn"))) (arg-nodes (jolt-get node (keyword #f "args"))) (args (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit") arg-nodes)) (nop (jolt-invoke (var-deref "jolt.backend-scheme" "native-op") fnode (jolt-count args))) (kind (jolt-invoke (var-deref "jolt.backend-scheme" "ifn-kind") fnode)) (order-args (lambda (build) (let fnrec3276 ((build build)) (jolt-invoke (var-deref "jolt.backend-scheme" "ordered-call") arg-nodes args build)))) (defstr (lambda (as) (let fnrec3277 ((as as)) (if (> (jolt-count as) 1) (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-nth as 1)) "")))) (invoke (lambda () (let fnrec3278 () (let* ((_a$3280 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3281 (jolt-cons fnode arg-nodes)) (_a$3282 (jolt-cons (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode) args)) (_a$3283 (lambda (G__35) (let fnrec3279 ((G__35 G__35)) (let* ((G__36 G__35) (f (jolt-nth G__36 0 jolt-nil)) (as (jolt-invoke (var-deref "clojure.core" "nthnext") G__36 1))) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-invoke " f (if (jolt-truthy? (jolt-seq as)) (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " as)) "") ")")))))) (jolt-invoke _a$3280 _a$3281 _a$3282 _a$3283)))))) (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-empty? args))) (if (jolt-truthy? and__13__auto) (jolt= nop "+") and__13__auto)) and__13__auto))) "0" (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-empty? args))) (if (jolt-truthy? and__13__auto) (jolt= nop "*") and__13__auto)) and__13__auto))) "1" (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= 1 (jolt-count args)))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "cmp1-ops") nop) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "clojure.core" "str") "(begin " (jolt-first args) " #t)") (if (jolt-truthy? nop) (jolt-invoke order-args (lambda (as) (let fnrec3284 ((as as)) (jolt-invoke (var-deref "clojure.core" "str") "(" nop " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")")))) (if (jolt= kind (keyword #f "keyword")) (jolt-invoke order-args (lambda (as) (let fnrec3285 ((as as)) (let* ((_a$3286 (var-deref "clojure.core" "str")) (_a$3287 "(jolt-get ") (_a$3288 (jolt-first as)) (_a$3289 " ") (_a$3290 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode)) (_a$3291 (jolt-invoke defstr as)) (_a$3292 ")")) (jolt-invoke _a$3286 _a$3287 _a$3288 _a$3289 _a$3290 _a$3291 _a$3292))))) (if (jolt= kind (keyword #f "coll")) (let* ((_a$3294 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3295 (jolt-cons fnode arg-nodes)) (_a$3296 (jolt-cons (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode) args)) (_a$3297 (lambda (G__37) (let fnrec3293 ((G__37 G__37)) (let* ((G__38 G__37) (c (jolt-nth G__38 0 jolt-nil)) (as (jolt-invoke (var-deref "clojure.core" "nthnext") G__38 1))) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-get " c " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")")))))) (jolt-invoke _a$3294 _a$3295 _a$3296 _a$3297)) (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.backend-scheme" "stdlib-var?") fnode))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "prelude-mode?"))) and__13__auto))) (jolt-throw (let* ((_a$3304 (let* ((_a$3298 (var-deref "clojure.core" "str")) (_a$3299 "emit: unsupported stdlib fn `") (_a$3300 (jolt-get fnode (keyword #f "ns"))) (_a$3301 "/") (_a$3302 (jolt-get fnode (keyword #f "name"))) (_a$3303 "` (no core on Chez yet)")) (jolt-invoke _a$3298 _a$3299 _a$3300 _a$3301 _a$3302 _a$3303))) (_a$3305 (jolt-hash-map))) (jolt-ex-info _a$3304 _a$3305))) (if (jolt= (keyword #f "host-static") (jolt-get fnode (keyword #f "op"))) (jolt-invoke order-args (lambda (as) (let fnrec3306 ((as as)) (let* ((_a$3307 (var-deref "clojure.core" "str")) (_a$3308 "(host-static-call ") (_a$3309 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get fnode (keyword #f "class")))) (_a$3310 " ") (_a$3311 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get fnode (keyword #f "member")))) (_a$3312 (if (jolt-empty? as) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " as)))) (_a$3313 ")")) (jolt-invoke _a$3307 _a$3308 _a$3309 _a$3310 _a$3311 _a$3312 _a$3313))))) (if (jolt= (keyword #f "host") (jolt-get fnode (keyword #f "op"))) (jolt-throw (let* ((_a$3314 (jolt-invoke (var-deref "clojure.core" "str") "emit: unsupported host call `" (jolt-get fnode (keyword #f "name")) "`")) (_a$3315 (jolt-hash-map))) (jolt-ex-info _a$3314 _a$3315))) (if (jolt-truthy? (let* ((and__13__auto (jolt= (keyword #f "local") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "jolt.backend-scheme" "*known-procs*") (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") (jolt-get fnode (keyword #f "name"))))) and__13__auto))) (jolt-invoke invoke) (if (jolt= (keyword #f "var") (jolt-get fnode (keyword #f "op"))) (jolt-invoke invoke) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke invoke) jolt-nil))))))))))))))))) emit-invoke))) + (def-var! "jolt.backend-scheme" "native-op" (letrec ((native-op (lambda (fnode nargs) (let fnrec3324 ((fnode fnode) (nargs nargs)) (let* ((nm (let* ((G__33 (jolt-get fnode (keyword #f "op")))) (if (jolt= G__33 (keyword #f "var")) (if (jolt= "clojure.core" (jolt-get fnode (keyword #f "ns"))) (jolt-get fnode (keyword #f "name")) jolt-nil) (if (jolt= G__33 (keyword #f "host")) (jolt-get fnode (keyword #f "name")) jolt-nil)))) (op (if (jolt-truthy? nm) (jolt-invoke (var-deref "jolt.backend-scheme" "native-ops") nm) jolt-nil)) (arity-ok (if (jolt-truthy? nm) (jolt-invoke (var-deref "jolt.backend-scheme" "op-arity") nm) jolt-nil))) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "nil?") op)) jolt-nil (if (jolt-truthy? (let* ((and__13__auto arity-ok)) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke arity-ok nargs)) and__13__auto))) jolt-nil (if (jolt-truthy? (keyword #f "else")) op jolt-nil)))))))) native-op))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit-try" (letrec ((emit-try (lambda (node) (let fnrec3316 ((node node)) (let* ((core (let* ((temp__4__auto (jolt-get node (keyword #f "catch-sym")))) (if (jolt-truthy? temp__4__auto) (let* ((cs temp__4__auto)) (let* ((_a$3317 (var-deref "clojure.core" "str")) (_a$3318 "(guard (") (_a$3319 (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") cs)) (_a$3320 " (else ") (_a$3321 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "catch-body")))) (_a$3322 ")) ") (_a$3323 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "body")))) (_a$3324 ")")) (jolt-invoke _a$3317 _a$3318 _a$3319 _a$3320 _a$3321 _a$3322 _a$3323 _a$3324))) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "body"))))))) (let* ((temp__4__auto (jolt-get node (keyword #f "finally")))) (if (jolt-truthy? temp__4__auto) (let* ((fin temp__4__auto)) (jolt-invoke (var-deref "clojure.core" "str") "(dynamic-wind (lambda () #f) (lambda () " core ") (lambda () " (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fin) "))")) core))))))) emit-try))) + (def-var! "jolt.backend-scheme" "ifn-kind" (letrec ((ifn-kind (lambda (fnode) (let fnrec3325 ((fnode fnode)) (let* ((G__34 (jolt-get fnode (keyword #f "op")))) (if (jolt= G__34 (keyword #f "const")) (if (jolt-truthy? (jolt-invoke (var-deref "clojure.core" "keyword?") (jolt-get fnode (keyword #f "val")))) (keyword #f "keyword") jolt-nil) (if (jolt-truthy? (let* ((or__14__auto (jolt= G__34 (keyword #f "map")))) (if (jolt-truthy? or__14__auto) or__14__auto (let* ((or__14__auto (jolt= G__34 (keyword #f "set")))) (if (jolt-truthy? or__14__auto) or__14__auto (jolt= G__34 (keyword #f "vector"))))))) (keyword #f "coll") jolt-nil))))))) ifn-kind))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "returns-scheme-bool?" (letrec ((returns-scheme-bool? (lambda (node) (let fnrec3325 ((node node)) (if (jolt-truthy? (let* ((and__13__auto (jolt= (keyword #f "const") (jolt-get node (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "boolean?") (jolt-get node (keyword #f "val"))) and__13__auto))) #t (if (jolt= (keyword #f "invoke") (jolt-get node (keyword #f "op"))) (let* ((nop (let* ((_a$3326 (var-deref "jolt.backend-scheme" "native-op")) (_a$3327 (jolt-get node (keyword #f "fn"))) (_a$3328 (jolt-count (jolt-get node (keyword #f "args"))))) (jolt-invoke _a$3326 _a$3327 _a$3328)))) (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "bool-returning-ops") nop) and__13__auto))) #t #f)) (if (jolt-truthy? (keyword #f "else")) #f jolt-nil))))))) returns-scheme-bool?))) + (def-var! "jolt.backend-scheme" "stdlib-var?" (letrec ((stdlib-var? (lambda (n) (let fnrec3326 ((n n)) (let* ((and__13__auto (jolt= (keyword #f "var") (jolt-get n (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.string" "starts-with?") (let* ((or__14__auto (jolt-get n (keyword #f "ns")))) (if (jolt-truthy? or__14__auto) or__14__auto "")) "clojure.") and__13__auto)))))) stdlib-var?))) (guard (e (#t #f)) - (def-var! "jolt.backend-scheme" "emit" (letrec ((emit (lambda (node) (let fnrec3329 ((node node)) (let* ((G__39 (jolt-get node (keyword #f "op")))) (if (jolt= G__39 (keyword #f "const")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-const") (jolt-get node (keyword #f "val"))) (if (jolt= G__39 (keyword #f "local")) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") (jolt-get node (keyword #f "name"))) (if (jolt= G__39 (keyword #f "var")) (let* ((core-proc (let* ((and__13__auto (jolt= "clojure.core" (jolt-get node (keyword #f "ns"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "core-value-procs") (jolt-get node (keyword #f "name"))) and__13__auto)))) (if (jolt-truthy? core-proc) core-proc (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.backend-scheme" "stdlib-var?") node))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "prelude-mode?"))) and__13__auto))) (jolt-throw (let* ((_a$3336 (let* ((_a$3330 (var-deref "clojure.core" "str")) (_a$3331 "emit: unsupported stdlib ref `") (_a$3332 (jolt-get node (keyword #f "ns"))) (_a$3333 "/") (_a$3334 (jolt-get node (keyword #f "name"))) (_a$3335 "` (no core on Chez yet)")) (jolt-invoke _a$3330 _a$3331 _a$3332 _a$3333 _a$3334 _a$3335))) (_a$3337 (jolt-hash-map))) (jolt-ex-info _a$3336 _a$3337))) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$3338 (var-deref "clojure.core" "str")) (_a$3339 "(var-deref ") (_a$3340 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3341 " ") (_a$3342 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3343 ")")) (jolt-invoke _a$3338 _a$3339 _a$3340 _a$3341 _a$3342 _a$3343)) jolt-nil)))) (if (jolt= G__39 (keyword #f "the-var")) (let* ((_a$3344 (var-deref "clojure.core" "str")) (_a$3345 "(jolt-var ") (_a$3346 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3347 " ") (_a$3348 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3349 ")")) (jolt-invoke _a$3344 _a$3345 _a$3346 _a$3347 _a$3348 _a$3349)) (if (jolt= G__39 (keyword #f "set-var")) (let* ((_a$3350 (var-deref "clojure.core" "str")) (_a$3351 "(jolt-var-set ") (_a$3352 (jolt-invoke emit (jolt-get node (keyword #f "the-var")))) (_a$3353 " ") (_a$3354 (jolt-invoke emit (jolt-get node (keyword #f "val")))) (_a$3355 ")")) (jolt-invoke _a$3350 _a$3351 _a$3352 _a$3353 _a$3354 _a$3355)) (if (jolt= G__39 (keyword #f "set-field")) (let* ((_a$3356 (var-deref "clojure.core" "str")) (_a$3357 "(jolt-set-field! ") (_a$3358 (jolt-invoke emit (jolt-get node (keyword #f "obj")))) (_a$3359 " (keyword #f ") (_a$3360 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "field")))) (_a$3361 ") ") (_a$3362 (jolt-invoke emit (jolt-get node (keyword #f "val")))) (_a$3363 ")")) (jolt-invoke _a$3356 _a$3357 _a$3358 _a$3359 _a$3360 _a$3361 _a$3362 _a$3363)) (if (jolt= G__39 (keyword #f "defmacro")) (let* ((_a$3364 (var-deref "clojure.core" "str")) (_a$3365 "(begin (def-var! ") (_a$3366 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3367 " ") (_a$3368 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3369 " ") (_a$3370 (jolt-invoke emit (jolt-get node (keyword #f "fn")))) (_a$3371 ") (mark-macro! ") (_a$3372 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3373 " ") (_a$3374 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3375 ") jolt-nil)")) (jolt-invoke _a$3364 _a$3365 _a$3366 _a$3367 _a$3368 _a$3369 _a$3370 _a$3371 _a$3372 _a$3373 _a$3374 _a$3375)) (if (jolt= G__39 (keyword #f "host")) (jolt-throw (let* ((_a$3376 (jolt-invoke (var-deref "clojure.core" "str") "emit: unsupported host ref `" (jolt-get node (keyword #f "name")) "`")) (_a$3377 (jolt-hash-map))) (jolt-ex-info _a$3376 _a$3377))) (if (jolt= G__39 (keyword #f "host-static")) (let* ((_a$3378 (var-deref "clojure.core" "str")) (_a$3379 "(host-static-ref ") (_a$3380 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "class")))) (_a$3381 " ") (_a$3382 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "member")))) (_a$3383 ")")) (jolt-invoke _a$3378 _a$3379 _a$3380 _a$3381 _a$3382 _a$3383)) (if (jolt= G__39 (keyword #f "host-new")) (let* ((_a$3384 (var-deref "clojure.core" "str")) (_a$3385 "(host-new ") (_a$3386 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "class")))) (_a$3387 (let* ((args (jolt-map emit (jolt-get node (keyword #f "args"))))) (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args))))) (_a$3388 ")")) (jolt-invoke _a$3384 _a$3385 _a$3386 _a$3387 _a$3388)) (if (jolt= G__39 (keyword #f "if")) (let* ((test (jolt-get node (keyword #f "test"))) (t (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "returns-scheme-bool?") test)) (jolt-invoke emit test) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-truthy? " (jolt-invoke emit test) ")")))) (let* ((_a$3389 (var-deref "clojure.core" "str")) (_a$3390 "(if ") (_a$3391 t) (_a$3392 " ") (_a$3393 (jolt-invoke emit (jolt-get node (keyword #f "then")))) (_a$3394 " ") (_a$3395 (jolt-invoke emit (jolt-get node (keyword #f "else")))) (_a$3396 ")")) (jolt-invoke _a$3389 _a$3390 _a$3391 _a$3392 _a$3393 _a$3394 _a$3395 _a$3396))) (if (jolt= G__39 (keyword #f "do")) (let* ((_a$3397 (var-deref "clojure.core" "str")) (_a$3398 "(begin ") (_a$3399 (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map emit (jolt-get node (keyword #f "statements"))))) (_a$3400 (if (jolt-empty? (jolt-get node (keyword #f "statements"))) "" " ")) (_a$3401 (jolt-invoke emit (jolt-get node (keyword #f "ret")))) (_a$3402 ")")) (jolt-invoke _a$3397 _a$3398 _a$3399 _a$3400 _a$3401 _a$3402)) (if (jolt= G__39 (keyword #f "invoke")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-invoke") node) (if (jolt= G__39 (keyword #f "vector")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-vector" (jolt-map emit (jolt-get node (keyword #f "items")))) (if (jolt= G__39 (keyword #f "set")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-hash-set" (jolt-map emit (jolt-get node (keyword #f "items")))) (if (jolt= G__39 (keyword #f "map")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-hash-map" (let* ((_a$3406 (var-deref "clojure.core" "mapcat")) (_a$3407 (lambda (p) (let fnrec3403 ((p p)) (let* ((_o$3404 (jolt-invoke emit (jolt-nth p 0))) (_o$3405 (jolt-invoke emit (jolt-nth p 1)))) (jolt-vector _o$3404 _o$3405))))) (_a$3408 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$3406 _a$3407 _a$3408))) (if (jolt= G__39 (keyword #f "quote")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-quoted") (jolt-get node (keyword #f "form"))) (if (jolt= G__39 (keyword #f "throw")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-throw " (jolt-invoke emit (jolt-get node (keyword #f "expr"))) ")") (if (jolt= G__39 (keyword #f "try")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-try") node) (if (jolt= G__39 (keyword #f "regex")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-regex " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "inst")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-inst-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "uuid")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-uuid-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "bigdec")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-bigdec-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "the-ns")) (jolt-invoke (var-deref "clojure.core" "str") "(intern-ns! " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name"))) ")") (if (jolt= G__39 (keyword #f "host-call")) (let* ((m (jolt-get node (keyword #f "method"))) (target (jolt-invoke emit (jolt-get node (keyword #f "target")))) (args (jolt-map emit (jolt-get node (keyword #f "args"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "supported-host-methods") m)) (let* ((_a$3409 (var-deref "clojure.core" "str")) (_a$3410 "(jolt-host-call ") (_a$3411 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") m)) (_a$3412 " ") (_a$3413 target) (_a$3414 (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args)))) (_a$3415 ")")) (jolt-invoke _a$3409 _a$3410 _a$3411 _a$3412 _a$3413 _a$3414 _a$3415)) (let* ((_a$3416 (var-deref "clojure.core" "str")) (_a$3417 "(record-method-dispatch ") (_a$3418 target) (_a$3419 " ") (_a$3420 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") m)) (_a$3421 " (jolt-vector") (_a$3422 (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args)))) (_a$3423 "))")) (jolt-invoke _a$3416 _a$3417 _a$3418 _a$3419 _a$3420 _a$3421 _a$3422 _a$3423)))) (if (jolt= G__39 (keyword #f "let")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-let") node) (if (jolt= G__39 (keyword #f "loop")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-loop") node) (if (jolt= G__39 (keyword #f "recur")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-recur") node) (if (jolt= G__39 (keyword #f "fn")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-fn") node) (if (jolt= G__39 (keyword #f "def")) (if (jolt-truthy? (jolt-get node (keyword #f "no-init"))) (let* ((_a$3424 (var-deref "clojure.core" "str")) (_a$3425 "(declare-var! ") (_a$3426 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3427 " ") (_a$3428 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3429 ")")) (jolt-invoke _a$3424 _a$3425 _a$3426 _a$3427 _a$3428 _a$3429)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "jmeta-nonempty?") (jolt-get node (keyword #f "meta")))) (let* ((_a$3430 (var-deref "clojure.core" "str")) (_a$3431 "(def-var-with-meta! ") (_a$3432 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3433 " ") (_a$3434 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3435 " ") (_a$3436 (jolt-invoke emit (jolt-get node (keyword #f "init")))) (_a$3437 " ") (_a$3438 (jolt-invoke (var-deref "jolt.backend-scheme" "emit-quoted") (jolt-get node (keyword #f "meta")))) (_a$3439 ")")) (jolt-invoke _a$3430 _a$3431 _a$3432 _a$3433 _a$3434 _a$3435 _a$3436 _a$3437 _a$3438 _a$3439)) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$3440 (var-deref "clojure.core" "str")) (_a$3441 "(def-var! ") (_a$3442 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3443 " ") (_a$3444 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3445 " ") (_a$3446 (jolt-invoke emit (jolt-get node (keyword #f "init")))) (_a$3447 ")")) (jolt-invoke _a$3440 _a$3441 _a$3442 _a$3443 _a$3444 _a$3445 _a$3446 _a$3447)) jolt-nil))) (jolt-throw (let* ((_a$3448 (jolt-invoke (var-deref "clojure.core" "str") "emit: op not yet ported / unhandled: " (jolt-invoke (var-deref "clojure.core" "pr-str") (jolt-get node (keyword #f "op"))))) (_a$3449 (jolt-hash-map))) (jolt-ex-info _a$3448 _a$3449)))))))))))))))))))))))))))))))))))))) emit))) \ No newline at end of file + (def-var! "jolt.backend-scheme" "emit-invoke" (letrec ((emit-invoke (lambda (node) (let fnrec3327 ((node node)) (let* ((fnode (jolt-get node (keyword #f "fn"))) (arg-nodes (jolt-get node (keyword #f "args"))) (args (jolt-invoke (var-deref "clojure.core" "mapv") (var-deref "jolt.backend-scheme" "emit") arg-nodes)) (nop (jolt-invoke (var-deref "jolt.backend-scheme" "native-op") fnode (jolt-count args))) (kind (jolt-invoke (var-deref "jolt.backend-scheme" "ifn-kind") fnode)) (order-args (lambda (build) (let fnrec3328 ((build build)) (jolt-invoke (var-deref "jolt.backend-scheme" "ordered-call") arg-nodes args build)))) (defstr (lambda (as) (let fnrec3329 ((as as)) (if (> (jolt-count as) 1) (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-nth as 1)) "")))) (invoke (lambda () (let fnrec3330 () (let* ((_a$3332 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3333 (jolt-cons fnode arg-nodes)) (_a$3334 (jolt-cons (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode) args)) (_a$3335 (lambda (G__35) (let fnrec3331 ((G__35 G__35)) (let* ((G__36 G__35) (f (jolt-nth G__36 0 jolt-nil)) (as (jolt-invoke (var-deref "clojure.core" "nthnext") G__36 1))) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-invoke " f (if (jolt-truthy? (jolt-seq as)) (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " as)) "") ")")))))) (jolt-invoke _a$3332 _a$3333 _a$3334 _a$3335)))))) (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-empty? args))) (if (jolt-truthy? and__13__auto) (jolt= nop "+") and__13__auto)) and__13__auto))) "0" (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt-empty? args))) (if (jolt-truthy? and__13__auto) (jolt= nop "*") and__13__auto)) and__13__auto))) "1" (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (let* ((and__13__auto (jolt= 1 (jolt-count args)))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "cmp1-ops") nop) and__13__auto)) and__13__auto))) (jolt-invoke (var-deref "clojure.core" "str") "(begin " (jolt-first args) " #t)") (if (jolt-truthy? nop) (jolt-invoke order-args (lambda (as) (let fnrec3336 ((as as)) (jolt-invoke (var-deref "clojure.core" "str") "(" nop " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")")))) (if (jolt= kind (keyword #f "keyword")) (jolt-invoke order-args (lambda (as) (let fnrec3337 ((as as)) (let* ((_a$3338 (var-deref "clojure.core" "str")) (_a$3339 "(jolt-get ") (_a$3340 (jolt-first as)) (_a$3341 " ") (_a$3342 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode)) (_a$3343 (jolt-invoke defstr as)) (_a$3344 ")")) (jolt-invoke _a$3338 _a$3339 _a$3340 _a$3341 _a$3342 _a$3343 _a$3344))))) (if (jolt= kind (keyword #f "coll")) (let* ((_a$3346 (var-deref "jolt.backend-scheme" "ordered-call")) (_a$3347 (jolt-cons fnode arg-nodes)) (_a$3348 (jolt-cons (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fnode) args)) (_a$3349 (lambda (G__37) (let fnrec3345 ((G__37 G__37)) (let* ((G__38 G__37) (c (jolt-nth G__38 0 jolt-nil)) (as (jolt-invoke (var-deref "clojure.core" "nthnext") G__38 1))) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-get " c " " (jolt-invoke (var-deref "clojure.string" "join") " " as) ")")))))) (jolt-invoke _a$3346 _a$3347 _a$3348 _a$3349)) (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.backend-scheme" "stdlib-var?") fnode))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "prelude-mode?"))) and__13__auto))) (jolt-throw (let* ((_a$3356 (let* ((_a$3350 (var-deref "clojure.core" "str")) (_a$3351 "emit: unsupported stdlib fn `") (_a$3352 (jolt-get fnode (keyword #f "ns"))) (_a$3353 "/") (_a$3354 (jolt-get fnode (keyword #f "name"))) (_a$3355 "` (no core on Chez yet)")) (jolt-invoke _a$3350 _a$3351 _a$3352 _a$3353 _a$3354 _a$3355))) (_a$3357 (jolt-hash-map))) (jolt-ex-info _a$3356 _a$3357))) (if (jolt= (keyword #f "host-static") (jolt-get fnode (keyword #f "op"))) (jolt-invoke order-args (lambda (as) (let fnrec3358 ((as as)) (let* ((_a$3359 (var-deref "clojure.core" "str")) (_a$3360 "(host-static-call ") (_a$3361 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get fnode (keyword #f "class")))) (_a$3362 " ") (_a$3363 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get fnode (keyword #f "member")))) (_a$3364 (if (jolt-empty? as) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " as)))) (_a$3365 ")")) (jolt-invoke _a$3359 _a$3360 _a$3361 _a$3362 _a$3363 _a$3364 _a$3365))))) (if (jolt= (keyword #f "host") (jolt-get fnode (keyword #f "op"))) (jolt-throw (let* ((_a$3366 (jolt-invoke (var-deref "clojure.core" "str") "emit: unsupported host call `" (jolt-get fnode (keyword #f "name")) "`")) (_a$3367 (jolt-hash-map))) (jolt-ex-info _a$3366 _a$3367))) (if (jolt-truthy? (let* ((and__13__auto (jolt= (keyword #f "local") (jolt-get fnode (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "jolt.backend-scheme" "*known-procs*") (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") (jolt-get fnode (keyword #f "name"))))) and__13__auto))) (jolt-invoke invoke) (if (jolt= (keyword #f "var") (jolt-get fnode (keyword #f "op"))) (jolt-invoke invoke) (if (jolt-truthy? (keyword #f "else")) (jolt-invoke invoke) jolt-nil))))))))))))))))) emit-invoke))) +(guard (e (#t #f)) + (def-var! "jolt.backend-scheme" "emit-try" (letrec ((emit-try (lambda (node) (let fnrec3368 ((node node)) (let* ((core (let* ((temp__4__auto (jolt-get node (keyword #f "catch-sym")))) (if (jolt-truthy? temp__4__auto) (let* ((cs temp__4__auto)) (let* ((_a$3369 (var-deref "clojure.core" "str")) (_a$3370 "(guard (") (_a$3371 (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") cs)) (_a$3372 " (else ") (_a$3373 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "catch-body")))) (_a$3374 ")) ") (_a$3375 (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "body")))) (_a$3376 ")")) (jolt-invoke _a$3369 _a$3370 _a$3371 _a$3372 _a$3373 _a$3374 _a$3375 _a$3376))) (jolt-invoke (var-deref "jolt.backend-scheme" "emit") (jolt-get node (keyword #f "body"))))))) (let* ((temp__4__auto (jolt-get node (keyword #f "finally")))) (if (jolt-truthy? temp__4__auto) (let* ((fin temp__4__auto)) (jolt-invoke (var-deref "clojure.core" "str") "(dynamic-wind (lambda () #f) (lambda () " core ") (lambda () " (jolt-invoke (var-deref "jolt.backend-scheme" "emit") fin) "))")) core))))))) emit-try))) +(guard (e (#t #f)) + (def-var! "jolt.backend-scheme" "returns-scheme-bool?" (letrec ((returns-scheme-bool? (lambda (node) (let fnrec3377 ((node node)) (if (jolt-truthy? (let* ((and__13__auto (jolt= (keyword #f "const") (jolt-get node (keyword #f "op"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "clojure.core" "boolean?") (jolt-get node (keyword #f "val"))) and__13__auto))) #t (if (jolt= (keyword #f "invoke") (jolt-get node (keyword #f "op"))) (let* ((nop (let* ((_a$3378 (var-deref "jolt.backend-scheme" "native-op")) (_a$3379 (jolt-get node (keyword #f "fn"))) (_a$3380 (jolt-count (jolt-get node (keyword #f "args"))))) (jolt-invoke _a$3378 _a$3379 _a$3380)))) (if (jolt-truthy? (let* ((and__13__auto nop)) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "bool-returning-ops") nop) and__13__auto))) #t #f)) (if (jolt-truthy? (keyword #f "else")) #f jolt-nil))))))) returns-scheme-bool?))) +(guard (e (#t #f)) + (def-var! "jolt.backend-scheme" "emit" (letrec ((emit (lambda (node) (let fnrec3381 ((node node)) (let* ((G__39 (jolt-get node (keyword #f "op")))) (if (jolt= G__39 (keyword #f "const")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-const") (jolt-get node (keyword #f "val"))) (if (jolt= G__39 (keyword #f "local")) (jolt-invoke (var-deref "jolt.backend-scheme" "munge-name") (jolt-get node (keyword #f "name"))) (if (jolt= G__39 (keyword #f "var")) (let* ((core-proc (let* ((and__13__auto (jolt= "clojure.core" (jolt-get node (keyword #f "ns"))))) (if (jolt-truthy? and__13__auto) (jolt-invoke (var-deref "jolt.backend-scheme" "core-value-procs") (jolt-get node (keyword #f "name"))) and__13__auto)))) (if (jolt-truthy? core-proc) core-proc (if (jolt-truthy? (let* ((and__13__auto (jolt-invoke (var-deref "jolt.backend-scheme" "stdlib-var?") node))) (if (jolt-truthy? and__13__auto) (jolt-not (jolt-invoke (var-deref "clojure.core" "deref") (var-deref "jolt.backend-scheme" "prelude-mode?"))) and__13__auto))) (jolt-throw (let* ((_a$3388 (let* ((_a$3382 (var-deref "clojure.core" "str")) (_a$3383 "emit: unsupported stdlib ref `") (_a$3384 (jolt-get node (keyword #f "ns"))) (_a$3385 "/") (_a$3386 (jolt-get node (keyword #f "name"))) (_a$3387 "` (no core on Chez yet)")) (jolt-invoke _a$3382 _a$3383 _a$3384 _a$3385 _a$3386 _a$3387))) (_a$3389 (jolt-hash-map))) (jolt-ex-info _a$3388 _a$3389))) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$3390 (var-deref "clojure.core" "str")) (_a$3391 "(var-deref ") (_a$3392 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3393 " ") (_a$3394 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3395 ")")) (jolt-invoke _a$3390 _a$3391 _a$3392 _a$3393 _a$3394 _a$3395)) jolt-nil)))) (if (jolt= G__39 (keyword #f "the-var")) (let* ((_a$3396 (var-deref "clojure.core" "str")) (_a$3397 "(jolt-var ") (_a$3398 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3399 " ") (_a$3400 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3401 ")")) (jolt-invoke _a$3396 _a$3397 _a$3398 _a$3399 _a$3400 _a$3401)) (if (jolt= G__39 (keyword #f "set-var")) (let* ((_a$3402 (var-deref "clojure.core" "str")) (_a$3403 "(jolt-var-set ") (_a$3404 (jolt-invoke emit (jolt-get node (keyword #f "the-var")))) (_a$3405 " ") (_a$3406 (jolt-invoke emit (jolt-get node (keyword #f "val")))) (_a$3407 ")")) (jolt-invoke _a$3402 _a$3403 _a$3404 _a$3405 _a$3406 _a$3407)) (if (jolt= G__39 (keyword #f "set-field")) (let* ((_a$3408 (var-deref "clojure.core" "str")) (_a$3409 "(jolt-set-field! ") (_a$3410 (jolt-invoke emit (jolt-get node (keyword #f "obj")))) (_a$3411 " (keyword #f ") (_a$3412 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "field")))) (_a$3413 ") ") (_a$3414 (jolt-invoke emit (jolt-get node (keyword #f "val")))) (_a$3415 ")")) (jolt-invoke _a$3408 _a$3409 _a$3410 _a$3411 _a$3412 _a$3413 _a$3414 _a$3415)) (if (jolt= G__39 (keyword #f "defmacro")) (let* ((_a$3416 (var-deref "clojure.core" "str")) (_a$3417 "(begin (def-var! ") (_a$3418 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3419 " ") (_a$3420 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3421 " ") (_a$3422 (jolt-invoke emit (jolt-get node (keyword #f "fn")))) (_a$3423 ") (mark-macro! ") (_a$3424 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3425 " ") (_a$3426 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3427 ") jolt-nil)")) (jolt-invoke _a$3416 _a$3417 _a$3418 _a$3419 _a$3420 _a$3421 _a$3422 _a$3423 _a$3424 _a$3425 _a$3426 _a$3427)) (if (jolt= G__39 (keyword #f "host")) (jolt-throw (let* ((_a$3428 (jolt-invoke (var-deref "clojure.core" "str") "emit: unsupported host ref `" (jolt-get node (keyword #f "name")) "`")) (_a$3429 (jolt-hash-map))) (jolt-ex-info _a$3428 _a$3429))) (if (jolt= G__39 (keyword #f "host-static")) (let* ((_a$3430 (var-deref "clojure.core" "str")) (_a$3431 "(host-static-ref ") (_a$3432 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "class")))) (_a$3433 " ") (_a$3434 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "member")))) (_a$3435 ")")) (jolt-invoke _a$3430 _a$3431 _a$3432 _a$3433 _a$3434 _a$3435)) (if (jolt= G__39 (keyword #f "host-new")) (let* ((_a$3436 (var-deref "clojure.core" "str")) (_a$3437 "(host-new ") (_a$3438 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "class")))) (_a$3439 (let* ((args (jolt-map emit (jolt-get node (keyword #f "args"))))) (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args))))) (_a$3440 ")")) (jolt-invoke _a$3436 _a$3437 _a$3438 _a$3439 _a$3440)) (if (jolt= G__39 (keyword #f "if")) (let* ((test (jolt-get node (keyword #f "test"))) (t (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "returns-scheme-bool?") test)) (jolt-invoke emit test) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-truthy? " (jolt-invoke emit test) ")")))) (let* ((_a$3441 (var-deref "clojure.core" "str")) (_a$3442 "(if ") (_a$3443 t) (_a$3444 " ") (_a$3445 (jolt-invoke emit (jolt-get node (keyword #f "then")))) (_a$3446 " ") (_a$3447 (jolt-invoke emit (jolt-get node (keyword #f "else")))) (_a$3448 ")")) (jolt-invoke _a$3441 _a$3442 _a$3443 _a$3444 _a$3445 _a$3446 _a$3447 _a$3448))) (if (jolt= G__39 (keyword #f "do")) (let* ((_a$3449 (var-deref "clojure.core" "str")) (_a$3450 "(begin ") (_a$3451 (jolt-invoke (var-deref "clojure.string" "join") " " (jolt-map emit (jolt-get node (keyword #f "statements"))))) (_a$3452 (if (jolt-empty? (jolt-get node (keyword #f "statements"))) "" " ")) (_a$3453 (jolt-invoke emit (jolt-get node (keyword #f "ret")))) (_a$3454 ")")) (jolt-invoke _a$3449 _a$3450 _a$3451 _a$3452 _a$3453 _a$3454)) (if (jolt= G__39 (keyword #f "invoke")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-invoke") node) (if (jolt= G__39 (keyword #f "vector")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-vector" (jolt-map emit (jolt-get node (keyword #f "items")))) (if (jolt= G__39 (keyword #f "set")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-hash-set" (jolt-map emit (jolt-get node (keyword #f "items")))) (if (jolt= G__39 (keyword #f "map")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ordered") "jolt-hash-map" (let* ((_a$3458 (var-deref "clojure.core" "mapcat")) (_a$3459 (lambda (p) (let fnrec3455 ((p p)) (let* ((_o$3456 (jolt-invoke emit (jolt-nth p 0))) (_o$3457 (jolt-invoke emit (jolt-nth p 1)))) (jolt-vector _o$3456 _o$3457))))) (_a$3460 (jolt-get node (keyword #f "pairs")))) (jolt-invoke _a$3458 _a$3459 _a$3460))) (if (jolt= G__39 (keyword #f "quote")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-quoted") (jolt-get node (keyword #f "form"))) (if (jolt= G__39 (keyword #f "throw")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-throw " (jolt-invoke emit (jolt-get node (keyword #f "expr"))) ")") (if (jolt= G__39 (keyword #f "try")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-try") node) (if (jolt= G__39 (keyword #f "regex")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-regex " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "inst")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-inst-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "uuid")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-uuid-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "bigdec")) (jolt-invoke (var-deref "clojure.core" "str") "(jolt-bigdec-from-string " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "source"))) ")") (if (jolt= G__39 (keyword #f "the-ns")) (jolt-invoke (var-deref "clojure.core" "str") "(intern-ns! " (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name"))) ")") (if (jolt= G__39 (keyword #f "host-call")) (let* ((m (jolt-get node (keyword #f "method"))) (target (jolt-invoke emit (jolt-get node (keyword #f "target")))) (args (jolt-map emit (jolt-get node (keyword #f "args"))))) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "supported-host-methods") m)) (let* ((_a$3461 (var-deref "clojure.core" "str")) (_a$3462 "(jolt-host-call ") (_a$3463 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") m)) (_a$3464 " ") (_a$3465 target) (_a$3466 (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args)))) (_a$3467 ")")) (jolt-invoke _a$3461 _a$3462 _a$3463 _a$3464 _a$3465 _a$3466 _a$3467)) (let* ((_a$3468 (var-deref "clojure.core" "str")) (_a$3469 "(record-method-dispatch ") (_a$3470 target) (_a$3471 " ") (_a$3472 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") m)) (_a$3473 " (jolt-vector") (_a$3474 (if (jolt-empty? args) "" (jolt-invoke (var-deref "clojure.core" "str") " " (jolt-invoke (var-deref "clojure.string" "join") " " args)))) (_a$3475 "))")) (jolt-invoke _a$3468 _a$3469 _a$3470 _a$3471 _a$3472 _a$3473 _a$3474 _a$3475)))) (if (jolt= G__39 (keyword #f "let")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-let") node) (if (jolt= G__39 (keyword #f "loop")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-loop") node) (if (jolt= G__39 (keyword #f "recur")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-recur") node) (if (jolt= G__39 (keyword #f "ffi-fn")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-ffi-fn") node) (if (jolt= G__39 (keyword #f "fn")) (jolt-invoke (var-deref "jolt.backend-scheme" "emit-fn") node) (if (jolt= G__39 (keyword #f "def")) (if (jolt-truthy? (jolt-get node (keyword #f "no-init"))) (let* ((_a$3476 (var-deref "clojure.core" "str")) (_a$3477 "(declare-var! ") (_a$3478 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3479 " ") (_a$3480 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3481 ")")) (jolt-invoke _a$3476 _a$3477 _a$3478 _a$3479 _a$3480 _a$3481)) (if (jolt-truthy? (jolt-invoke (var-deref "jolt.backend-scheme" "jmeta-nonempty?") (jolt-get node (keyword #f "meta")))) (let* ((_a$3482 (var-deref "clojure.core" "str")) (_a$3483 "(def-var-with-meta! ") (_a$3484 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3485 " ") (_a$3486 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3487 " ") (_a$3488 (jolt-invoke emit (jolt-get node (keyword #f "init")))) (_a$3489 " ") (_a$3490 (jolt-invoke (var-deref "jolt.backend-scheme" "emit-quoted") (jolt-get node (keyword #f "meta")))) (_a$3491 ")")) (jolt-invoke _a$3482 _a$3483 _a$3484 _a$3485 _a$3486 _a$3487 _a$3488 _a$3489 _a$3490 _a$3491)) (if (jolt-truthy? (keyword #f "else")) (let* ((_a$3492 (var-deref "clojure.core" "str")) (_a$3493 "(def-var! ") (_a$3494 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "ns")))) (_a$3495 " ") (_a$3496 (jolt-invoke (var-deref "jolt.backend-scheme" "chez-str-lit") (jolt-get node (keyword #f "name")))) (_a$3497 " ") (_a$3498 (jolt-invoke emit (jolt-get node (keyword #f "init")))) (_a$3499 ")")) (jolt-invoke _a$3492 _a$3493 _a$3494 _a$3495 _a$3496 _a$3497 _a$3498 _a$3499)) jolt-nil))) (jolt-throw (let* ((_a$3500 (jolt-invoke (var-deref "clojure.core" "str") "emit: op not yet ported / unhandled: " (jolt-invoke (var-deref "clojure.core" "pr-str") (jolt-get node (keyword #f "op"))))) (_a$3501 (jolt-hash-map))) (jolt-ex-info _a$3500 _a$3501))))))))))))))))))))))))))))))))))))))) emit))) \ No newline at end of file diff --git a/jolt-core/jolt/analyzer.clj b/jolt-core/jolt/analyzer.clj index dc0f28e..4a0155b 100644 --- a/jolt-core/jolt/analyzer.clj +++ b/jolt-core/jolt/analyzer.clj @@ -393,6 +393,20 @@ (defn- analyze-ctor [ctx class args env] (host-new class (mapv #(analyze ctx % env) args))) +;; jolt.ffi/__cfn (jolt-ffi): the low-level foreign-function form a jolt library +;; uses (via the jolt.ffi/foreign-fn macro) to bind native code. Shape: +;; (jolt.ffi/__cfn "c_symbol" [:argtype ...] :rettype) +;; The C symbol is a string literal and the types are literal keywords, read here +;; at compile time; the Chez back end lowers it to a real `foreign-procedure` +;; (typed marshaling, no runtime eval). A leaf IR node. +(defn- analyze-ffi-fn [ctx items env] + (when (not= 4 (count items)) + (throw (str "jolt.ffi/foreign-fn expects (foreign-fn \"sym\" [argtypes] rettype)"))) + {:op :ffi-fn + :csym (nth items 1) + :argtypes (mapv name (form-vec-items (nth items 2))) + :rettype (name (nth items 3))}) + ;; The `.` special form: `(. target member arg*)` — member access / method call. ;; A symbol member whose name starts with "-" is a field read; otherwise it is a ;; method (call with the trailing args). Both lower to a :host-call carrying the @@ -476,6 +490,11 @@ ;; read -> macroexpand -> analyze. A local shadows both. (and (form-sym? head) (not shadowed) (form-macro? ctx head)) (analyze ctx (form-expand-1 ctx form) env) + ;; 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)) + (= "__cfn" (form-sym-name head))) + (analyze-ffi-fn ctx items env) ;; special-form heads are NOT shadowable (unlike macros): a local named ;; `if` does not change the meaning of (if …) in operator position, per ;; spec §3 and the reference. No (not shadowed) guard here. diff --git a/jolt-core/jolt/backend_scheme.clj b/jolt-core/jolt/backend_scheme.clj index 400a3f7..6f9f045 100644 --- a/jolt-core/jolt/backend_scheme.clj +++ b/jolt-core/jolt/backend_scheme.clj @@ -279,6 +279,23 @@ body (binding [*recur-target* label] (emit (:body node)))] (str "(let* (" seq-bs ") (let " label " (" rebinds ") " body "))"))) +;; jolt.ffi/__cfn -> a Chez foreign-procedure (jolt-ffi). The C symbol + types are +;; compile-time literals from the analyzer, so this emits a real typed binding; +;; the resulting Scheme procedure is callable like any jolt fn. The library must +;; have loaded the shared object (jolt.ffi/load-library) before this def runs. +(def ^:private ffi-types + {"int" "int" "uint" "unsigned-int" "long" "long" "ulong" "unsigned-long" + "int64" "integer-64" "uint64" "unsigned-64" "size_t" "size_t" "ssize_t" "ssize_t" + "iptr" "iptr" "uptr" "uptr" "double" "double" "float" "float" + "pointer" "void*" "void*" "void*" "string" "string" "void" "void" + "uint8" "unsigned-8" "u8" "unsigned-8" "byte" "unsigned-8" "char" "char"}) +(defn- ffi-type->chez [t] + (or (ffi-types t) (throw (ex-info (str "jolt.ffi: unknown foreign type :" t) {})))) +(defn- emit-ffi-fn [node] + (str "(foreign-procedure " (chez-str-lit (:csym node)) + " (" (str/join " " (map ffi-type->chez (:argtypes node))) ") " + (ffi-type->chez (:rettype node)) ")")) + (defn- emit-recur [node] (when-not *recur-target* (throw (ex-info "emit: recur outside a loop/fn target" {}))) (let [arg-nodes (:args node)] @@ -491,6 +508,7 @@ :let (emit-let node) :loop (emit-loop node) :recur (emit-recur node) + :ffi-fn (emit-ffi-fn node) :fn (emit-fn node) ;; (def name) with no init (declare): reserve the cell. A def with non-empty ;; reader metadata lowers to def-var-with-meta! (ported in a later increment). diff --git a/src/jolt/jolt/ffi.clj b/src/jolt/jolt/ffi.clj new file mode 100644 index 0000000..5d6e5a9 --- /dev/null +++ b/src/jolt/jolt/ffi.clj @@ -0,0 +1,29 @@ +(ns jolt.ffi + "Foreign-function interface for jolt libraries. A library loads a shared object + and declares typed foreign functions, then exposes a Clojure API over them — no + jolt built-in required. + + (require '[jolt.ffi :as ffi]) + (ffi/load-library {:darwin \"libsqlite3.0.dylib\" :linux \"libsqlite3.so.0\"}) + (ffi/defcfn sqlite3-open \"sqlite3_open\" [:string :pointer] :int) + (let [pp (ffi/alloc (ffi/sizeof :pointer))] + (sqlite3-open \"x.db\" pp) + (let [db (ffi/read pp :pointer)] ...) + (ffi/free pp)) + + Types (keywords): :int :uint :long :ulong :int64 :uint64 :size_t :ssize_t + :iptr :uptr :double :float :pointer :string :void :uint8 :char. + + The memory/library primitives (alloc/free/read/write/sizeof/load-library/ + ptr->string/string->ptr/null/null?) are provided by the host. foreign-fn lowers + a compile-time-typed signature to a real Chez foreign-procedure.") + +;; foreign-fn binds C symbol `csym` to a typed callable. Expands to the __cfn +;; special form (always fully-qualified, so an :as alias on jolt.ffi resolves): +;; the analyzer/back end turn it into a Chez foreign-procedure. +(defmacro foreign-fn [csym argtypes rettype] + (list 'jolt.ffi/__cfn csym argtypes rettype)) + +;; (defcfn name "c_symbol" [argtypes] rettype) — def a foreign function. +(defmacro defcfn [name csym argtypes rettype] + (list 'def name (list 'jolt.ffi/__cfn csym argtypes rettype))) diff --git a/test/chez/ffi-binding-test.ss b/test/chez/ffi-binding-test.ss new file mode 100644 index 0000000..0df85d6 --- /dev/null +++ b/test/chez/ffi-binding-test.ss @@ -0,0 +1,43 @@ +;; jolt.ffi regression: a compile-time-typed foreign binding lowers to a real +;; Chez foreign-procedure and calls native code. Run: +;; chez --script test/chez/ffi-binding-test.ss +;; Binds a few libc functions (process symbols, always present) through the +;; jolt.ffi/__cfn special form + the host memory primitives — the same path a +;; library uses to bind its native deps. + +(import (chezscheme)) +(load "host/chez/rt.ss") +(set-chez-ns! "clojure.core") +(load "host/chez/seed/prelude.ss") +(load "host/chez/post-prelude.ss") +(set-chez-ns! "user") +(load "host/chez/host-contract.ss") +(load "host/chez/seed/image.ss") +(load "host/chez/compile-eval.ss") +(load "host/chez/ffi.ss") + +(define total 0) (define fails 0) +(define (ok name pred) (set! total (+ total 1)) (unless pred (set! fails (+ fails 1)) (printf "FAIL: ~a\n" name))) +;; eval one form (string) in `user`, like the loader does form-by-form, so a def +;; is visible to a later form. +(define (ev s) (jolt-compile-eval s "user")) + +;; load libc (process symbols) and bind typed foreign functions +(ev "(jolt.ffi/load-library)") +(ev "(def c-strlen (jolt.ffi/__cfn \"strlen\" [:string] :size_t))") +(ev "(def c-abs (jolt.ffi/__cfn \"abs\" [:int] :int))") + +(ok "foreign-procedure built for strlen" (procedure? (var-deref "user" "c-strlen"))) +(ok "typed call: strlen(\"hello\") = 5" (= 5 (jnum->exact (ev "(c-strlen \"hello\")")))) +(ok "typed call: abs(-7) = 7" (= 7 (jnum->exact (ev "(c-abs -7)")))) + +;; memory: alloc / write / read roundtrip through the host primitives +(ok "mem int roundtrip" + (= 4242 (jnum->exact + (ev "(let [p (jolt.ffi/alloc (jolt.ffi/sizeof :int))] + (jolt.ffi/write p :int 0 4242) + (let [v (jolt.ffi/read p :int)] (jolt.ffi/free p) v))")))) +(ok "sizeof :pointer is a word" (let ((n (jnum->exact (ev "(jolt.ffi/sizeof :pointer)")))) (or (= n 8) (= n 4)))) + +(printf "~a/~a passed~n" (- total fails) total) +(exit (if (zero? fails) 0 1))