Skip to content

Commit

Permalink
swizzleTvb: Generalize to work over any DTyVarBndr flag
Browse files Browse the repository at this point in the history
There is no reason to specialize this to `DTyVarBndrSpec`, as this works for
any `flag` type.
  • Loading branch information
RyanGlScott committed Jun 6, 2024
1 parent c0e974c commit ac67d08
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion singletons-th/src/Data/Singletons/TH/Util.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit ac67d08

Please sign in to comment.