Import and comment cleanups

ProvableHQ · Dec 8, 2023 · 7cba76f · 7cba76f
1 parent 4d437a4
commit 7cba76f
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/synthesizer/process/src/stack/call/mod.rs b/synthesizer/process/src/stack/call/mod.rs
@@ -295,7 +295,7 @@ impl<N: Network> CallTrait<N> for Call<N> {
                                 ExternalRecord(locator) => {
                                     // Retrieve the external stack.
                                     let stack = substack.get_external_stack(locator.program_id())?;
-                                    // Sample the input.
+                                    // Sample the output.
                                     stack.sample_value(&address, &Record(*locator.resource()), rng)
                                 }
                                 _ => substack.sample_value(&address, output.value_type(), rng),

diff --git a/synthesizer/process/src/stack/helpers/matches.rs b/synthesizer/process/src/stack/helpers/matches.rs
@@ -13,7 +13,6 @@
 // limitations under the License.
 
 use super::*;
-pub use console::program::{Argument, FinalizeType};
 
 impl<N: Network> StackMatches<N> for Stack<N> {
     /// Checks that the given value matches the layout of the value type.

diff --git a/synthesizer/process/src/stack/helpers/sample.rs b/synthesizer/process/src/stack/helpers/sample.rs
@@ -13,7 +13,6 @@
 // limitations under the License.
 
 use super::*;
-use crate::stack::helpers::matches::{Argument, FinalizeType};
 
 impl<N: Network> Stack<N> {
     /// Returns a record for the given record name, with the given burner address.
@@ -49,9 +48,9 @@ impl<N: Network> Stack<N> {
     pub fn sample_future<R: Rng + CryptoRng>(&self, locator: &Locator<N>, rng: &mut R) -> Result<Future<N>> {
         // Sample a future value.
         let future = self.sample_future_internal(locator, 0, rng)?;
-        // Ensure the plaintext value matches the plaintext type.
+        // Ensure the future value matches the future type.
         self.matches_future(&future, locator)?;
-        // Return the plaintext value.
+        // Return the future value.
         Ok(future)
     }
 }
@@ -173,7 +172,7 @@ impl<N: Network> Stack<N> {
         Ok(plaintext)
     }
 
-    /// Returns a future for the given TODO.
+    /// Samples a future value according to the given locator.
     fn sample_future_internal<R: Rng + CryptoRng>(
         &self,
         locator: &Locator<N>,

diff --git a/synthesizer/process/src/stack/mod.rs b/synthesizer/process/src/stack/mod.rs
@@ -41,8 +41,10 @@ use console::{
     account::{Address, PrivateKey},
     network::prelude::*,
     program::{
+        Argument,
         Entry,
         EntryType,
+        FinalizeType,
         Future,
         Identifier,
         Literal,

diff --git a/synthesizer/program/src/traits/stack_and_registers.rs b/synthesizer/program/src/traits/stack_and_registers.rs
@@ -85,7 +85,7 @@ pub trait StackProgram<N: Network> {
     /// Returns the expected number of calls for the given function name.
     fn get_number_of_calls(&self, function_name: &Identifier<N>) -> Result<usize>;
 
-    /// Samples a value for the given value_type
+    /// Samples a value for the given value_type.
     fn sample_value<R: Rng + CryptoRng>(
         &self,
         burner_address: &Address<N>,