D.S.TH.Syntax: Delete dead code (ADMatch)

RyanGlScott · RyanGlScott · commit 8babd093debf · 2024-10-27T11:10:19.000-04:00
diff --git a/singletons-th/src/Data/Singletons/TH/Syntax.hs b/singletons-th/src/Data/Singletons/TH/Syntax.hs
@@ -133,7 +133,6 @@ data ADPat = ADLitP Lit
                     ADPat DType
            | ADWildP
 
-data ADMatch = ADMatch VarPromotions ADPat ADExp
 data ADClause = ADClause VarPromotions
                          [ADPat] ADExp
 
