From c5ccec07a0eb7a1274a3716d2fa7bb5f1320ca47 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Sat, 2 Nov 2024 23:21:00 -0700 Subject: [PATCH] fix: missed cppo directive --- jscomp/core/record_attributes_check.cppo.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/jscomp/core/record_attributes_check.cppo.ml b/jscomp/core/record_attributes_check.cppo.ml index 88b5e1588..a38e5ca83 100644 --- a/jscomp/core/record_attributes_check.cppo.ml +++ b/jscomp/core/record_attributes_check.cppo.ml @@ -52,7 +52,13 @@ let process_tag_name attrs = }; ] -> ( namespace_error ~loc txt; - match const.pconst_desc with + match +#if OCAML_VERSION >= (5, 3, 0) + const.pconst_desc +#else + const +#endif + with | Pconst_string (s, _, _) -> st := Some s | _ -> ()) | _ -> ());