From 24f74ef9930b7303ea03beae47d8e0d891bc32aa Mon Sep 17 00:00:00 2001 From: Abdelrahman Abounegm Date: Sun, 11 Feb 2024 18:20:24 +0300 Subject: [PATCH] Count vertex indices in applications and dispatch --- eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs index 437e983c3..9d0c22bc7 100644 --- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs +++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs @@ -132,6 +132,8 @@ lookupBinding _ _ = Nothing objectBindings :: Object -> [Binding] objectBindings (Formation bs) = bs +objectBindings (Application obj bs) = objectBindings obj ++ bs +objectBindings (ObjectDispatch obj _attr) = objectBindings obj objectBindings _ = [] nuCount :: Object -> Int