Stim codegen with annotation

[kaihsin]

This PR address Status #522

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
9508	8390	88%	0%	🟢

New Files

File	Coverage	Status
src/bloqade/stim/emit/impls.py	100%	🟢
TOTAL	100%	🟢

Modified Files

File	Coverage	Status
src/bloqade/stim/emit/_init_.py	100%	🟢
TOTAL	100%	🟢

updated for commit: def9bc1 by action🐍

[david-pl]

Looks good! Just wondering whether you'd want to be able to deal with inputs as well.

[rafaelha]

I'm not sure if this should be part of this PR, but f-strings do not work

debug.info(f"debug measure {i}")

BuildError: Cannot lower JoinedStr node: <ast.JoinedStr object at 0x105878d10>
Source Traceback:
  File "/Users/rafaelhaenel/Documents/quera/bloqade-circuit/test/stim/passes/test_squin_debug_to_stim.py", line 55, col 19
    │  q = sq.qalloc(5)
    │  for i in range(5):
  55│      debug.info(f"debug measure {i}")
    │                 ^^^^^^^^^^^^^^^^^^^^
    │      qubit.broadcast.measure(q)
    │  return

[weinbe58]

Other than @david-pl comment this looks good to me.

[weinbe58]

I'm not sure if this should be part of this PR, but f-strings do not work

debug.info(f"debug measure {i}")

BuildError: Cannot lower JoinedStr node: <ast.JoinedStr object at 0x105878d10>
Source Traceback:
  File "/Users/rafaelhaenel/Documents/quera/bloqade-circuit/test/stim/passes/test_squin_debug_to_stim.py", line 55, col 19
    │  q = sq.qalloc(5)
    │  for i in range(5):
  55│      debug.info(f"debug measure {i}")
    │                 ^^^^^^^^^^^^^^^^^^^^
    │      qubit.broadcast.measure(q)
    │  return

yeah you would typically write this like:

debug.info(f"debug measure", i)

which means you would need to implement the additional inputs field of the info statement in the display.

[kaihsin]

I'm not sure if this should be part of this PR, but f-strings do not work

debug.info(f"debug measure {i}")

BuildError: Cannot lower JoinedStr node: <ast.JoinedStr object at 0x105878d10>
Source Traceback:
  File "/Users/rafaelhaenel/Documents/quera/bloqade-circuit/test/stim/passes/test_squin_debug_to_stim.py", line 55, col 19
    │  q = sq.qalloc(5)
    │  for i in range(5):
  55│      debug.info(f"debug measure {i}")
    │                 ^^^^^^^^^^^^^^^^^^^^
    │      qubit.broadcast.measure(q)
    │  return

f-string does not support by kirin at the moment. I don't think it should be mixed in this PR. maybe create an issue for "feature" request