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

goldfirere · Oct 27, 2024 · 8babd09 · 8babd09
1 parent 68c5754
commit 8babd09
Showing 1 changed file with 0 additions and 1 deletion.
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