aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/test/opt_verify_SUITE.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-09-01 11:44:36 +0200
committerHans Bolinder <[email protected]>2017-09-12 13:32:29 +0200
commit3d05725ceb26611ac8c19cc01df715089dc322d5 (patch)
treeeeae656118cbb70744af4388cf9575b1c0cad481 /lib/hipe/test/opt_verify_SUITE.erl
parentc3f50bc462cc850bdef6b77d1a7a58091a75c936 (diff)
downloadotp-3d05725ceb26611ac8c19cc01df715089dc322d5.tar.gz
otp-3d05725ceb26611ac8c19cc01df715089dc322d5.tar.bz2
otp-3d05725ceb26611ac8c19cc01df715089dc322d5.zip
dialyzer: Modify handling of singleton map key types
The test case loop.erl shows that there is a problem with certain singleton key types. Here the internal representation toggles between #{a | b => ...} and #{a => ..., b => ...} The choice is to turn #{a | b => ...} into #{a => ..., b => ...} early (t_from_form()). The aim is to keep as much info as possible (in pairs). However, including complex singleton keys (tuples, maps) in this scheme is potentially too costly, and a bit complicated. So one more choice is made: let atoms and number (and nothing else) be singleton types, and let complex keys go into the default key.
Diffstat (limited to 'lib/hipe/test/opt_verify_SUITE.erl')
-rw-r--r--lib/hipe/test/opt_verify_SUITE.erl2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hipe/test/opt_verify_SUITE.erl b/lib/hipe/test/opt_verify_SUITE.erl
index 86083fa02b..a323c10503 100644
--- a/lib/hipe/test/opt_verify_SUITE.erl
+++ b/lib/hipe/test/opt_verify_SUITE.erl
@@ -44,7 +44,7 @@ call_elim(Config) ->
Icode5 = call_elim_test_file(Config, F3, icode_call_elim),
0 = substring_count(binary:bin_to_list(Icode5), "is_key"),
Icode6 = call_elim_test_file(Config, F3, no_icode_call_elim),
- 3 = substring_count(binary:bin_to_list(Icode6), "is_key"),
+ 2 = substring_count(binary:bin_to_list(Icode6), "is_key"),
ok.
call_elim_test_file(Config, FileName, Option) ->