polysemy-plugin 0.2.5.0 → 0.2.5.1

raw patch · 6 files changed

+25/−10 lines, 6 filesdep ~ghc-tcplugins-extraPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: ghc-tcplugins-extra

API changes (from Hackage documentation)

Files

• ChangeLog.md +6/−1
• polysemy-plugin.cabal +5/−5
• src/Polysemy/Plugin.hs +1/−0
• src/Polysemy/Plugin/Fundep.hs +5/−2
• src/Polysemy/Plugin/Fundep/Unification.hs +7/−0
• src/Polysemy/Plugin/Fundep/Utils.hs +1/−2

@@ -1,7 +1,12 @@ # Changelog for polysemy-plugin  -## 0.2.5.0 (2020-10-14)+## 0.2.5.1 (2020-09-15)++- The plugin now works on GHC 8.10 (thanks to @googleson78)++## 0.2.5.0 (2020-02-14)+ - Updated the lower bounds to `polysemy-1.3.0.0` because of changes to     `polysemy` internals - Updated the test suite to test against `polysemy-1.3.0.0`.

@@ -1,13 +1,13 @@ cabal-version: 1.24 --- This file has been generated from package.yaml by hpack version 0.31.2.+-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack ----- hash: 48094f708e51c9466f041c84159f98dd8116f8573bdf02908880f68e2d8ed787+-- hash: 0f4635d86ee9b6424b575257afd4fc1a42b0ddbbf2270bdcb1a71b8e54f0226d  name:           polysemy-plugin-version:        0.2.5.0+version:        0.2.5.1 synopsis:       Disambiguate obvious uses of effects. description:    Please see the README on GitHub at <https://github.com/isovector/polysemy/tree/master/polysemy-plugin#readme> category:       Polysemy@@ -55,7 +55,7 @@       base >=4.9 && <5     , containers >=0.5 && <0.7     , ghc >=8.4.4 && <9-    , ghc-tcplugins-extra >=0.3 && <0.4+    , ghc-tcplugins-extra >=0.3 && <0.5     , polysemy >=1.3     , syb >=0.7 && <0.8     , transformers >=0.5.2.0 && <0.6@@ -85,7 +85,7 @@     , containers >=0.5 && <0.7     , doctest >=0.16.0.1 && <0.17     , ghc >=8.4.4 && <9-    , ghc-tcplugins-extra >=0.3 && <0.4+    , ghc-tcplugins-extra >=0.3 && <0.5     , hspec >=2.6.0 && <3     , inspection-testing >=0.4.2 && <0.5     , polysemy >=1.3.0.0

@@ -64,6 +64,7 @@ import Polysemy.Plugin.Fundep #if __GLASGOW_HASKELL__ >= 810 import Polysemy.Plugin.Phases+import Data.Bool (bool) #endif  import GhcPlugins

@@ -1,5 +1,6 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE ViewPatterns               #-}+{-# LANGUAGE CPP                        #-}  ------------------------------------------------------------------------------ -- The MIT License (MIT)@@ -46,6 +47,9 @@ import           TcEvidence import           TcPluginM (TcPluginM, tcPluginIO) import           TcRnTypes+#if __GLASGOW_HASKELL__ >= 810+import           Constraint+#endif import           TcSMonad hiding (tcLookupClass) import           Type @@ -195,7 +199,7 @@                -- work?                . fmap (second (/= 1))                . countLength-               $ fmap (OrdType . fcRow) wanteds+               $ OrdType . fcRow <$> wanteds   solveFundep@@ -237,4 +241,3 @@   tcPluginIO $ modifyIORef ref $ S.union $ S.fromList unifications    pure $ TcPluginOk (solveBogusError stuff wanted) new_wanteds-

@@ -1,9 +1,16 @@+{-# LANGUAGE CPP                       #-}+ module Polysemy.Plugin.Fundep.Unification where  import           Data.Bool import           Data.Function (on) import qualified Data.Set as S+#if __GLASGOW_HASKELL__ >= 810+import           Constraint+#else import           TcRnTypes+#endif+ import           Type  

@@ -21,7 +21,7 @@     -> m a     -> m (z a) whenA False _ = pure empty-whenA True ma = fmap pure ma+whenA True ma = pure <$> ma   ------------------------------------------------------------------------------@@ -30,4 +30,3 @@ countLength as =   let grouped = group as    in zipWith (curry $ bimap head length) grouped grouped-