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/stdlib/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/stdlib/src')
| -rw-r--r-- | lib/stdlib/src/io_lib.erl | 16 | ||||
| -rw-r--r-- | lib/stdlib/src/rand.erl | 10 | ||||
| -rw-r--r-- | lib/stdlib/src/supervisor.erl | 4 |
3 files changed, 15 insertions, 15 deletions
diff --git a/lib/stdlib/src/io_lib.erl b/lib/stdlib/src/io_lib.erl index f070a7192d..ad98bc0420 100644 --- a/lib/stdlib/src/io_lib.erl +++ b/lib/stdlib/src/io_lib.erl @@ -112,14 +112,14 @@ -type format_spec() :: #{ - control_char => char(), - args => [any()], - width => 'none' | integer(), - adjust => 'left' | 'right', - precision => 'none' | integer(), - pad_char => char(), - encoding => 'unicode' | 'latin1', - strings => boolean() + control_char := char(), + args := [any()], + width := 'none' | integer(), + adjust := 'left' | 'right', + precision := 'none' | integer(), + pad_char := char(), + encoding := 'unicode' | 'latin1', + strings := boolean() }. %%---------------------------------------------------------------------- diff --git a/lib/stdlib/src/rand.erl b/lib/stdlib/src/rand.erl index d455abf7b0..93409d95df 100644 --- a/lib/stdlib/src/rand.erl +++ b/lib/stdlib/src/rand.erl @@ -44,11 +44,11 @@ %% This depends on the algorithm handler function -type alg_seed() :: exs64_state() | exsplus_state() | exs1024_state(). %% This is the algorithm handler function within this module --type alg_handler() :: #{type => alg(), - max => integer(), - next => fun(), - uniform => fun(), - uniform_n => fun()}. +-type alg_handler() :: #{type := alg(), + max := integer(), + next := fun(), + uniform := fun(), + uniform_n := fun()}. %% Internal state -opaque state() :: {alg_handler(), alg_seed()}. diff --git a/lib/stdlib/src/supervisor.erl b/lib/stdlib/src/supervisor.erl index 37c3927739..38b764541a 100644 --- a/lib/stdlib/src/supervisor.erl +++ b/lib/stdlib/src/supervisor.erl @@ -57,8 +57,8 @@ | {'global', Name :: atom()} | {'via', Module :: module(), Name :: any()} | pid(). --type child_spec() :: #{id => child_id(), % mandatory - start => mfargs(), % mandatory +-type child_spec() :: #{id := child_id(), % mandatory + start := mfargs(), % mandatory restart => restart(), % optional shutdown => shutdown(), % optional type => worker(), % optional |