on master help sign in
Enable NoStarIsType
commitfcfd87e847beeca3fe0ffa8786da0c06b4277c28 authorAndrzej Rybczak <andrzej@rybczak.net> dateThu 1 Jul 2021, 15:17 (5 years ago) parent44162c9
2 files changed+3−2
bench/FileSizes.hs+2−2 effectful.cabal+1
bench/FileSizes.hs+2−2
@@ -335,7 +335,7 @@ mtl_calculateFileSizesDeep
335335
336336#ifdef VERSION_polysemy
337337
338−data Poly_File (m :: * -> *) a where
338+data Poly_File :: E.Effect where
339339 Poly_tryFileSize :: FilePath -> Poly_File m (Maybe Int)
340340
341341poly_tryFileSize :: P.Member Poly_File es => FilePath -> P.Sem es (Maybe Int)
@@ -345,7 +345,7 @@ poly_runFile :: P.Member (P.Embed IO) es => P.Sem (Poly_File : es) a -> P.Sem es
345345poly_runFile = P.interpret \case
346346 Poly_tryFileSize path -> P.embed $ tryGetFileSize path
347347
348−data Poly_Logging (m :: * -> *) a where
348+data Poly_Logging :: E.Effect where
349349 Poly_logMsg :: String -> Poly_Logging m ()
350350
351351poly_logMsg :: P.Member Poly_Logging es => String -> P.Sem es ()
effectful.cabal+1
@@ -36,6 +36,7 @@ common language
3636 GeneralizedNewtypeDeriving
3737 LambdaCase
3838 MultiParamTypeClasses
39+ NoStarIsType
3940 RankNTypes
4041 RecordWildCards
4142 RoleAnnotations