docs: phase-5.md — jolt-r81 root-fixed (lazy-seq moved to early tier), not letfn-worked-around
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
parent
297d92fbb8
commit
c78587bfc3
1 changed files with 5 additions and 3 deletions
|
|
@ -286,9 +286,11 @@ lacked**, and it works — all gates green (conformance 246×3, lazy-infinite
|
||||||
- Transformers always route concrete input through `lazy-from` + the lazy step
|
- Transformers always route concrete input through `lazy-from` + the lazy step
|
||||||
machinery (dropping the eager `(if (jvec? coll) (make-vec …))` branch).
|
machinery (dropping the eager `(if (jvec? coll) (make-vec …))` branch).
|
||||||
|
|
||||||
All transformers are lazy in interpret/compile/self-host. `interleave`,
|
All transformers are lazy in interpret/compile/self-host, using canonical
|
||||||
`reductions`, and `tree-seq` use **letfn-bound** recursion to avoid the
|
recursive Clojure forms. (jolt-r81 — a compile-mode leak where lazy overlay fns
|
||||||
compile-mode self-recursive-lazy-seq overlay bug (jolt-r81).
|
returned the `lazy-seq` macro expansion as data — was root-fixed by moving
|
||||||
|
`lazy-seq`/`lazy-cat` to the 00-syntax tier so they're registered before the
|
||||||
|
seq/coll tiers that use them compile.)
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue