8000 Allow idents from case arms when cuddling by bombsimon · Pull Request #173 · bombsimon/wsl · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Allow idents from case arms when cuddling #173

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.

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

Merged
merged 1 commit into from
Jun 13, 2025
Merged

Allow idents from case arms when cuddling #173

merged 1 commit into from
Jun 13, 2025

Conversation

bombsimon
Copy link
Owner

Closes #171

@coveralls
Copy link

Coverage Status

coverage: 94.404% (-0.2%) from 94.566%
when pulling 99ad0fa on case-arms
into 9bcfb87 on main.

@bombsimon bombsimon merged commit dacbaad into main Jun 13, 2025
4 checks passed
@bombsimon bombsimon deleted the case-arms branch June 13, 2025 17:19
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.

Case arms should be considered for intersecting variables
2 participants
0