diff options
author | Alexander Clouter <alex@digriz.org.uk> | 2020-08-23 14:36:43 +0100 |
---|---|---|
committer | Alexander Clouter <alex@digriz.org.uk> | 2020-08-31 08:44:01 +0100 |
commit | be42667b954f47497b34e0e78ec90fa4deda91c9 (patch) | |
tree | 4ea827d06277a02f38c1f210438fd1355c24d0d6 /erts/preloaded/src/erlang.erl | |
parent | 620fb20c710ed9e6898794c399d0a2df4e01f9f7 (diff) | |
download | erlang-be42667b954f47497b34e0e78ec90fa4deda91c9.tar.gz |
seq_trace: fix label spec missed in PR #1760
Diffstat (limited to 'erts/preloaded/src/erlang.erl')
-rw-r--r-- | erts/preloaded/src/erlang.erl | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl index a9d8803575..c8c3b36c8d 100644 --- a/erts/preloaded/src/erlang.erl +++ b/erts/preloaded/src/erlang.erl @@ -248,20 +248,10 @@ type | uniq. --type seq_trace_info() :: - 'send' | - 'receive' | - 'print' | - 'timestamp' | - 'monotonic_timestamp' | - 'strict_monotonic_timestamp' | - 'label' | - 'serial'. - -type seq_trace_info_returns() :: - { seq_trace_info(), non_neg_integer() | - boolean() | - { non_neg_integer(), non_neg_integer() } } | + { 'send' | 'receive' | 'print' | 'timestamp' | 'monotonic_timestamp' | 'strict_monotonic_timestamp', boolean() } | + { 'label', term() } | + { 'serial', { non_neg_integer(), non_neg_integer() } } | []. -type system_profile_option() :: @@ -2436,7 +2426,7 @@ send(_Dest,_Msg,_Options) -> (timestamp) -> {timestamp, boolean()}; (monotonic_timestamp) -> {timestamp, boolean()}; (strict_monotonic_timestamp) -> {strict_monotonic_timestamp, boolean()}; - (label) -> [] | {label, non_neg_integer()}; + (label) -> [] | {label, term()}; (serial) -> [] | {serial, {non_neg_integer(), non_neg_integer()}}. seq_trace_info(_What) -> erlang:nif_error(undefined). |