Skip to content

Separate Jet env from Jet trait#351

Open
ivanlele wants to merge 1 commit intoBlockstreamResearch:masterfrom
ivanlele:feature/separate-env-from-jet
Open

Separate Jet env from Jet trait#351
ivanlele wants to merge 1 commit intoBlockstreamResearch:masterfrom
ivanlele:feature/separate-env-from-jet

Conversation

@ivanlele
Copy link
Contributor

@ivanlele ivanlele commented Mar 6, 2026

This PR is one of several that will make the Jet trait object-safe (see #349).
It introduces a new trait, JetEnvironment, which moves c_jet_env, c_jet_ptr, and CJetEnvironment into it from Jet.

@ivanlele
Copy link
Contributor Author

ivanlele commented Mar 6, 2026

It might look large, but most of the changes are in the auto-generated jet implementations and consist mainly of formatting and moving code around. This also raises a question: should we update the Haskell-Rust codegen for these implementations now, or leave it for later?

The other changes are relatively few, but nonetheless far more important.

@ivanlele
Copy link
Contributor Author

ivanlele commented Mar 6, 2026

Also, while updating interfaces in some files, I ran cargo fmt on the files I was modifying, so you might notice a few lines that were reformatted as a result.

@ivanlele ivanlele mentioned this pull request Mar 6, 2026
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