BigInt ranges
Open
Nobody has claimed this yet.
enhancement
language
- Dominant language
- Rust
- Stars
- 1k
- Forks
- 212
- Avg merge
- 3d 8h
- Merged PRs (30d)
- 65
Description
From microsoft/qsharp-language#132:
> I'd like to be able to write this:
>
> ```
> for k in 0L..15L {
> ...
> }
> ```
>
> Currently this causes a compile error:
>
> `error QS0001: The type Int does not match the type BigInt`
>
> It should instead be equivalent to:
>
> ```
> for k_helper in 0..15 {
> let k = IntAsBigInt(k_helper);
> ...
> }
> ```
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
No source file, test, or entry point is identified in the issue. Start by locating the compiler handling for range expressions and the Int/BigInt type check, then verify that BigInt bounds compile with the stated equivalent behavior and that existing Int ranges remain unchanged.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100