Measurement result type conversion to int
Open
Nobody has claimed this yet.
stale-notified
- Dominant language
- C++
- Stars
- 1.1k
- Forks
- 456
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 165
Description
Required prerequisites
- Consult the security policy. If reporting a security vulnerability, do not report the bug using this form. Use the process described in the policy to report the issue.
- Make sure you've read the documentation. Your issue may be addressed there.
- Search the issue tracker to verify that this hasn't already been reported. +1 or comment there if it has.
- If possible, make a PR with a failing test to give us a starting point to work on!
Describe the bug
Type conversion from bool to int in kernel fails.
Steps to reproduce the bug
import cudaq
@cudaq.kernel
def mykernel() -> int:
qubit = cudaq.qubit()
result = mz(qubit)
return result
mykernel()
fails
CompilerError: 3902201743.py:7: error: Invalid return type, function was defined to return a <class 'int'> but the value being returned is of type <class 'bool'>
(offending source -> return result)
Expected behavior
import cudaq
@cudaq.kernel
def mykernel() -> bool:
qubit = cudaq.qubit()
result = mz(qubit)
return result
mykernel()
and
import cudaq
@cudaq.kernel
def mykernel() -> float:
qubit = cudaq.qubit()
result = mz(qubit)
return result
mykernel()
works.
I'm not sure this is a bug or spec.
Is this a regression? If it is, put the last known working version (or commit) here.
Not a regression
Environment
- CUDA Quantum version: 0.8.0
- Python version:
- C++ compiler:
- Operating system:
Suggestions
No response
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the compiler or Python kernel type-checking path exercised by the provided mykernel reproducer. Compare the existing bool-to-float handling with bool-to-int returns, then add a regression test for the chosen behavior; done means the reproducer passes or the supported return-type rule is clearly enforced.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, python
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100