Fix finalize print statement

Author: vicsn

synthesizer/process/src/finalize.rs

@@ -223,7 +223,6 @@ fn finalize_constructor<N: Network, P: FinalizeStorage<N>>(
     transition_id: N::TransitionID,
 ) -> Result<Vec<FinalizeOperation<N>>> {
     // Retrieve the program ID.
-    let program_id = stack.program_id();
     dev_println!("Finalizing constructor for {}...", stack.program_id());
 
     // Initialize a list for finalize operations.
@@ -241,8 +240,10 @@ fn finalize_constructor<N: Network, P: FinalizeStorage<N>>(
     // Get the constructor types.
     let constructor_types = stack.get_constructor_types()?.clone();
 
+    let identifier = Identifier::<N>::from_str("constructor")?;
+
     // Initialize the finalize registers.
-    let mut registers = FinalizeRegisters::new(state, transition_id, *program_id.name(), constructor_types, nonce);
+    let mut registers = FinalizeRegisters::new(state, transition_id, identifier, constructor_types, nonce);
 
     // Initialize a counter for the commands.
     let mut counter = 0;
@@ -441,7 +442,7 @@ struct FinalizeState<N: Network> {
     awaited: HashSet<Register<N>>,
 }
 
-// A helper function to initialize the finalize state.
+// A helper function to initialize the finalize state for transitions (not constructors).
 fn initialize_finalize_state<N: Network>(
     state: FinalizeGlobalState,
     future: &Future<N>,
@@ -493,6 +494,7 @@ fn finalize_command_except_await<N: Network>(
     counter: &mut usize,
     finalize_operations: &mut Vec<FinalizeOperation<N>>,
 ) -> Result<()> {
+    let function_name = *registers.function_name();
     // Finalize the command.
     match &command {
         Command::BranchEq(branch_eq) => {
@@ -502,9 +504,9 @@ fn finalize_command_except_await<N: Network>(
                     *counter = new_counter;
                 }
                 // If the evaluation fails, bail and return the error.
-                Ok(Err(error)) => bail!("'constructor' failed to evaluate command ({command}): {error}"),
+                Ok(Err(error)) => bail!("'{function_name}' failed to evaluate command ({command}): {error}"),
                 // If the evaluation fails, bail and return the error.
-                Err(_) => bail!("'constructor' failed to evaluate command ({command})"),
+                Err(_) => bail!("'{function_name}' failed to evaluate command ({command})"),
             }
         }
         Command::BranchNeq(branch_neq) => {
@@ -514,9 +516,9 @@ fn finalize_command_except_await<N: Network>(
                     *counter = new_counter;
                 }
                 // If the evaluation fails, bail and return the error.
-                Ok(Err(error)) => bail!("'constructor' failed to evaluate command ({command}): {error}"),
+                Ok(Err(error)) => bail!("'{function_name}' failed to evaluate command ({command}): {error}"),
                 // If the evaluation fails, bail and return the error.
-                Err(_) => bail!("'constructor' failed to evaluate command ({command})"),
+                Err(_) => bail!("'{function_name}' failed to evaluate command ({command})"),
             }
         }
         Command::Await(_) => {
@@ -530,9 +532,9 @@ fn finalize_command_except_await<N: Network>(
                 // If the evaluation succeeds with no operation, continue.
                 Ok(Ok(None)) => {}
                 // If the evaluation fails, bail and return the error.
-                Ok(Err(error)) => bail!("'constructor' failed to evaluate command ({command}): {error}"),
+                Ok(Err(error)) => bail!("'{function_name}' failed to evaluate command ({command}): {error}"),
                 // If the evaluation fails, bail and return the error.
-                Err(_) => bail!("'constructor' failed to evaluate command ({command})"),
+                Err(_) => bail!("'{function_name}' failed to evaluate command ({command})"),
             }
             *counter += 1;
         }