From 287c9ad649d71d5a6a7900933d8ac20451326f7a Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Thu, 4 Jul 2024 18:19:49 +0530 Subject: [PATCH] Fix incorrect path shown for UnexpectedFile error The error incorrectly prints the path of the unexpected file to be under the files sub-directory of a package. We are actually checking for unexpected files alongside the opam file of a package. --- lib/lint.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/lint.ml b/lib/lint.ml index 59676f21..38407e1c 100644 --- a/lib/lint.ml +++ b/lib/lint.ml @@ -568,7 +568,7 @@ module Lint = struct but your opam file only requires dune >= %s. Please check which requirement is the right one, and fix the other." pkg ver dep | UnexpectedFile file -> - Fmt.str "Error in %s: Unexpected file in %s/files/%s" pkg (Check.path_from_pkg package) file + Fmt.str "Error in %s: Unexpected file in %s/%s" pkg (Check.path_from_pkg package) file | ForbiddenPerm file -> Fmt.str "Error in %s: Forbidden permission for file %s/%s. All files should have permissions 644."