Commit graph

simon/jolt

Fork 0

53967ce221

Merge pull request #118 from jolt-lang/refactor-phase3a-ir-walk Dmitri Sotnikov 2026-06-15 09:15:46 +00:00
130a6c5c4d Refactor phase 3b: keep :try IR nodes structs, not phms (jolt-26dm) Yogthos 2026-06-15 05:09:02 -04:00
61e4bbf2de

Merge pull request #117 from jolt-lang/dedup-eval-dot-member Dmitri Sotnikov 2026-06-15 08:58:01 +00:00
8789777323 Refactor phase 3a: one map-ir-children combinator for the IR rewrite walks (jolt-26dm) Yogthos 2026-06-15 04:57:42 -04:00
b54bd6c856

Merge pull request #116 from jolt-lang/refactor-phase5de-seed-overlay-docs Dmitri Sotnikov 2026-06-15 08:36:07 +00:00
0406b315a9 Dedup the two .method dot-dispatch arms into one dispatch-member (jolt-eos3) Yogthos 2026-06-15 04:35:52 -04:00
793b55f1f3 Refactor phase 5d/5e: seed↔overlay registry + rep↔API boundary docs (jolt-bvek) Yogthos 2026-06-15 04:22:05 -04:00
6c0142e625

Merge pull request #115 from jolt-lang/refactor-phase4-config-cache Dmitri Sotnikov 2026-06-15 07:32:11 +00:00
7632be811b

Merge pull request #114 from jolt-lang/refactor-phase3c-dedups Dmitri Sotnikov 2026-06-15 07:15:44 +00:00
fbca0890f5 Refactor phase 4: lift run-mode into config.janet + fix the cache-key footgun Yogthos 2026-06-15 03:15:24 -04:00
5ad8e8281a

Merge pull request #113 from jolt-lang/refactor-types-split Dmitri Sotnikov 2026-06-15 06:59:50 +00:00
33c39e8741 Refactor phase 3c: dedup the collection readers and phm bucket scans Yogthos 2026-06-15 02:58:16 -04:00
aab7c6396c

Merge pull request #112 from jolt-lang/refactor-evaluator-split Dmitri Sotnikov 2026-06-15 06:46:42 +00:00
24b3d59b13 Refactor phase 5a: split types.janet into value-layer cluster modules Yogthos 2026-06-15 02:42:42 -04:00
0a531dd1e8 Refactor phase 2a: split evaluator.janet + explode eval-list into named handlers Yogthos 2026-06-15 02:29:22 -04:00
ea5c3452de

Merge pull request #111 from jolt-lang/refactor-core-split Dmitri Sotnikov 2026-06-15 06:21:16 +00:00
0c324178d4 Refactor phase 2b: split core.janet into cluster modules behind a re-export aggregator Yogthos 2026-06-15 02:04:16 -04:00
c9f60d70c4

Merge pull request #110 from jolt-lang/refactor-passes-split Dmitri Sotnikov 2026-06-15 05:58:04 +00:00
8e634e7106 Refactor phase 2c: split passes.clj into fold/inline/types behind a façade Yogthos 2026-06-15 01:41:28 -04:00
b06855db1f

Merge pull request #109 from jolt-lang/refactor-phs-split Dmitri Sotnikov 2026-06-15 05:19:05 +00:00
bad418e917 Refactor: extract PersistentHashSet from phm.janet into phs.janet Yogthos 2026-06-15 00:54:05 -04:00
7cffe85298

Refactor: extract LazySeq from phm.janet into lazyseq.janet (#108) Dmitri Sotnikov 2026-06-15 04:41:39 +00:00
118aec3fef Refactor: extract LazySeq from phm.janet into lazyseq.janet Yogthos 2026-06-15 00:24:47 -04:00
62fe11fa0d

Refactor phase 1: consolidate host interop into one module (#107) Dmitri Sotnikov 2026-06-15 03:56:25 +00:00
26c130b418 Refactor phase 1: consolidate host interop into one module Yogthos 2026-06-14 23:38:53 -04:00
910c4b6c99

Protocol/interop fixes to run metosin/malli (jolt-ltwk) (#105) Dmitri Sotnikov 2026-06-15 03:20:33 +00:00
236dca28d9 satisfies? recognizes reify, consistent with instance? Yogthos 2026-06-14 23:00:48 -04:00
5a1532167c Protocol/interop fixes to run metosin/malli Yogthos 2026-06-14 22:06:12 -04:00
d1f73f1740

Architecture refactor: plan + phase 0 (dead code + bugs) (#106) Dmitri Sotnikov 2026-06-15 03:01:55 +00:00
d837b304f4 Refactor phase 0: dead code + isolated bugs Yogthos 2026-06-14 22:33:53 -04:00
859c8cc02a Add architecture refactor plan Yogthos 2026-06-14 22:09:03 -04:00
88b7d13401

Stdlib/reader fixes to run markdown-clj (#104) Dmitri Sotnikov 2026-06-15 01:48:15 +00:00
fc71910fda Stdlib/reader fixes to run markdown-clj markdown-clj-fixes Yogthos 2026-06-14 20:58:53 -04:00
288b20956c

Shim java.util.Iterator: (.iterator coll)/.hasNext/.next over jolt collections (#103) Dmitri Sotnikov 2026-06-15 00:28:45 +00:00
a25cb968d7 Shim java.util.Iterator: (.iterator coll)/.hasNext/.next over jolt collections Yogthos 2026-06-14 19:55:36 -04:00
874b6140ee

Merge pull request #102 from jolt-lang/startup-perf Dmitri Sotnikov 2026-06-14 22:47:52 +00:00
9f1cebc097 Fast startup: inference is opt-in, and dependencies compile once (jolt-87e) startup-perf Yogthos 2026-06-14 18:21:48 -04:00
cf271e218a

Merge pull request #101 from jolt-lang/fix-record-vector-pred Dmitri Sotnikov 2026-06-14 22:21:17 +00:00
8a3019a64e Records are not vectors: vector?/sequential? false for shape-recs (jolt-14k) fix-record-vector-pred Yogthos 2026-06-14 17:45:30 -04:00
8c29168de2

Merge pull request #100 from jolt-lang/default-direct-link Dmitri Sotnikov 2026-06-14 20:01:28 +00:00
6abfd660ce Direct-link + whole-program by default for program runs; open for the REPL default-direct-link Yogthos 2026-06-14 15:44:01 -04:00
230a0c2160

Merge pull request #99 from jolt-lang/field-types Dmitri Sotnikov 2026-06-14 16:58:30 +00:00
1525c7adfb Record type hints resolve across namespace boundaries (fields and params) field-types Yogthos 2026-06-14 12:40:14 -04:00
4018eb87ed Const-link stable vars under whole-program; direct-link cfunction roots Yogthos 2026-06-14 11:03:28 -04:00
840f699f54 record field type hints -> per-field value types in inference (jolt-3ko) Yogthos 2026-06-14 07:00:29 -04:00
872cea1c37

Merge pull request #98 from jolt-lang/stalin-techniques Dmitri Sotnikov 2026-06-14 10:44:04 +00:00
fa02c8f93d devirtualize protocol dispatch on known record receivers (jolt-41m) stalin-techniques Yogthos 2026-06-14 03:33:48 -04:00
a83792cc51

Merge pull request #97 from jolt-lang/perf-alloc Dmitri Sotnikov 2026-06-14 06:33:03 +00:00
75a1352d22 whole-program closed-world inference, opt-in (jolt-t34) perf-alloc Yogthos 2026-06-14 00:25:56 -04:00
f5a5b25d59 records use declared-shape layout with fast field access by default (jolt-t34) Yogthos 2026-06-14 00:04:15 -04:00
4e7b8f792f shapes: revert default-on to opt-in; faster get-or-shape inline read (jolt-t34) Yogthos 2026-06-13 23:41:26 -04:00
7900173d45 type-aware record equality + assoc extension + record-shape test (jolt-t34 R3) Yogthos 2026-06-13 19:44:17 -04:00
2900d36176 records as shape-recs carrying a type tag (jolt-t34 R3) Yogthos 2026-06-13 19:23:04 -04:00
e61a175f91 feat: completeness preservation — shapes survive cap and same-shape joins (jolt-t34 R2) Yogthos 2026-06-13 18:30:22 -04:00
c6b964c1b1 feat: general shape-record mechanism — consistent representation + transparency (jolt-t34 R1) Yogthos 2026-06-13 17:49:45 -04:00
e377c223b6 wip: generalize shape mechanism off the hardcoded vec3 shape (jolt-t34) Yogthos 2026-06-13 17:01:35 -04:00
d33fb85041 prototype: shape-record representation for vec3 maps (jolt-t34, JOLT_SHAPE) Yogthos 2026-06-13 16:25:07 -04:00
50d8b13ca3

Merge pull request #96 from jolt-lang/migratus-fixes Dmitri Sotnikov 2026-06-14 00:39:48 +00:00
92df2cebf7 remove logging from core migratus-fixes Yogthos 2026-06-13 20:23:18 -04:00
52bea0b620

Merge pull request #95 from jolt-lang/migratus-fixes Dmitri Sotnikov 2026-06-13 23:13:43 +00:00
cf1fdfdb24 feat: run the real clojure.tools.logging (defmacro/syntax-quote/ns + host shims) Yogthos 2026-06-13 18:50:53 -04:00
72e36f46de test+docs: spec coverage for migratus-enablement fixes; list migratus Yogthos 2026-06-13 17:45:05 -04:00
4f59958d92 fix: try/catch/finally correctness + current-ns restore (jolt-96m + try bug) Yogthos 2026-06-13 17:16:40 -04:00
eec3edf632 test: fallback-zero uses a resolvable multifn for get-method/methods Yogthos 2026-06-13 16:11:27 -04:00
b304c43333 feat: java.io.File model + multimethod/assoc/defmulti fixes for migratus (jolt-hjw) Yogthos 2026-06-13 16:04:30 -04:00
9813186ef9 fix: def supports the 3-arg docstring form (def name doc value) in compile mode (jolt-6ym) Yogthos 2026-06-13 15:41:59 -04:00
19505a5944 feat: jolt-side java.sql interop + defn/defmacro meta & arity-clause fixes Yogthos 2026-06-13 15:28:54 -04:00
30267fe67a

Merge pull request #94 from jolt-lang/perf-type-inference Dmitri Sotnikov 2026-06-13 19:12:39 +00:00
e2d33df484 feat: clojure.tools.logging shim for migratus (jolt-nzg) Yogthos 2026-06-13 14:58:47 -04:00
f9a1849ec8 docs: RFC 0006 — mark negative/never types resolved (jolt-wwy) perf-type-inference Yogthos 2026-06-13 14:48:39 -04:00
328f88636e feat: negative/never types — calling a non-function, wrong-arity (jolt-wwy) Yogthos 2026-06-13 14:48:14 -04:00
6abcb11e92 feat: misc host-interop shims for migratus (jolt-3v0) Yogthos 2026-06-13 14:00:50 -04:00
4e3984e9c0 feat: host-interop shims for migratus (exceptions + regex Pattern) Yogthos 2026-06-13 13:49:42 -04:00
e071d09170 docs: RFC 0006 — mark unions/user-fns/positions/default-on resolved Yogthos 2026-06-13 13:47:36 -04:00
088232b778 feat: success checker on by default in direct-link builds, free (jolt audit) Yogthos 2026-06-13 13:46:16 -04:00
69af83da89 refactor: fold success checking into the inference walk Yogthos 2026-06-13 13:02:17 -04:00
37949ac602 fix: unary arithmetic type-error message no longer crashes the reporter Yogthos 2026-06-13 12:26:56 -04:00
f2d65addc8 feat: precise file:line:col source locations for type errors (jolt-fqy) Yogthos 2026-06-13 12:18:53 -04:00
824b30defd feat: report provably-wrong calls to user functions, opt-in (jolt-zo1) Yogthos 2026-06-13 11:56:21 -04:00
9f076937af feat: bounded union types in the RFC 0005 lattice (jolt-pz5) Yogthos 2026-06-13 11:39:55 -04:00
1c0b3fe9bd docs: mark RFC 0005/0006 implemented, note follow-up work Yogthos 2026-06-13 11:01:42 -04:00
9867c33079 feat: success-type checker (RFC 0006) — flag provably-wrong core calls Yogthos 2026-06-13 11:00:58 -04:00
9bc7b27245 perf: structural type inference (RFC 0005) — nested access typed, hint-free Yogthos 2026-06-13 10:44:40 -04:00
e7473f38cf docs: RFC 0005 structural type inference + RFC 0006 success type checking Yogthos 2026-06-13 10:17:21 -04:00
5f05a99010 feat: Phase 2 vector-op specialization — count/nth on inferred vectors (jolt-d6u) Yogthos 2026-06-13 09:28:16 -04:00
09e5af02c9 feat: Phase 3 collection-element types + HOF awareness + ordered re-emit (jolt-d6u) Yogthos 2026-06-13 06:53:21 -04:00
ea1d9a23e1 feat: Phase 1 inter-procedural collection-type inference (jolt-767) Yogthos 2026-06-13 04:45:13 -04:00
3c20383851 feat: Phase 0 intra-procedural collection-type inference (jolt-6sr) Yogthos 2026-06-13 01:46:34 -04:00
4b44bcd5fd test: cover ^:struct on let bindings (jolt-94n) Yogthos 2026-06-12 20:25:15 -04:00
5f59c02b69 feat: expand type-hint lookup specialization (^Record, get-form, checked mode, docs) Yogthos 2026-06-12 20:20:25 -04:00
c4be5d8a0e perf: hint-driven keyword-lookup guard elimination (^:struct) Yogthos 2026-06-12 17:45:18 -04:00
e41832c05d

Merge pull request #93 from jolt-lang/perf-ir-inline-sra Dmitri Sotnikov 2026-06-12 20:42:58 +00:00
b5075b73be perf: AOT escape analysis (IR inlining + scalar replacement) perf-ir-inline-sra Yogthos 2026-06-12 15:58:50 -04:00
0cfb5a982e

Merge pull request #92 from jolt-lang/fix-507-p3c Dmitri Sotnikov 2026-06-12 18:22:01 +00:00
15d599c0f3 fix: map literals evaluate in source order; land the local-callee inline Yogthos 2026-06-12 14:09:50 -04:00
34d32ea3bf

Merge pull request #91 from jolt-lang/perf-maps-math Dmitri Sotnikov 2026-06-12 17:26:11 +00:00
8b2be06b68 perf: inline keyword lookup + map literals, clojure.math, indexed reduce Yogthos 2026-06-12 13:14:12 -04:00
ca83b4a1de

Merge pull request #90 from jolt-lang/error-round-5 Dmitri Sotnikov 2026-06-12 15:15:39 +00:00
026ad888cd errors: reader errors carry file:line:col (jolt-2o7.5) error-round-5 Yogthos 2026-06-12 10:55:42 -04:00
2a3dfd223d

Merge pull request #89 from jolt-lang/error-round-4 Dmitri Sotnikov 2026-06-12 14:51:45 +00:00