From f3eb08d7fbade6a422ecadda5cf44524278145b7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 9 Apr 2021 11:58:39 +0200
Subject: [PATCH] [Kernel] remove deprecated function in Filepath
---
src/libraries/utils/filepath.mli | 16 ----------------
1 file changed, 16 deletions(-)
diff --git a/src/libraries/utils/filepath.mli b/src/libraries/utils/filepath.mli
index e9ebe88cb45..c81c1f198bc 100644
--- a/src/libraries/utils/filepath.mli
+++ b/src/libraries/utils/filepath.mli
@@ -61,22 +61,6 @@ val normalize: ?existence:existence -> ?base_name:string -> string -> string
@since Aluminium-20160501 *)
val relativize: ?base_name:string -> string -> string
-(** DEPRECATED: use [Normalized.to_pretty_string] instead.
- Pretty-print a path according to these rules:
- - relative filenames are kept, except for leading './', which are stripped;
- - absolute filenames are relativized if their prefix is included in the
- current working directory; also, symbolic names are resolved,
- i.e. the result may be prefixed by known aliases (e.g. FRAMAC_SHARE).
- See {!add_symbolic_dir} for more details.
- Therefore, the result of this function may not designate a valid name
- in the filesystem.
-
- @since Neon-20140301
- @deprecated since 18.0-Argon
-*)
-val pretty: string -> string
-[@@deprecated "Use Filepath.Normalized.to_pretty_string instead."]
-
(** The [Normalized] module is simply a wrapper that ensures that paths are
always normalized. Used by [Datatype.Filepath].
@since 18.0-Argon *)
--
GitLab