some progress on error handling

verus-lang · Jul 20, 2023 · 57515fb · 57515fb
1 parent 7a5f3ec
commit 57515fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/source/verus/src/main.rs b/source/verus/src/main.rs
@@ -278,6 +278,7 @@ fn repo_path() -> Option<Reports> {
     let project_name = input_file_path
         .as_ref()
         .map(|path| format!("{:x}", sha2::Sha256::digest(path.to_str().unwrap().as_bytes())));
+        // not sure how to write a ? to replace unwrap
 
     let proj_dir = project_name.map(|name| {
         let project_dir = reports_dir.join(uuid).join(name);