From eac24b8b86d49bb4fe60f6363c07bc8962749198 Mon Sep 17 00:00:00 2001 From: Torsten Schmits Date: Sat, 25 May 2024 17:53:18 +0200 Subject: [PATCH] fix for 9.10 --- src/Polysemy/Internal/TH/Effect.hs | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/Polysemy/Internal/TH/Effect.hs b/src/Polysemy/Internal/TH/Effect.hs index c4df68da..3dd47fde 100644 --- a/src/Polysemy/Internal/TH/Effect.hs +++ b/src/Polysemy/Internal/TH/Effect.hs @@ -136,8 +136,8 @@ genFreer should_mk_sigs type_name = do -- | Generates signature for lifting function and type arguments to apply in -- its body on effect's data constructor. genSig :: ConLiftInfo -> [Dec] -genSig cli - = maybe [] (pure . flip InfixD (cliFunName cli)) (cliFunFixity cli) +genSig cli = + infixDecl ++ [ SigD (cliFunName cli) $ quantifyType $ ForallT [] (member_cxt : cliFunCxt cli) $ foldArrowTs sem @@ -145,6 +145,13 @@ genSig cli $ cliFunArgs cli ] where + infixDecl = case cliFunFixity cli of +#if __GLASGOW_HASKELL__ >= 910 + Just fixity -> [InfixD fixity NoNamespaceSpecifier (cliFunName cli)] +#else + Just fixity -> [InfixD fixity (cliFunName cli)] +#endif + Nothing -> [] member_cxt = makeMemberConstraint (cliUnionName cli) cli sem = makeSemType (cliUnionName cli) (cliEffRes cli)