sessiontypes-distributed 0.1.0 → 0.1.1

raw patch · 7 files changed

+13/−6 lines, 7 filesdep ~exceptionsdep ~network-transport-tcpdep ~rank1dynamic

Dependency ranges changed: exceptions, network-transport-tcp, rank1dynamic

Files

• ChangeLog +4/−0
• sessiontypes-distributed.cabal +4/−4
• src/Control/Distributed/Session/Lifted.hs +1/−0
• src/Control/Distributed/Session/Normalize.hs +1/−0
• src/Control/Distributed/Session/Spawn.hs +1/−0
• test/Test/Lifted/Main.hs +1/−1
• test/Test/Spawn/Main.hs +1/−1

@@ -1,3 +1,7 @@+2017-01-13  Ferdinand van Walree 0.1.1+* Upgraded to LTS 10.3+* Suppressed warning 'simplifiable-class-constraints'+ 2017-09-30  Ferdinand van Walree 0.1.0  * Initial release.

@@ -1,5 +1,5 @@ name:                sessiontypes-distributed-version:             0.1.0+version:             0.1.1 synopsis:            Session types distributed description:         This package serves as a wrapper over both the Cloud Haskell library (distributed-process) and the sessiontypes library.                      It provides an interpreter for evaluating session typed programs to Cloud Haskell programs and exposes several combinators for spawning sessions.@@ -35,7 +35,7 @@                     ,  distributed-process >= 0.7.3 && < 0.8                     ,  distributed-static  >= 0.3.8 && < 0.4                     ,  exceptions          >= 0.8.3 && < 0.9.0-                    ,  rank1dynamic        >= 0.3.3 && < 0.4+                    ,  rank1dynamic        >= 0.4 && < 0.5   default-language:    Haskell2010  test-suite sessiontypes-distributed-spawn@@ -48,7 +48,7 @@                      , sessiontypes          >= 0.1.0 && < 0.2.0                      , hspec                 >= 2.4.4 && < 2.5                      , distributed-process   >= 0.7.3 && < 0.8-                     , network-transport-tcp >= 0.5.1 && < 0.6+                     , network-transport-tcp >= 0.6   && < 0.7   ghc-options:         -threaded -rtsopts -with-rtsopts=-N   default-language:    Haskell2010 @@ -62,7 +62,7 @@                      , sessiontypes          >= 0.1.0 && < 0.2.0                      , hspec                 >= 2.4.4 && < 2.5                      , distributed-process   >= 0.7.3 && < 0.8-                     , network-transport-tcp >= 0.5.1 && < 0.6+                     , network-transport-tcp >= 0.6   && < 0.7   ghc-options:         -threaded -rtsopts -with-rtsopts=-N   default-language:    Haskell2010 

@@ -1,4 +1,5 @@ {-# LANGUAGE RebindableSyntax #-}+{-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-} -- | In this module we lift all functions in "Control.Distributed.Process" that return a function of type Process a to Session s s a. -- -- Since the functions in this module work identical to the ones in "Control.Distributed.Process" we will refer to that module for documentation.

@@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-}+{-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-} -- | This module provides three functions for normalizing session typed programs. -- -- With normalizing we mean that we apply rewrites to a session typed program until we can no longer do so

@@ -1,3 +1,4 @@+{-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-} -- | Defines several combinators for spawning sessions -- -- Here we define a session to be two dual `Session`s that together implement a protocol described by a session type.

@@ -35,7 +35,7 @@ myRemoteTable = Test.Program.Closure.__remoteTable $ sessionRemoteTable initRemoteTable  newNode p = do-  Right t <- createTransport "127.0.0.1" (show p) defaultTCPParameters+  Right t <- createTransport "127.0.0.1" (show p) (\sn -> ("127.0.0.1", sn)) defaultTCPParameters   newLocalNode t myRemoteTable  test_call :: NodeId -> Process Int

@@ -51,7 +51,7 @@ myRemoteTable = Test.Program.Closure.__remoteTable $ sessionRemoteTable initRemoteTable  newNode p = do-  Right t <- createTransport "127.0.0.1" (show p) defaultTCPParameters+  Right t <- createTransport "127.0.0.1" (show p) (\sn -> ("127.0.0.1", sn)) defaultTCPParameters   newLocalNode t myRemoteTable  test_callLocalSession :: Process Int