From 67ae6e6da4cf827c2bfe27a31ab76ae393d0ceb2 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 3 Jul 2024 16:39:17 +0200
Subject: [PATCH] [kernel] Remove deprecated unknown in Filepath.Normalized
---
src/libraries/utils/filepath.ml | 2 --
src/libraries/utils/filepath.mli | 12 ------------
2 files changed, 14 deletions(-)
diff --git a/src/libraries/utils/filepath.ml b/src/libraries/utils/filepath.ml
index 30fe58b34cd..40ecb41ec45 100644
--- a/src/libraries/utils/filepath.ml
+++ b/src/libraries/utils/filepath.ml
@@ -297,9 +297,7 @@ module Normalized = struct
(String.lowercase_ascii s2)
let empty = normalize ""
- let unknown = empty
let is_empty fp = equal fp empty
- let is_unknown = is_empty
let special_stdout = normalize "-"
let is_special_stdout fp = equal fp special_stdout
diff --git a/src/libraries/utils/filepath.mli b/src/libraries/utils/filepath.mli
index e41e6940082..9f0e8a8e1b3 100644
--- a/src/libraries/utils/filepath.mli
+++ b/src/libraries/utils/filepath.mli
@@ -135,18 +135,6 @@ module Normalized: sig
(** Pretty-prints the normalized (absolute) path. *)
val pp_abs: Format.formatter -> t -> unit
- (** Unknown filepath, used as 'dummy' for [Datatype.Filepath].
- @deprecated 23.0-Vanadium use 'empty' instead
- *)
- val unknown: t
- [@@alert deprecated "Use Filepath.Normalized.empty instead"]
-
- (** @since 20.0-Calcium
- @deprecated 23.0-Vanadium use 'is_empty' instead
- *)
- val is_unknown: t -> bool
- [@@alert deprecated "Use Filepath.Normalized.is_empty instead"]
-
(** Empty filepath, used as 'dummy' for [Datatype.Filepath].
@since 23.0-Vanadium.
*)
--
GitLab