otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2018-03-14	Merge branch 'maint'	Henrik
	Conflicts: OTP_VERSION
2018-03-13	Merge branch 'hasse/dialyzer/extra-range/OTP-14970'	Hans Bolinder
	* hasse/dialyzer/extra-range/OTP-14970: ssl: Correct some specs os_mon: Correct a spec Fix broken spec in beam_asm Dialyzer should not throw away spec information because of overspec
2018-03-09	Update release notes	Erlang/OTP

2018-03-09	Update version numbers	Erlang/OTP

2018-02-26	Merge pull request #1719 from josevalim/jv-faster-dialyzer-md5	Hans Bolinder
	dialyzer: Compute MD5s using the .beam file (OTP-14937)
2018-02-23	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Correct a parameterized opaque types bug
2018-02-21	Compute MD5s in dialyzer using the .beam file	José Valim
	The previous mechanism was based on the core file which meant that for every module in the PLT, we had to fetch its .beam file, retrieve Erlang AST, compile that down to core, serialize it into a binary and then get its MD5. In a project with stdlib, kernel, elixir and a small application in the PLT, relying only on the .beam sped up --check_plt from 10s to 0.8s.
2018-02-21	dialyzer: Correct a parameterized opaque types bug	Hans Bolinder
	See also https://bugs.erlang.org/browse/ERL-565. To avoid loops, erl_types:t_is_subtype checks for equality using unopaqued types, but in (at least) one case something is lost: This fix makes sure that when forwarding arguments in dataflow, types with different parameters but equal when unopaqued are considered different. For example, dict:dict(0, {}) and dict:dict(0, []) are equal when unopaqued (due to how dict(_, _) is declared in module dict), but should be considered different when forwarding args.
2018-02-20	Dialyzer should not throw away spec information because of overspec	Richard Carlsson

2018-02-15	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Fix a crash
2018-02-14	dialyzer: Fix a crash	Hans Bolinder

2018-02-07	Merge branch 'hasse/no_get_stacktrace/OTP-14861'	Hans Bolinder
	* hasse/no_get_stacktrace/OTP-14861: erts: Update abstract format doc with stacktrace variable wx: Do not call erlang:get_stacktrace() tools: Do not call erlang:get_stacktrace() stdlib: Do not call erlang:get_stacktrace() sasl: Do not call erlang:get_stacktrace() runtime_tools: Do not call erlang:get_stacktrace() reltool: Do not call erlang:get_stacktrace() parsetools: Do not call erlang:get_stacktrace() observer: Do not call erlang:get_stacktrace() mnesia: Do not call erlang:get_stacktrace() (cont) mnesia: Do not call erlang:get_stacktrace() kernel: Do not call erlang:get_stacktrace() inets: Do not call erlang:get_stacktrace() eunit: Do not call erlang:get_stacktrace() et: Do not call erlang:get_stacktrace() dialyzer: Do not call erlang:get_stacktrace() debugger: Do not call erlang:get_stacktrace() debugger: Do not try to restore stacktrace common_test: Do not call erlang:get_stacktrace()
2018-02-06	dialyzer: Assign a type to the primop build_stacktrace	Hans Bolinder

2018-02-05	dialyzer: Do not call erlang:get_stacktrace()	Hans Bolinder

2018-01-23	Merge branch 'maint'	Hans Bolinder
	* maint: kernel: Correct contracts and a bug in group_history stdlib: Correct contracts dialyzer: Optimize handling of a lot of warnings Conflicts: lib/kernel/src/erl_boot_server.erl
2018-01-22	dialyzer: Optimize handling of a lot of warnings	Hans Bolinder
	If the number of warnings is huge the '--'/2 operator is slow.
2018-01-19	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Fix bsl/2 bug
2018-01-12	dialyzer: Fix bsl/2 bug	Hans Bolinder
	Also modified erl_bif_types:infinity_bsl() when called with zero as first argument. As of writing this, erlang:'bsl'/2 is modified on the master branch to never fail if called with a huge second argument.
2018-01-10	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Add a test of erl_tar:table/1,2 Fix false Dialyzer warnings for erl_tar:table/1
2018-01-09	dialyzer: Add a test of erl_tar:table/1,2	Hans Bolinder

2018-01-09	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Correct handling of erlang:abs/1
2018-01-08	dialyzer: Correct handling of erlang:abs/1	Hans Bolinder
	See also https://bugs.erlang.org/browse/ERL-551.
2017-12-13	Merge branch 'maint'	Henrik Nord

2017-12-08	Update release notes	Erlang/OTP

2017-12-08	Update version numbers	Erlang/OTP

2017-11-30	Add syntax in try/catch to retrieve the stacktrace directly	Björn Gustavsson
	This commit adds a new syntax for retrieving the stacktrace without calling erlang:get_stacktrace/0. That allow us to deprecate erlang:get_stacktrace/0 and ultimately remove it. The problem with erlang:get_stacktrace/0 is that it can keep huge terms in a process for an indefinite time after an exception. The stacktrace can be huge after a 'function_clause' exception or a failed call to a BIF or operator, because the arguments for the call will be included in the stacktrace. For example: 1> catch abs(lists:seq(1, 1000)). {'EXIT',{badarg,[{erlang,abs, [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20\|...]], []}, {erl_eval,do_apply,6,[{file,"erl_eval.erl"},{line,674}]}, {erl_eval,expr,5,[{file,"erl_eval.erl"},{line,431}]}, {shell,exprs,7,[{file,"shell.erl"},{line,687}]}, {shell,eval_exprs,7,[{file,"shell.erl"},{line,642}]}, {shell,eval_loop,3,[{file,"shell.erl"},{line,627}]}]}} 2> erlang:get_stacktrace(). [{erlang,abs, [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22, 23,24\|...]], []}, {erl_eval,do_apply,6,[{file,"erl_eval.erl"},{line,674}]}, {erl_eval,expr,5,[{file,"erl_eval.erl"},{line,431}]}, {shell,exprs,7,[{file,"shell.erl"},{line,687}]}, {shell,eval_exprs,7,[{file,"shell.erl"},{line,642}]}, {shell,eval_loop,3,[{file,"shell.erl"},{line,627}]}] 3> We can extend the syntax for clauses in try/catch to optionally bind the stacktrace to a variable. Here is an example using the current syntax: try Expr catch C:E -> Stk = erlang:get_stacktrace(), . . . In the new syntax, it would look like: try Expr catch C:E:Stk -> . . . Only a variable (not a pattern) is allowed in the stacktrace position, to discourage matching of the stacktrace. (Matching would also be expensive, because the raw format of the stacktrace would have to be converted to the cooked form before matching.) Note that: try Expr catch E -> . . . is a shorthand for: try Expr catch throw:E -> . . . If the stacktrace is to be retrieved for a throw, the 'throw:' prefix must be explicitly included: try Expr catch throw:E:Stk -> . . .
2017-11-28	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Extend the map implementation's handling of ?unit dialyzer: Use string:find() instead of string:str()
2017-11-22	dialyzer: Extend the map implementation's handling of ?unit	Hans Bolinder
	The Maps implementation handles ?unit in more cases. Exactly when t_is_none_or_unit() is to be called is not clear to me. The added cases are about a map type being ?unit, but the key or the value of an association can also be ?unit, but that is not always checked.
2017-11-22	dialyzer: Use string:find() instead of string:str()	Hans Bolinder

2017-11-20	Merge branch 'lukas/stdlib/maps_iterators/OTP-14012'	Lukas Larsson
	* lukas/stdlib/maps_iterators/OTP-14012: erts: Limit size of first iterator for hashmaps Update primary bootstrap Update preloaded modules erts: Remove erts_internal:maps_to_list/2 stdlib: Make io_lib and io_lib_pretty use maps iterator erts: Implement batching maps:iterator erts: Implement maps path iterator erts: Implement map iterator using a stack stdlib: Introduce maps iterator API Conflicts: bootstrap/lib/stdlib/ebin/io_lib.beam bootstrap/lib/stdlib/ebin/io_lib_pretty.beam erts/emulator/beam/bif.tab erts/preloaded/ebin/erlang.beam erts/preloaded/ebin/erts_internal.beam erts/preloaded/ebin/zlib.beam
2017-11-14	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Display error messages without call stack
2017-11-10	dialyzer: Display error messages without call stack	Hans Bolinder
	As of commit 12b379 many of the reasons displayed after "Analysis failed with error:" erroneously include a call stack. The bug is now corrected. The bug was pointed out in http://erlang.org/pipermail/erlang-questions/2017-October/093838.html.
2017-10-13	erts: Implement maps path iterator	Lukas Larsson

2017-10-10	Merge branch 'maint'	Lars Thorsen

2017-10-10	Merge branch 'lars/doc-cleanup/OTP-14475' into maint	Lars Thorsen
	* lars/doc-cleanup/OTP-14475: [edoc] Remove unused module otpsgml_layout.erl Remove unused files from the documentation build
2017-09-28	Remove unused files from the documentation build	Lars Thorsen

2017-09-26	Merge branch 'maint'	Henrik Nord

2017-09-22	Update release notes	Erlang/OTP

2017-09-22	Update version numbers	Erlang/OTP

2017-09-20	Merge branch 'maint'	Dan Gudmundsson
	* maint: erts, stdlib: Fix xmllint warning Update runtime deps to depend on new stdlib functionality
2017-09-19	Update runtime deps to depend on new stdlib functionality	Dan Gudmundsson
	~tw and new string functions are new since OTP-20 (stdlib-3.4)
2017-09-18	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Adjust a test case dialyzer: Modify handling of singleton map key types Dialyzer: Rewrite one map type invariant Dialyzer: Rewrite some of the docs of map types
2017-09-18	Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maint	Hans Bolinder
	* hasse/dialyzer/map_fixes/OTP-14572: dialyzer: Adjust a test case dialyzer: Modify handling of singleton map key types Dialyzer: Rewrite one map type invariant Dialyzer: Rewrite some of the docs of map types
2017-09-15	Merge branch 'siri/string-new-api'	Siri Hansen
	* siri/string-new-api: (28 commits) hipe (test): Do not use deprecated functions in string(3) dialyzer (test): Do not use deprecated functions in string(3) eunit (test): Do not use deprecated functions in string(3) system (test): Do not use deprecated functions in string(3) system (test): Do not use deprecated functions in string(3) mnesia (test): Do not use deprecated functions in string(3) Deprecate old string functions observer: Do not use deprecated functions in string(3) common_test: Do not use deprecated functions in string(3) eldap: Do not use deprecated functions in string(3) et: Do not use deprecated functions in string(3) os_mon: Do not use deprecated functions in string(3) debugger: Do not use deprecated functions in string(3) runtime_tools: Do not use deprecated functions in string(3) asn1: Do not use deprecated functions in string(3) compiler: Do not use deprecated functions in string(3) sasl: Do not use deprecated functions in string(3) reltool: Do not use deprecated functions in string(3) kernel: Do not use deprecated functions in string(3) hipe: Do not use deprecated functions in string(3) ... Conflicts: lib/eunit/src/eunit_lib.erl lib/observer/src/crashdump_viewer.erl lib/reltool/src/reltool_target.erl
2017-09-15	dialyzer (test): Do not use deprecated functions in string(3)	Dan Gudmundsson

2017-09-15	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Improve check of unknown types
2017-09-15	dialyzer: Improve check of unknown types	Hans Bolinder
	The implementation of OTP-14218 (commit 6d3b38a) has a weakness: only a very limited part of the type form is checked. This is now fixed: types not used by specs are checked equally well as types used by specs. The new function erl_types:t_from_form_check_remote() checks usage of remote types. It does not expand used local types, and has (almost) no limits on depth and size.
2017-09-12	Merge branch 'maint'	Hans Bolinder
	* maint: dialyzer: Do not fix ETS tables when merging PLTs
2017-09-12	dialyzer: Do not fix ETS tables when merging PLTs	Hans Bolinder
	This commit removes the call to ets:safe_fixtable/2 introduced in commit 9458495. ETS memory can now be reclaimed while merging PLTs.
2017-09-12	dialyzer: Adjust a test case	Hans Bolinder
	Huge maps are truncated differently by the pretty printer. The reason is that erl_types:is_singleton_type/1 no longer recognizes complex singleton types, which results in a less precise representation of map types.