fix DEL_RCVQ queue parameter type (#621)

This commit is contained in:
JRoberts
2023-01-24 19:59:32 +04:00
committed by GitHub
parent b59669a65e
commit ff038b492c
+1 -1
View File
@@ -272,7 +272,7 @@ data ACommand (p :: AParty) where
SWCH :: ACommand Client
OFF :: ACommand Client
DEL :: ACommand Client
DEL_RCVQ :: SMPServer -> SMP.SenderId -> Maybe AgentErrorType -> ACommand Agent
DEL_RCVQ :: SMPServer -> SMP.RecipientId -> Maybe AgentErrorType -> ACommand Agent
DEL_CONN :: ACommand Agent
DEL_USER :: Int64 -> ACommand Agent
CHK :: ACommand Client