feat(eo-phi-normalizer): add COMPLETE pragma

objectionary · Jan 15, 2025 · 205afa6 · 205afa6
1 parent 9c0c68d
commit 205afa6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
@@ -714,3 +714,5 @@ pattern AlphaBinding' a obj = AlphaBinding (AttributeNoSugar a) obj
 
 pattern AlphaBinding'' :: LabelId -> [Attribute] -> Object -> Binding
 pattern AlphaBinding'' a as obj = AlphaBinding (AttributeSugar a as) obj
+
+{-# COMPLETE AlphaBinding', AlphaBinding'', EmptyBinding, DeltaBinding, DeltaEmptyBinding, LambdaBinding, MetaBindings, MetaDeltaBinding, AlphaBindingSugar #-}