Skip to content

[ fix #3687 ] Handle PLet in setLinear #3689

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
Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

[ fix #3687 ] Handle PLet in setLinear #3689

wants to merge 2 commits into from

Conversation

@spcfox
Copy link
Contributor

@spcfox spcfox commented Nov 27, 2025 •
edited
Loading

Description

Fixed #3687. Also added a test for #490

Self-check

  • This is my first time contributing, I've carefully read CONTRIBUTING.md
    and I've updated CONTRIBUTORS.md with my name.
  • If this is a fix, user-facing change, a compiler change, or a new paper
    implementation, I have updated CHANGELOG_NEXT.md

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@buzden buzden buzden approved these changes

Assignees

No one assigned

Labels

language: as-pattern language: quantity

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

as-pattern causes wrong multiplicity in a dot-pattern and breaks scheme generation

2 participants

@spcfox @buzden