diff options
| author | Hans Bolinder <[email protected]> | 2016-10-26 13:46:06 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-11-01 10:16:39 +0100 |
| commit | cc2503f49e9fa445290740ebd11f1222431f5bd9 (patch) | |
| tree | b26eb3745dc3fcd14a317355f0a2992b00bd104c /erts/preloaded | |
| parent | 18dad110a0e9220cf1a18ff1cd78d66d6ce203b5 (diff) | |
| download | otp-cc2503f49e9fa445290740ebd11f1222431f5bd9.tar.gz otp-cc2503f49e9fa445290740ebd11f1222431f5bd9.tar.bz2 otp-cc2503f49e9fa445290740ebd11f1222431f5bd9.zip | |
erts: Correct type declaration of match specification head
Bug reported by Peti Gömöri <[email protected]>.
Diffstat (limited to 'erts/preloaded')
| -rw-r--r-- | erts/preloaded/src/erlang.erl | 3 | ||||
| -rw-r--r-- | erts/preloaded/src/erts_internal.erl | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl index 652a954807..8771089b65 100644 --- a/erts/preloaded/src/erlang.erl +++ b/erts/preloaded/src/erlang.erl @@ -2408,10 +2408,11 @@ term_to_binary(_Term, _Options) -> tl(_List) -> erlang:nif_error(undefined). +-type match_variable() :: atom(). % Approximation of '$1' | '$2' | ... -type trace_pattern_mfa() :: {atom(),atom(),arity() | '_'} | on_load. -type trace_match_spec() :: - [{[term()] | '_' ,[term()],[term()]}]. + [{[term()] | '_' | match_variable() ,[term()],[term()]}]. -spec erlang:trace_pattern(MFA, MatchSpec) -> non_neg_integer() when MFA :: trace_pattern_mfa() | send | 'receive', diff --git a/erts/preloaded/src/erts_internal.erl b/erts/preloaded/src/erts_internal.erl index 6aae5ba38c..f4518c4008 100644 --- a/erts/preloaded/src/erts_internal.erl +++ b/erts/preloaded/src/erts_internal.erl @@ -438,10 +438,11 @@ microstate_accounting(Ref, Threads) -> trace(_PidSpec, _How, _FlagList) -> erlang:nif_error(undefined). +-type match_variable() :: atom(). % Approximation of '$1' | '$2' | ... -type trace_pattern_mfa() :: {atom(),atom(),arity() | '_'} | on_load. -type trace_match_spec() :: - [{[term()] | '_' ,[term()],[term()]}]. + [{[term()] | '_' | match_variable() ,[term()],[term()]}]. -spec trace_pattern(MFA, MatchSpec, FlagList) -> non_neg_integer() when MFA :: trace_pattern_mfa(), |