Skip to content

Merge kernel/shen-42 (incl. Shen/Scheme mappings) into main - #23

Closed
pyrex41 wants to merge 6 commits into
mainfrom
kernel/shen-42
Closed

pyrex41 wants to merge 6 commits into
mainfrom
kernel/shen-42

Conversation

@pyrex41

@pyrex41 pyrex41 commented Sep 21, 2026

Copy link
Copy Markdown
Owner

Lands S42 kernel work plus PR #22 (Shen/Scheme-style overrides and klcompile mappings) on main.

Reuben Brooks and others added 6 commits August 27, 2026 11:08
core.kl still has ~60 defuns; install_all skipped them after an empty
first codegen. kernel-tests stay 134/0 at ~8s. Docs call the running
kernel S42 and keep the June 3s figure as community 41.2 history.
Native kernel overrides and klcompile mappings (intern, value/set, trap-error, Prolog CPS freezes). Hash agrees with equality. Soundness tests and paired A/B. 134/0.
@pyrex41 pyrex41 closed this Sep 21, 2026
@pyrex41

pyrex41 commented Sep 21, 2026

Copy link
Copy Markdown
Owner Author

Closed: main and kernel/shen-42 both contain S42 (4ebb8a6 vs c8f5cc9) so this merge is dirty. PR #22 is squash-merged to kernel/shen-42. Integrating onto main needs a dedicated rebase/merge, not this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant