refactor: remove server field from deployment

spex-lang · Dec 12, 2024 · ceace3d · ceace3d
1 parent 9a57ee9
commit ceace3d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/Spex/Experiment/Protocol3.hs b/src/Spex/Experiment/Protocol3.hs
@@ -129,9 +129,8 @@ clientProtocol =
   Protocol [Transition (== ClientInit) (Recv TM (\Ack -> End ClientInit))]
 
 data Deployment node msg = Deployment
-  { topology :: Topology node
+  { topology :: Topology node -- NOTE: not used yet...
   , protocols :: Map node (SomeProtocol node msg)
-  , server :: node
   }
 
 twoPCDeployment :: Deployment Node Msg
@@ -145,7 +144,6 @@ twoPCDeployment =
           , (RM2, SomeProtocol rmProtocol RMInit)
           , (Client, SomeProtocol clientProtocol ClientInit)
           ]
-    , server = TM
     }
 
 data Mock state node msg = Mock