runtimeverification / runtimeverification/haskell-backend
Use smart `Pattern` constructor throughout the code
Open
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 224
- Forks
- 43
- PR merge metrics
- No merged PRs in 30d
Description
#4060 adds a substitution field to the Pattern type. We should ensure (by way of a smart constructor) that the substitution has been applied to the other components of the pattern, to avoid having to re-apply it.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading issue #4060 and the Pattern type, then locate the places where Patterns are constructed throughout the code. Determine how the smart constructor should ensure substitution is applied to the other components, and verify that callers no longer need to re-apply it.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- backend
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100