File 0964-seq_trace-fix-label-spec-missed-in-PR-1760... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0964-seq_trace-fix-label-spec-missed-in-PR-1760.patch of Package erlang

From be42667b954f47497b34e0e78ec90fa4deda91c9 Mon Sep 17 00:00:00 2001
From: Alexander Clouter <alex@digriz.org.uk>
Date: Sun, 23 Aug 2020 14:36:43 +0100
Subject: [PATCH] seq_trace: fix label spec missed in PR #1760

---
 erts/preloaded/src/erlang.erl | 18 ++++--------------
 1 file 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).
-- 
2.26.2

Places

File 0964-seq_trace-fix-label-spec-missed-in-PR-1760.patch of Package erlang

Places