aboutsummaryrefslogtreecommitdiffstats
path: root/erts/preloaded
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-02-27 19:23:48 +0100
committerHans Bolinder <[email protected]>2016-04-28 16:16:09 +0200
commita13d4a750dfdf9a2a96d1e7ec0054644187afa59 (patch)
tree741bd9b4f465db35672cec3b6e7a2a3f08dc2c17 /erts/preloaded
parentc4a51d9087bdac955e9be94cb0819a01c9e91844 (diff)
downloadotp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.gz
otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.bz2
otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.zip
Enhance map specs in erts, stdlib, runtime_tools
Using the new type syntax, we can specify which keys are required, and which are optional in a way Dialyzer could use.
Diffstat (limited to 'erts/preloaded')
-rw-r--r--erts/preloaded/src/erlang.erl6
1 files changed, 3 insertions, 3 deletions
diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl
index 3cc17014ff..20a64e81b4 100644
--- a/erts/preloaded/src/erlang.erl
+++ b/erts/preloaded/src/erlang.erl
@@ -2257,9 +2257,9 @@ spawn_opt(_Tuple) ->
Input :: non_neg_integer(),
Output :: non_neg_integer();
(microstate_accounting) -> [MSAcc_Thread] | undefined when
- MSAcc_Thread :: #{ type => MSAcc_Thread_Type,
- id => MSAcc_Thread_Id,
- counters => MSAcc_Counters},
+ MSAcc_Thread :: #{ type := MSAcc_Thread_Type,
+ id := MSAcc_Thread_Id,
+ counters := MSAcc_Counters},
MSAcc_Thread_Type :: scheduler | async | aux,
MSAcc_Thread_Id :: non_neg_integer(),
MSAcc_Counters :: #{ MSAcc_Thread_State => non_neg_integer() },