Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make preconditions weaker/establish better framming for paths and DecodingLayers #167

Closed
jcp19 opened this issue Feb 7, 2023 · 0 comments · Fixed by #243 or #285
Closed

Make preconditions weaker/establish better framming for paths and DecodingLayers #167

jcp19 opened this issue Feb 7, 2023 · 0 comments · Fixed by #243 or #285
Labels
enhancement New feature or request maintainability memory-safety slayers spec

Comments

@jcp19
Copy link
Contributor

jcp19 commented Feb 7, 2023

Since PR #166, with the separation of the Mem predicates from the permissions to the underlying slice, it is possible to weaken the preconditions for methods in Path and DecodingLayers and establish stronger framing properties. We should look for opportunities for simplification in these groups of packages
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request maintainability memory-safety slayers spec
Projects
None yet
Milestone
No milestone
1 participant
@jcp19