otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2017-09-12	dialyzer: Modify handling of singleton map key types	Hans Bolinder
	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.
2016-05-23	hipe: Add test suite for verifying optimisations	Erik Norgren
	* Added a suite opt_verify_SUITE.erl to HiPE that tests for the results of optimisations, with a single testcase that checks that the icode_call_elim optimisation pass does remove calls to maps:is_key/2 where sound and not otherwise. * Made hipe_testsuite_driver only create explicitly listed suites.