Skip to content

Relax TerminalLogicalMeasurement types #654

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

Merged
johnzl-777 merged 2 commits into from
Dec 5, 2025
Merged

Relax TerminalLogicalMeasurement types #654

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d920bc3
add test
johnzl-777 Dec 5, 2025
22ab6e4
extend relaxed bound to wrapper
johnzl-777 Dec 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions src/bloqade/gemini/dialects/logical/_interface.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@

from .stmts import TerminalLogicalMeasurement

Len = TypeVar("Len", bound=int)
CodeN = TypeVar("CodeN", bound=int)
Len = TypeVar("Len")
CodeN = TypeVar("CodeN")


@lowering.wraps(TerminalLogicalMeasurement)
Expand Down
4 changes: 2 additions & 2 deletions src/bloqade/gemini/dialects/logical/stmts.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,8 @@

from ._dialect import dialect

Len = types.TypeVar("Len", bound=types.Int)
CodeN = types.TypeVar("CodeN", bound=types.Int)
Len = types.TypeVar("Len")
CodeN = types.TypeVar("CodeN")


@statement(dialect=dialect)
Expand Down
16 changes: 11 additions & 5 deletions test/gemini/test_logical_validation.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,14 +115,20 @@ def invalid():
invalid.print(analysis=frame.entries)


def test_terminal_measurement():
@gemini.logical.kernel(verify=False)
def test_qalloc_and_terminal_measure_type_valid():

@gemini.logical.kernel(aggressive_unroll=True)
def main():
q = squin.qalloc(3)
m = gemini.logical.terminal_measure(q)
return m
gemini.logical.terminal_measure(q)

main.print()
validator = ValidationSuite([GeminiTerminalMeasurementValidation])
validation_result = validator.validate(main)

validation_result.raise_if_invalid()


def test_terminal_measurement():

@gemini.logical.kernel(
verify=False, no_raise=False, aggressive_unroll=True, typeinfer=True
Expand Down
Loading