blob: 1481bddf18a052e7dd70d173a05140c23a4f9031 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
diff --git a/src/format/opamFile.ml b/src/format/opamFile.ml
index c1c0a3f1dff..dd85ff45bc0 100644
--- a/src/format/opamFile.ml
+++ b/src/format/opamFile.ml
@@ -3728,8 +3728,15 @@ module Dot_installSyntax = struct
Pp.V.map_list ~depth:1 @@ Pp.V.map_option
(Pp.V.string -| pp_optional)
(Pp.opt @@
- Pp.singleton -| Pp.V.string -|
- Pp.of_module "rel-filename" (module OpamFilename.Base))
+ Pp.singleton -| Pp.V.string -| Pp.pp ~name:"rel-filename"
+ (fun ~pos s ->
+ if OpamFilename.might_escape ~sep:`Unspecified s then
+ Pp.bad_format ~pos "%s references its parent directory." s
+ else if Filename.is_relative s then
+ OpamFilename.Base.of_string s
+ else
+ Pp.bad_format ~pos "%s is an absolute filename." s)
+ OpamFilename.Base.to_string)
in
let pp_misc =
Pp.V.map_list ~depth:1 @@ Pp.V.map_option
|
