[WIP] syntax-only support for 'multiset' - #344
Merged
Merged
Conversation
Smattr
changed the title
Smattr
added a commit
that referenced
this pull request
Aug 17, 2026
Commits CI-ed in an intermediate state of #344.
Smattr
force-pushed
the
smattr/github-331
branch
from
August 17, 2026 22:04
42cf63b to
e2a0850
Compare
Smattr
added a commit
that referenced
this pull request
Aug 18, 2026
Commits CIed in an intermediate state of #344.
Smattr
force-pushed
the
smattr/github-331
branch
4 times, most recently
from
August 19, 2026 22:11
3a66163 to
07c377a
Compare
Smattr
added a commit
that referenced
this pull request
Aug 20, 2026
Commits CIed in an intermediate state of #344.
Smattr
force-pushed
the
smattr/github-331
branch
3 times, most recently
from
August 21, 2026 07:03
91ea125 to
ac56086
Compare
Smattr
added a commit
that referenced
this pull request
Aug 21, 2026
Commits CIed in an intermediate state of #344.
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
One might think this could just be implemented as a built-in name for a procedure. But this needs to have a generic type (type constraint of its first parameter depends on its second parameter) that we cannot describe in the usual type system. Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Smattr
force-pushed
the
smattr/github-331
branch
4 times, most recently
from
August 22, 2026 22:11
518e0d1 to
1cb2d56
Compare
Despite being phrased like a function call, this actually acts more like a quantified expression. Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
Github: #331 “MultiSet support within scope?” Reported-by: Markus Alexander Kuppe
CMurphi supports `undefined` in two situations: 1. assignment, `foo := undefined;` 2. function calls, `foo(…, undefined, …)` This change adds support for (1). Github: #331 “MultiSet support within scope?”
This completes (2) described in the previous commit. This looks pretty hacky – supporting `undefined` exactly within function calls and not elsewhere – but this appears to match CMurphi behaviour. Github: #331 “MultiSet support within scope?”
Smattr
force-pushed
the
smattr/github-331
branch
from
August 22, 2026 23:40
1cb2d56 to
dd3bc59
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.