Count vertex indices in applications and dispatch

objectionary · Feb 11, 2024 · 24f74ef · 24f74ef
1 parent 9fe8c05
commit 24f74ef
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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