OCamlPro · epatrizio · Jan 5, 2024 · Jan 5, 2024 · Jan 8, 2024 · Jan 8, 2024
diff --git a/src/cmd_opt.ml b/src/cmd_opt.ml
@@ -6,7 +6,7 @@ open Syntax
 
 let optimize_file ~unsafe filename =
   if not @@ Sys.file_exists filename then
-    error_s "file `%s` doesn't exist" filename
+    error_s "Error: file `%s` doesn't exist" filename
   else
     let* modul = Parse.Module.from_file ~filename in
     Compile.until_optimize ~unsafe ~optimize:true modul

diff --git a/test/optimize/dune b/test/optimize/dune
@@ -12,6 +12,7 @@
   ibinop.wast
   if.wast
   local.wast
+  not_exists.wast
   ref_nop.wast
   reinterpret.wast
   relop_testop.wast

diff --git a/test/optimize/not_exists.t b/test/optimize/not_exists.t
@@ -0,0 +1,4 @@
+not exists file (exists_not.wast instead of not_exists.wast):
+  $ dune exec -- owi opt exists_not.wast --debug
+  Error: file `exists_not.wast` doesn't exist
+  [1]
diff --git a/test/optimize/not_exists.wast b/test/optimize/not_exists.wast
@@ -0,0 +1,4 @@
+(module
+  (func $start)
+  (start $start)
+)
diff --git a/test/sym/dune b/test/sym/dune
@@ -2,4 +2,5 @@
  (deps
   %{bin:owi}
   mini_test.wast
+  not_exists.wast
  ))
diff --git a/test/sym/not_exists.t b/test/sym/not_exists.t
@@ -0,0 +1,4 @@
+not exists file (exists_not.wast instead of not_exists.wast):
+  $ dune exec owi -- sym exists_not.wast
+  Error: file `exists_not.wast` doesn't exist
+  [1]
diff --git a/test/sym/not_exists.wast b/test/sym/not_exists.wast
@@ -0,0 +1,4 @@
+(module
+  (func $start)
+  (start $start)
+)