Skip to content

Commit

Permalink
reviews not exists file call
Browse files Browse the repository at this point in the history
  • Loading branch information
epatrizio committed Jan 8, 2024
1 parent f4128ac commit 1db0002
Show file tree
Hide file tree
Showing 8 changed files with 11 additions and 17 deletions.
2 changes: 1 addition & 1 deletion src/cmd_opt.ml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ open Syntax

let optimize_file ~unsafe filename =
if not @@ Sys.file_exists filename then
error_s "Error: file `%s` doesn't exist" filename
error_s "file `%s` doesn't exist" filename
else
let* modul = Parse.Module.from_file ~filename in
Compile.until_optimize ~unsafe ~optimize:true modul
Expand Down
1 change: 0 additions & 1 deletion test/optimize/dune
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,6 @@
ibinop.wast
if.wast
local.wast
not_exists.wast
ref_nop.wast
reinterpret.wast
relop_testop.wast
Expand Down
6 changes: 3 additions & 3 deletions test/optimize/not_exists.t
Original file line number Diff line number Diff line change
@@ -1,4 +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
file doesn't exist:
$ dune exec -- owi opt not_exists.wast --debug
file `not_exists.wast` doesn't exist
[1]
4 changes: 0 additions & 4 deletions test/optimize/not_exists.wast

This file was deleted.

4 changes: 4 additions & 0 deletions test/optimize/not_exists_script.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
file doesn't exist (script option):
$ dune exec -- owi script not_exists.wast --debug --profiling
file `not_exists.wast` doesn't exist
[1]
1 change: 0 additions & 1 deletion test/sym/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,4 @@
(deps
%{bin:owi}
mini_test.wast
not_exists.wast
))
6 changes: 3 additions & 3 deletions test/sym/not_exists.t
Original file line number Diff line number Diff line change
@@ -1,4 +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
file doesn't exist:
$ dune exec owi -- sym not_exists.wast
Error: file `not_exists.wast` doesn't exist
[1]
4 changes: 0 additions & 4 deletions test/sym/not_exists.wast

This file was deleted.

0 comments on commit 1db0002

Please sign in to comment.