Skip to content

New instruction wrapper + misc changes - #57

Merged
pufferfish101007 merged 23 commits into
mainfrom
spring-clean-26
Jul 28, 2026
Merged

New instruction wrapper + misc changes#57
pufferfish101007 merged 23 commits into
mainfrom
spring-clean-26

Conversation

@pufferfish101007

Copy link
Copy Markdown
Member

The main exciting change here is the new instruction wrapper, which I think resolves #31 (tbc), and paves the way for #32. This introduces a style of programming which I'd like to perpetuate throughout more of the codebase once some details are ironed out, that is documenting and enforcing invariants to make things more robust. Certainly this new approach seems to be less buggy than the previous one.

Misc changes:

  • update deps
  • some JS changes
  • build rustdoc for use with website
  • more const folding
  • removed some unnecessary Results
  • avoid some runtime traps
  • fix compile-time boxing in lists; also make list types as narrow as possible
  • allow either branch in if/else to be empty

@pufferfish101007
pufferfish101007 merged commit b84b129 into main Jul 28, 2026
9 of 11 checks passed
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.

Blocks with multiple possible output types should not be boxed immediately

1 participant