swizzleTvb: Generalize to work over any DTyVarBndr flag

There is no reason to specialize this to `DTyVarBndrSpec`, as this works for any `flag` type.
goldfirere · May 30, 2024 · 00b0671 · 00b0671
1 parent 9b68a94
commit 00b0671
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/singletons-th/src/Data/Singletons/TH/Util.hs b/singletons-th/src/Data/Singletons/TH/Util.hs
@@ -874,7 +874,7 @@ matchUpSigWithDecl = go_fun_args Map.empty
 
 -- This is heavily inspired by the `swizzleTcb` function in GHC:
 -- https://gitlab.haskell.org/ghc/ghc/-/blob/cec903899234bf9e25ea404477ba846ac1e963bb/compiler/GHC/Tc/Gen/HsType.hs#L2741-2755
-swizzleTvb :: Map Name Name -> DSubst -> DTyVarBndrSpec -> (DSubst, DTyVarBndrSpec)
+swizzleTvb :: Map Name Name -> DSubst -> DTyVarBndr flag -> (DSubst, DTyVarBndr flag)
 swizzleTvb swizzle_env subst tvb =
   (subst', tvb2)
   where