From 8babd093debf7b6a5217227b0b747bf01e161aa9 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sat, 26 Oct 2024 15:14:31 -0400
Subject: [PATCH] D.S.TH.Syntax: Delete dead code (ADMatch)

---
 singletons-th/src/Data/Singletons/TH/Syntax.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/singletons-th/src/Data/Singletons/TH/Syntax.hs b/singletons-th/src/Data/Singletons/TH/Syntax.hs
index f0c54de8..679d1dce 100644
--- 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