diff options
| author | Magnus Lång <[email protected]> | 2016-02-27 19:23:48 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:09 +0200 |
| commit | a13d4a750dfdf9a2a96d1e7ec0054644187afa59 (patch) | |
| tree | 741bd9b4f465db35672cec3b6e7a2a3f08dc2c17 /erts | |
| parent | c4a51d9087bdac955e9be94cb0819a01c9e91844 (diff) | |
| download | otp-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')
| -rw-r--r-- | erts/preloaded/src/erlang.erl | 6 |
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() }, |