Age | Commit message (Collapse) | Author | |
---|---|---|---|
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. | |||
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. | |||
2017-09-07 | Merge branch 'maint' | Siri Hansen | |
2017-09-06 | Merge pull request #1490 from josevalim/jv-gen-server-continue | Raimo Niskanen | |
Add {continue, Term} and handle_continue/2 to gen_server | |||
2017-09-05 | dialyzer: Improve handling of Unicode | Hans Bolinder | |
2017-08-25 | Merge branch 'maint' | Henrik Nord | |
2017-08-25 | Prepare release | Erlang/OTP | |
2017-08-24 | dialyzer: Fix a bug where merging PLT:s could lose info | Hans Bolinder | |
A missing call to ets:safe_fixtable/2 meant that information was sometimes lost when merging PLT:s. | |||
2017-08-05 | Add {continue, Term} and handle_continue/2 to gen_server | José Valim | |
If the gen_server process needs to perform an action immediately after initialization or to break the execution of a callback into multiple steps, it can return {continue, term()} in place of the time-out or hibernation value, which will immediately invoke the handle_continue/2 callback with the given term. This provides a more accessible approach to after initialization compared to proc_lib+enter_loop that is also guaranteed to be safe. It also allows callbacks that need to do lengthy or stateful work to checkpoint the state throughout multiple iterations. This can be useful, for example, when implementing behaviours on top of gen_server. | |||
2017-07-06 | dialyzer: Do not use deprecated functions in string(3) | Hans Bolinder | |