From 6df26b05e01c9e3722005400e0f385f8736b26a8 Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Fri, 2 Feb 2024 19:58:54 +0300
Subject: [PATCH] Expand the wildcard to make all matches explicit

---
 eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
index ae45030c4..c559c66bc 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
@@ -85,7 +85,7 @@ objectHasMetavars (Application object bindings) = objectHasMetavars object || an
 objectHasMetavars (ObjectDispatch object attr) = objectHasMetavars object || attrHasMetavars attr
 objectHasMetavars (GlobalDispatch attr) = attrHasMetavars attr
 objectHasMetavars (ThisDispatch attr) = attrHasMetavars attr
-objectHasMetavars _ = False
+objectHasMetavars Termination = False
 
 bindingHasMetavars :: Binding -> Bool
 bindingHasMetavars (AlphaBinding attr obj) = attrHasMetavars attr || objectHasMetavars obj
@@ -96,7 +96,12 @@ bindingHasMetavars (MetaBindings _) = True
 
 attrHasMetavars :: Attribute -> Bool
 attrHasMetavars (MetaAttr _) = True
-attrHasMetavars _ = False
+attrHasMetavars Phi = False
+attrHasMetavars Rho = False
+attrHasMetavars Sigma = False
+attrHasMetavars VTX = False
+attrHasMetavars (Label _) = False
+attrHasMetavars (Alpha _) = False
 
 -- | Given a condition, and a substition from object matching
 --   tells whether the condition matches the object