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 /lib/runtime_tools/src | |
| 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 'lib/runtime_tools/src')
| -rw-r--r-- | lib/runtime_tools/src/msacc.erl | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/runtime_tools/src/msacc.erl b/lib/runtime_tools/src/msacc.erl index 612effa5aa..4db5dbec91 100644 --- a/lib/runtime_tools/src/msacc.erl +++ b/lib/runtime_tools/src/msacc.erl @@ -32,18 +32,18 @@ -type msacc_data() :: [msacc_data_thread()]. --type msacc_data_thread() :: #{ '$type' => msacc_data, - type => msacc_type(), id => msacc_id(), - counters => msacc_data_counters() }. +-type msacc_data_thread() :: #{ '$type' := msacc_data, + type := msacc_type(), id := msacc_id(), + counters := msacc_data_counters() }. -type msacc_data_counters() :: #{ msacc_state() => non_neg_integer()}. -type msacc_stats() :: [msacc_stats_thread()]. --type msacc_stats_thread() :: #{ '$type' => msacc_stats, - type => msacc_type(), id => msacc_id(), - system => float(), - counters => msacc_stats_counters()}. --type msacc_stats_counters() :: #{ msacc_state() => #{ thread => float(), - system => float()}}. +-type msacc_stats_thread() :: #{ '$type' := msacc_stats, + type := msacc_type(), id := msacc_id(), + system := float(), + counters := msacc_stats_counters()}. +-type msacc_stats_counters() :: #{ msacc_state() => #{ thread := float(), + system := float()}}. -type msacc_type() :: scheduler | aux | async. |