From a95823de00718d38aefac6b18c5567e2d42d8307 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Sat, 26 Oct 2024 06:37:05 -0400 Subject: [PATCH] D.S.TH.Promote: Convert some wildcard patterns to {} --- singletons-th/src/Data/Singletons/TH/Promote.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/singletons-th/src/Data/Singletons/TH/Promote.hs b/singletons-th/src/Data/Singletons/TH/Promote.hs index ed41d23f..aef55574 100644 --- a/singletons-th/src/Data/Singletons/TH/Promote.hs +++ b/singletons-th/src/Data/Singletons/TH/Promote.hs @@ -1480,10 +1480,10 @@ promoteExp (DSigE exp ty) = do (exp', ann_exp) <- promoteExp exp ty' <- promoteType ty return (DSigT exp' ty', ADSigE exp' ann_exp ty') -promoteExp e@(DStaticE _) = fail ("Static expressions cannot be promoted: " ++ show e) -promoteExp e@(DTypedBracketE _) = fail ("Typed bracket expressions cannot be promoted: " ++ show e) -promoteExp e@(DTypedSpliceE _) = fail ("Typed splice expressions cannot be promoted: " ++ show e) -promoteExp e@(DTypeE _) = fail ("Embedded type expressions cannot be promoted: " ++ show e) +promoteExp e@(DStaticE {}) = fail ("Static expressions cannot be promoted: " ++ show e) +promoteExp e@(DTypedBracketE {}) = fail ("Typed bracket expressions cannot be promoted: " ++ show e) +promoteExp e@(DTypedSpliceE {}) = fail ("Typed splice expressions cannot be promoted: " ++ show e) +promoteExp e@(DTypeE {}) = fail ("Embedded type expressions cannot be promoted: " ++ show e) promoteLitExp :: OptionsMonad q => Lit -> q DType promoteLitExp (IntegerL n) = do