Reducing Redundant Choicepoints
Open
enhancement
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/eignnx/rellog/blob/e8e1f45a896d6b50256d657b470e175798870238/syntax-ideas.md?plain=1#L481-L547
Probably relies on #6 to do automatic subsumption checking on the different clauses.
See also Rust's exhaustiveness checking algorithm:
- https://rustc-dev-guide.rust-lang.org/pat-exhaustive-checking.html
- https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir_build/thir/pattern/usefulness/index.html
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.