fcf-family 0.2.0.0 → 0.2.0.1

raw patch · 3 files changed

+7/−3 lines, 3 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

CHANGELOG.md +4/−0
fcf-family.cabal +2/−2
src/Fcf/Family/TH.hs +1/−1

CHANGELOG.md view

@@ -2,6 +2,10 @@  [Current version](https://gitlab.com/lysxia/fcf-family/-/blob/main/fcf-family/CHANGELOG.md) +## 0.2.0.1++- Compatibility with GHC 9.8.1+ ## 0.2.0.0  - Change `fcfify` to deduplicate calls with the same argument.

fcf-family.cabal view

@@ -1,11 +1,11 @@ cabal-version:      3.0 name:               fcf-family-version:            0.2.0.0+version:            0.2.0.1 synopsis: Family of families: featherweight defunctionalization description:   Promote regular type families to first-class,   without polluting the type namespace.-  .+   See README. homepage:           https://gitlab.com/lysxia/fcf-family license:            MIT

src/Fcf/Family/TH.hs view

@@ -206,7 +206,7 @@  -- -mkInfoHead :: Name -> [TyVarBndr ()] -> Type -> Q TyInfo+mkInfoHead :: Name -> [TyVarBndr a] -> Type -> Q TyInfo mkInfoHead name args res = do   args' <- for args (\arg -> case arg of     PlainTV _ _ -> fail "unexpected unnanotated arguments"  -- as far as I understand, the binders given by reify are always annotated so this shouldn't happen