From 9f3cda70d29982105171e1435bf4caafce07866d Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 29 Sep 2024 20:18:32 +0100 Subject: [PATCH] fix(stdune): ignore warning 53 for now (#10972) Signed-off-by: Rudi Grinberg --- otherlibs/stdune/src/stdune.ml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/otherlibs/stdune/src/stdune.ml b/otherlibs/stdune/src/stdune.ml index 37f7e7cdf26..1ea7da7ef61 100644 --- a/otherlibs/stdune/src/stdune.ml +++ b/otherlibs/stdune/src/stdune.ml @@ -1,5 +1,11 @@ -[@@@alert unstable "The API of this library is not stable and may change without notice."] -[@@@alert "-unstable"] +include struct + [@@@ocaml.warning "-53"] + + [@@@alert + unstable "The API of this library is not stable and may change without notice."] + + [@@@alert "-unstable"] +end module Appendable_list = Appendable_list module Nonempty_list = Nonempty_list