From 207eb41549f158ac701b0be0a41d069ff8433e8d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Thu, 16 May 2024 14:33:05 +0200 Subject: [PATCH] Also check attribute on value binding nodes --- src/analysis/ast_iterators.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/analysis/ast_iterators.ml b/src/analysis/ast_iterators.ml index a6e0b4397..f9b60070f 100644 --- a/src/analysis/ast_iterators.ml +++ b/src/analysis/ast_iterators.ml @@ -59,6 +59,9 @@ let iter_on_usages ~f (local_defs : Mtyper.typedtree) = { occ_iter with (* We avoid iterating on nodes that do not correspond to actual syntax such as the ones introduced by PPXes *) + value_binding = (fun sub ({ vb_attributes; _ } as vb) -> + if not (is_hidden vb_attributes) then + occ_iter.value_binding sub vb); module_binding = (fun sub ({ mb_attributes; _ } as mb) -> if not (is_hidden mb_attributes) then occ_iter.module_binding sub mb);