it....works

microsoft · Aug 13, 2024 · caa1d82 · caa1d82
1 parent 04c67b8
commit caa1d82
Show file tree

Hide file tree

Showing 6 changed files with 128 additions and 127 deletions.
diff --git a/compiler/qsc/src/compile.rs b/compiler/qsc/src/compile.rs
@@ -3,7 +3,7 @@
 
 use miette::{Diagnostic, Report};
 use qsc_data_structures::{language_features::LanguageFeatures, target::TargetCapabilityFlags};
-pub use qsc_frontend::compile::Dependencies as Foo;
+pub use qsc_frontend::compile::Dependencies;
 use qsc_frontend::{
     compile::{CompileUnit, PackageStore, SourceMap},
     error::WithSource,
@@ -44,7 +44,7 @@ pub enum ErrorKind {
 #[allow(clippy::module_name_repetitions)]
 pub fn compile_ast(
     store: &PackageStore,
-    dependencies: &Foo,
+    dependencies: &Dependencies,
     ast_package: qsc_ast::ast::Package,
     sources: SourceMap,
     package_type: PackageType,

diff --git a/library/fixed_point/qsharp.json b/library/fixed_point/qsharp.json
@@ -13,6 +13,7 @@
     "src/Polynomial.qs",
     "src/Reciprocal.qs",
     "src/Signed.qs",
+    "src/Tests.qs",
     "src/Types.qs"
   ]
 }
diff --git a/library/fixed_point/src/Facts.qs b/library/fixed_point/src/Facts.qs
@@ -13,7 +13,7 @@ import Types.FixedPoint;
 /// # Description
 /// This assertion succeeds when all qubits are in state $\ket{0}$,
 /// representing that the register encodes the fixed-point number $0.0$.
-operation AssertAllZeroFxP(fp : FixedPoint) : Unit is Adj + Ctl {
+operation AssertAllZeroFxP(fp : FixedPoint) : Unit {
     Fact(CheckAllZero(fp::Register), "Quantum fixed-point number was not zero.");
 }
 

diff --git a/library/fixed_point/src/Multiplication.qs b/library/fixed_point/src/Multiplication.qs
@@ -30,7 +30,6 @@ operation MultiplyFxP(fp1 : FixedPoint, fp2 : FixedPoint, result : FixedPoint) :
     }
     controlled (controls, ...) {
         IdenticalFormatFactFxP([fp1, fp2, result]);
-        AssertAllZeroFxP(result);
         let n = Length(fp1::Register);
 
         use tmpResult = Qubit[2 * n];
@@ -48,7 +47,7 @@ operation MultiplyFxP(fp1 : FixedPoint, fp2 : FixedPoint, result : FixedPoint) :
     }
 }
 
-    /// # Summary
+  /// # Summary
 /// Squares a fixed-point number.
 ///
 /// # Input
@@ -63,7 +62,6 @@ operation SquareFxP(fp : FixedPoint, result : FixedPoint) : Unit is Adj {
     }
     controlled (controls, ...) {
         IdenticalFormatFactFxP([fp, result]);
-        AssertAllZeroFxP(result);
         let n = Length(fp::Register);
 
         use tmpResult = Qubit[2 * n];

diff --git a/library/fixed_point/src/Reciprocal.qs b/library/fixed_point/src/Reciprocal.qs
@@ -34,7 +34,6 @@ operation ComputeReciprocalFxP(x : FixedPoint, result : FixedPoint) : Unit is Ad
         let (pRes, rs) = result!;
         let n = Length(xs);
 
-        Fact(CheckAllZero(rs), "Output register must be zero at this point.");
         Fact(p + pRes - 1 + n >= Length(rs), "Output register is too wide.");
         use sign = Qubit();
         use tmpRes = Qubit[2 * n];