Skip to content

Commit 8af9d5a

Browse files
committed
fix: please static checker
1 parent aedb047 commit 8af9d5a

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

compiler/gentype/Paths.ml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,9 +34,12 @@ let remove_path_prefix ~prefix path =
3434
let prefix_len = String.length normalized_prefix in
3535
let path_len = String.length path in
3636
let is_prefix =
37-
prefix_len <= path_len && String.sub path 0 prefix_len = normalized_prefix
37+
prefix_len <= path_len
38+
&& (String.sub path 0 prefix_len [@doesNotRaise]) = normalized_prefix
3839
in
39-
if is_prefix then String.sub path prefix_len (path_len - prefix_len) else path
40+
if is_prefix then
41+
String.sub path prefix_len (path_len - prefix_len) [@doesNotRaise]
42+
else path
4043

4144
let append_suffix ~config source_path =
4245
(source_path |> handle_namespace)

0 commit comments

Comments
 (0)