IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Expose `index-envs` as public library #6675

Closed SeungheonOh closed 3 days ago

SeungheonOh commented 6 days ago

Describe the feature you'd like

Some of the functions in UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal virtually pointless since it's require RAList values which is not exposed to public from index-envs library. It would be nice to have index-envs as a public library so downstream library can access CEK machine internals.

Describe alternatives you've considered

No response

effectfully commented 3 days ago

Sure, we can expose it, although the API is probably going to change, because I'm changing how this stuff is used in the CEK machine as we speak. Wanna create a PR?

SeungheonOh commented 3 days ago

PR is already there