dandri/simplexmq
1
0
Fork 0
mirror of https://github.com/simplex-chat/simplexmq.git synced 2026-08-28 09:24:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove GADT syntax from existential wrappers (#49)

Browse Source
This commit is contained in:
Evgeny Poberezkin
2021-02-26 18:17:29 +04:00
committed by Efim Poberezkin
parent 3a161e93ca
commit 51aab978bd
2 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/Simplex/Messaging/Agent/Transmission.hs
+1 -2
View File
@@ -68,8 +68,7 @@ instance TestEquality SAParty where
testEquality SClient SClient = Just Refl
testEquality _ _ = Nothing
data ACmd where
ACmd :: SAParty p -> ACommand p -> ACmd
data ACmd = forall p. ACmd (SAParty p) (ACommand p)
deriving instance Show ACmd
src/Simplex/Messaging/Protocol.hs
+1 -2
View File
@@ -41,8 +41,7 @@ data SParty :: Party -> Type where
deriving instance Show (SParty a)
data Cmd where
Cmd :: SParty a -> Command a -> Cmd
data Cmd = forall a. Cmd (SParty a) (Command a)
deriving instance Show Cmd