Skip to content

Conversation

idavis
Copy link
Collaborator

@idavis idavis commented Aug 13, 2025

This PR sets up the main uses of alias statements for qubit registers.

  • Lowers aliasing of qubit and bitarray registers
  • Compilation (to Q# ast) fails when used with bitarray registers. This is a known limitation until we decide we want to dig into it. The naive implementation requires reference variables. We can do qubits as they are virtual ids
  • Validates type information in lowering raising semantic errors if the aliases aren't type sound.
  • There is a stub test case for when we support index sets as part of aliasing

@idavis idavis requested a review from orpuente-MS August 13, 2025 21:24
@idavis idavis self-assigned this Aug 13, 2025
@idavis idavis marked this pull request as ready for review August 13, 2025 21:37
@idavis idavis mentioned this pull request Jul 29, 2025
26 tasks
@idavis idavis force-pushed the iadavis/qubit-alias-decls branch from b592ebf to 4b526fa Compare August 14, 2025 19:18
@idavis idavis added this pull request to the merge queue Aug 14, 2025
Merged via the queue into main with commit 2374cb4 Aug 14, 2025
18 checks passed
@idavis idavis deleted the iadavis/qubit-alias-decls branch August 14, 2025 19:49
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.

2 participants