Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Random compilation errors on DistinguishUnitaries Kata #630

Closed
anpaz opened this issue Mar 24, 2022 · 4 comments · Fixed by #631
Closed

Random compilation errors on DistinguishUnitaries Kata #630

anpaz opened this issue Mar 24, 2022 · 4 comments · Fixed by #631
Labels
tracking This label will trigger gh-sync to create or update a mirror internal ADO issue.

Comments

@anpaz
Copy link
Member

anpaz commented Mar 24, 2022

Describe the bug

During our e2e and release builds, running some Katas like gives this error randomly:

CS0136 ((null):(null)): A local or parameter named '__arg1__' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter

To Reproduce

The error has been reported mainly on the notebooks in the DistinguishUnitaries Kata

@anpaz
Copy link
Member Author

anpaz commented Mar 24, 2022

This has been narrowed down to microsoft/qsharp-compiler#1393

@cgranade cgranade added the tracking This label will trigger gh-sync to create or update a mirror internal ADO issue. label Mar 24, 2022
@cgranade
Copy link
Contributor

Thanks for narrowing this down, @anpaz! Would you recommend mitigating on the IQ# side until microsoft/qsharp-compiler#1393 is resolved, then?

@anpaz
Copy link
Member Author

anpaz commented Mar 24, 2022

Yes @cgranade. Just pushed #631 to make codegen sync.

@cgranade
Copy link
Contributor

Apologies, posted right before I saw the notification for the matching PR!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
tracking This label will trigger gh-sync to create or update a mirror internal ADO issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants