yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore(dialyzer): fix spec for record field message.extra

This commit is contained in:
Spycsh 2021-10-11 16:01:55 +08:00 committed by Zaiming Shi
parent 71731c01f1
commit d4657754eb
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
apps/emqx/src/emqx_message.erl
View File

@ -80,7 +80,8 @@
headers := emqx_types:headers(), headers := emqx_types:headers(),
topic := emqx_types:topic(), topic := emqx_types:topic(),
payload := emqx_types:payload(), payload := emqx_types:payload(),
timestamp := integer()} timestamp := integer(),
extra := _}
). ).
-elvis([{elvis_style, god_modules, disable}]). -elvis([{elvis_style, god_modules, disable}]).
@ -322,7 +323,8 @@ from_map(#{id := Id,
headers := Headers, headers := Headers,
topic := Topic, topic := Topic,
payload := Payload, payload := Payload,
timestamp := Timestamp timestamp := Timestamp,
extra := Extra
}) -> }) ->
#message{ #message{
id = Id, id = Id,
@ -332,7 +334,8 @@ from_map(#{id := Id,
headers = Headers, headers = Headers,
topic = Topic, topic = Topic,
payload = Payload, payload = Payload,
timestamp = Timestamp timestamp = Timestamp,
extra = Extra
}. }.
%% MilliSeconds %% MilliSeconds