Skip to content

FixedPoint library doesn't compile in adaptive #2143

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
minestarks opened this issue Jan 31, 2025 · 0 comments · Fixed by #2156
Closed

FixedPoint library doesn't compile in adaptive #2143

minestarks opened this issue Jan 31, 2025 · 0 comments · Fixed by #2156
Labels
bug Something isn't working needs triage

Comments

@minestarks
Copy link
Member

The fixed_point library returns compiler errors when the target profile is Adaptive RI, Adaptive RIF or Base.

Repro

Expected

My code should run without errors since I'm not referencing anything from the library.

From team chat:

the library should use @Config to avoid exposing APIs that depend on things that aren't always present.

Actual

Errors from the dependency:

Qsc.Resolve.NotFound

  x name error
  `-> `Std.Diagnostics.CheckAllZero` not found
   ,-[qsharp-github-source:microsoft/qsharp/bd5a09c/library/fixed_point/src/Facts.qs:6:30]
 5 | import Std.Arrays.IsEmpty, Std.Arrays.Rest;
 6 | import Std.Diagnostics.Fact, Std.Diagnostics.CheckAllZero;
   :                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 7 | 
   `----

Qsc.Resolve.NotFound

  x name error
  `-> `CheckAllZero` not found
    ,-[qsharp-github-source:microsoft/qsharp/bd5a09c/library/fixed_point/src/Facts.qs:16:10]
 15 | operation AssertAllZeroFxP(fp : FixedPoint) : Unit {
 16 |     Fact(CheckAllZero(fp::Register), "Quantum fixed-point number was not zero.");
    :          ^^^^^^^^^^^^
 17 | }
    `----
  help: found a matching item `Std.Diagnostics.CheckAllZero` that is not
        available for the current compilation configuration
@minestarks minestarks added bug Something isn't working needs triage labels Jan 31, 2025
@minestarks minestarks changed the title fixedpoint library doesn't compile in adaptive FixedPoint library doesn't compile in adaptive Jan 31, 2025
github-merge-queue bot pushed a commit that referenced this issue Feb 13, 2025
…l profiles (#2156)

closes #2143

---------

Co-authored-by: Bill Ticehurst <[email protected]>
Co-authored-by: Stefan J. Wernli <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working needs triage
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant