From 7b2b79a1f08d5632a4fcd5f778c2c02e383997fc Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Wed, 4 Oct 2023 15:43:29 -0700 Subject: [PATCH] Remove recent ocaml-ism --- lib/Inlining.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/Inlining.ml b/lib/Inlining.ml index 39bfffb3..74f23f65 100644 --- a/lib/Inlining.ml +++ b/lib/Inlining.ml @@ -642,7 +642,7 @@ let drop_unused files = ) files let mark_possibly_unused ifdefs files = - let map = object (self) + let map = (object (self) inherit [_] reduce as super method zero = LidSet.empty method plus = LidSet.union @@ -657,12 +657,12 @@ let mark_possibly_unused ifdefs files = LidSet.union (self#visit_expr env e1) (LidSet.inter (LidSet.union (self#visit_expr env e2) (self#visit_expr env e2')) (self#visit_expr env e3)) - end#visit_files () files in - object + end)#visit_files () files in + (object inherit [_] map method! visit_DFunction _ cc flags n t name binders body = if not (LidSet.mem name map) && List.mem Private flags then DFunction (cc, MaybeUnused :: flags, n, t, name, binders, body) else DFunction (cc, flags, n, t, name, binders, body) - end#visit_files () files + end)#visit_files () files