Prior art: #202
The package seems to load fine with GHC 8.10.2, but not GHC 9.x:
src/Data/Functor/Infix/TH.hs:32:18: error:
• Couldn't match type: flag0 -> TyVarBndr flag0
with: TyVarBndr Language.Haskell.TH.Syntax.Specificity
Expected: [TyVarBndr Language.Haskell.TH.Syntax.Specificity]
Actual: [flag0 -> TyVarBndr flag0]
• In the first argument of ‘ForallT’, namely ‘variables’
In the second argument of ‘($)’, namely
‘ForallT variables constraints type_’
In a stmt of a 'do' block:
pure $ ForallT variables constraints type_
|
32 | pure $ ForallT variables constraints type_
| ^^^^^^^^^
The author is unresponsive. See fmap/functor-infix#4
Could we maybe update the bounds to base >= 4.7 && < 4.15, template-haskell >= 2.8 && < 2.16?
The docs on hackage are also pretty messed up. They render weirdly, and the type signatures are wrong. The type signature of <$$> should be (<$$>) :: (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b). If it's not too much of a hassle, would a trustee be able to regenerate/reupload the hackage docs?
For people who stumble upon this issue, I recommend checking whether composition-extra provides what you need.
It's a lot less likely to break, as it doesn't use TH. It works with GHC {8,9}.*, whereas functor-infix only works with GHC 8.*.
Prior art: #202
The package seems to load fine with GHC 8.10.2, but not GHC 9.x:
The author is unresponsive. See fmap/functor-infix#4
Could we maybe update the bounds to
base >= 4.7 && < 4.15, template-haskell >= 2.8 && < 2.16?The docs on hackage are also pretty messed up. They render weirdly, and the type signatures are wrong. The type signature of
<$$>should be(<$$>) :: (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b). If it's not too much of a hassle, would a trustee be able to regenerate/reupload the hackage docs?For people who stumble upon this issue, I recommend checking whether
composition-extraprovides what you need.It's a lot less likely to break, as it doesn't use TH. It works with GHC {8,9}.*, whereas functor-infix only works with GHC 8.*.