aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-09-06 14:45:23 +0200
committerHans Bolinder <[email protected]>2017-09-12 13:32:29 +0200
commitc3f50bc462cc850bdef6b77d1a7a58091a75c936 (patch)
tree6493bc1aa2661c034e908c88a50c0921e7a24793
parent2304047cfc190086e3e2bfbaf3e920cc7f4f878e (diff)
downloadotp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.tar.gz
otp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.tar.bz2
otp-c3f50bc462cc850bdef6b77d1a7a58091a75c936.zip
Dialyzer: Rewrite one map type invariant
-rw-r--r--lib/hipe/cerl/erl_types.erl4
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.