distributed-static 0.3.6 → 0.3.7
raw patch · 3 files changed
+12/−2 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- ChangeLog +4/−0
- distributed-static.cabal +1/−1
- src/Control/Distributed/Static.hs +7/−1
ChangeLog view
@@ -1,3 +1,7 @@+2017-08-22 Facundo Domínguez <facundo.dominguez@tweag.io> 0.3.7++* Make nominal the role of static+ 2017-08-22 Facundo Domínguez <facundo.dominguez@tweag.io> 0.3.6 * Move upper bound of rank1dynamic to support ghc-8.2.1.
distributed-static.cabal view
@@ -1,5 +1,5 @@ Name: distributed-static-Version: 0.3.6+Version: 0.3.7 Synopsis: Compositional, type-safe, polymorphic static values and closures Description: /Towards Haskell in the Cloud/ (Epstein et al, Haskell Symposium 2011) introduces the concept of /static/ values:
src/Control/Distributed/Static.hs view
@@ -170,6 +170,7 @@ {-# LANGUAGE CPP #-} #if __GLASGOW_HASKELL__ >= 710 {-# LANGUAGE StaticPointers #-}+{-# LANGUAGE RoleAnnotations #-} #endif module Control.Distributed.Static ( -- * Static values@@ -289,6 +290,11 @@ newtype Static a = Static StaticLabel deriving (Eq, Ord, Typeable, Show) +-- Trying to 'coerce' static values will lead to unification errors+#if __GLASGOW_HASKELL__ >= 710+type role Static nominal+#endif+ instance NFData (Static a) where rnf (Static s) = rnf s @@ -493,7 +499,7 @@ decodeEnvPairStatic = staticLabel "$decodeEnvPair" -- | Closure application-closureApply :: forall a b . +closureApply :: forall a b . Closure (a -> b) -> Closure a -> Closure b closureApply (Closure fdec fenv) (Closure xdec xenv) = closure decoder (encode (fenv, xenv))