diff options
| author | Hans Bolinder <[email protected]> | 2017-09-06 14:45:23 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-09-12 13:32:29 +0200 |
| commit | c3f50bc462cc850bdef6b77d1a7a58091a75c936 (patch) | |
| tree | 6493bc1aa2661c034e908c88a50c0921e7a24793 | |
| parent | 2304047cfc190086e3e2bfbaf3e920cc7f4f878e (diff) | |
| download | otp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.tar.gz otp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.tar.bz2 otp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.zip | |
Dialyzer: Rewrite one map type invariant
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 0883a69918..0b9f0d5c3a 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -1629,8 +1629,8 @@ lift_list_to_pos_empty(?list(Content, Termination, _)) -> %% * The keys in Pairs are singleton types. %% * The values of Pairs must not be unit, and may only be none if the %% mandatoriness tag is 'optional'. -%% * Optional must contain no pair {K,V} s.t. K is a subtype of DefaultKey and -%% V is equal to DefaultKey. +%% * There is no pair {K, 'optional', V} in Pairs s.t. +%% K is a subtype of DefaultKey and V is equal to DefaultValue. %% * DefaultKey must be the empty type iff DefaultValue is the empty type. %% * DefaultKey must not be a singleton type. %% * For every key K in Pairs, DefaultKey - K must not be representable; i.e. |