core: record constructors for UserContactLink (#1244)

This commit is contained in:
Evgeny Poberezkin
2022-10-22 22:33:59 +01:00
committed by GitHub
parent 7f544da6cf
commit dfb6dafd6f

View File

@@ -275,8 +275,8 @@ data ChatResponse
| CRGroupCreated {groupInfo :: GroupInfo}
| CRGroupMembers {group :: Group}
| CRContactsList {contacts :: [Contact]}
| CRUserContactLink UserContactLink
| CRUserContactLinkUpdated UserContactLink
| CRUserContactLink {contactLink :: UserContactLink}
| CRUserContactLinkUpdated {contactLink :: UserContactLink}
| CRContactRequestRejected {contactRequest :: UserContactRequest}
| CRUserAcceptedGroupSent {groupInfo :: GroupInfo}
| CRUserDeletedMember {groupInfo :: GroupInfo, member :: GroupMember}