33eff7c7d8
Rename src/jolt -> stdlib (the runtime-loaded layer; jolt-core stays the seed-baked layer) and update the loader / emit-image / doc paths. Drop dead code: the spike/ experiments, the duplicate clojuredocs-export.edn (json moves to tools/), the Janet-era jolt.http binding, and the orphaned persistent_vector.clj whose ns/path didn't even match. Strip porting residue from comments and docstrings across host/chez, jolt-core, stdlib, tests, and docs: internal issue ids, "Phase N" markers, and the "vs Janet" historical exposition, leaving present-tense descriptions and the real JVM-Clojure semantic contrasts. Same pass over the corpus suite labels. The seed is unchanged (docstrings/comments aren't emitted), so the self-host fixpoint and corpus are untouched. Port tools/spec_coverage.py off the dead janet probe to bin/joltc and regenerate coverage.md; drop the dead :host/janet rule from certify.clj and regenerate the conformance profile. Add docs/host-interop.md (the JVM shims and how to register your own host class from a library) and a writing-style note in CLAUDE.md. Stabilize the four racy concurrency corpus cases (future-cancel and agent send/send-off): give the future a sleeping body and the agent a slow action, so cancel reliably catches an in-flight future and deref reliably reads the pre-update snapshot. They certify deterministically now, so drop their :flaky allowlist entries and the orphaned legend.
69 lines
No EOL
2.7 KiB
Clojure
69 lines
No EOL
2.7 KiB
Clojure
;; clojure.core — seq tier. Pure-Clojure leaf sequence fns on top of the kernel
|
|
;; tier (00-kernel) and the host primitives. Loaded after the kernel tier; in compile
|
|
;; mode these self-host through the now-built analyzer (interpreted otherwise).
|
|
;;
|
|
;; Migration rule for adding fns here: the fn must (1) NOT be in
|
|
;; compiler/core-renames (that map emits core-X symbols directly), (2) have
|
|
;; no internal callers of its core-X binding, and (3) NOT be used by the
|
|
;; self-hosted compiler (jolt-core/jolt/*.clj). Compiler-facing structural fns go
|
|
;; in the kernel tier (00-kernel) instead — see its header.
|
|
|
|
;; Volatiles (this tier's transducers use them, and the analyzer ERRORS on
|
|
;; unresolved forward references). The constructor (volatile!) stays native;
|
|
;; these are pure over ref-put!/get.
|
|
(defn vreset! [vol newval]
|
|
(jolt.host/ref-put! vol :val newval) newval)
|
|
(defn vswap! [vol f & args]
|
|
(vreset! vol (apply f (get vol :val) args)))
|
|
|
|
(defn ffirst [coll] (first (first coll)))
|
|
(defn nfirst [coll] (next (first coll)))
|
|
(defn fnext [coll] (first (next coll)))
|
|
(defn nnext [coll] (next (next coll)))
|
|
|
|
;; Canonical Clojure defs: pure first/next/loop/recur.
|
|
(defn last [s]
|
|
(if (next s) (recur (next s)) (first s)))
|
|
|
|
(defn butlast [s]
|
|
(loop [ret [] s s]
|
|
(if (next s)
|
|
(recur (conj ret (first s)) (next s))
|
|
(seq ret))))
|
|
|
|
;; partition-by: (partition-by f) is a stateful transducer (buffer a run, emit on
|
|
;; key change, flush on completion — via volatiles, matching Clojure); (partition-by
|
|
;; f coll) is the lazy collection arity.
|
|
(defn partition-by
|
|
([f]
|
|
(fn [rf]
|
|
(let [buf (volatile! [])
|
|
pv (volatile! nil)
|
|
started (volatile! false)]
|
|
(fn
|
|
([] (rf))
|
|
([result]
|
|
(let [b @buf
|
|
result (if (zero? (count b))
|
|
result
|
|
(do (vreset! buf []) (unreduced (rf result b))))]
|
|
(rf result)))
|
|
([result input]
|
|
(let [val (f input)]
|
|
(if (or (not @started) (= val @pv))
|
|
(do (vreset! started true) (vreset! pv val) (vswap! buf conj input) result)
|
|
(let [b @buf]
|
|
(vreset! buf []) (vreset! pv val)
|
|
(let [ret (rf result b)]
|
|
(when-not (reduced? ret) (vswap! buf conj input))
|
|
ret)))))))))
|
|
([f coll]
|
|
(let [step (fn step [s]
|
|
(lazy-seq
|
|
(let [s (seq s)]
|
|
(when s
|
|
(let [fst (first s)
|
|
fv (f fst)
|
|
run (cons fst (take-while (fn [x] (= fv (f x))) (rest s)))]
|
|
(cons run (step (lazy-seq (drop (count run) s)))))))))]
|
|
(step coll)))) |