aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2019-05-03stdlib: Do not allow specs for functions in other modulesHans Bolinder
See also https://bugs.erlang.org/browse/ERL-845. [Kostis:] My suggestion is that the compiler refuses to compile modules that contain specs for functions that are not from this module. I do not remember when / why this `feature' was introduced, but thinking about it I see a lot of (ugly) semantics issues with it. For example, should one be allowed to declare in the foo module that lists:flatten/1 takes an integer() as an argument and returns a binary()? Should one be allowed to declare a spec in some module m1 for a function of m2 that is not defined in m2? There are all kinds of checks that will need to be added to dialyzer to protect itself from these semantics issues. The compiler already refuses to compile modules that contain specs for non-existing functions of the module. Similarly, it should refuse to compile modules that contain specs for functions of other modules - unless it can somehow check that these functions are indeed defined, but it is not how the compiler currently works.
2019-05-03Merge branch 'hans/crypto/cuddle_docs'Hans Nilsson
* hans/crypto/cuddle_docs: crypto: Doc link fixes
2019-05-03crypto: Doc link fixesHans Nilsson
2019-05-03Merge branch 'hans/crypto/new_supports_1/OTP-15771'Hans Nilsson
* hans/crypto/new_supports_1/OTP-15771: crypto: Document supports/1
2019-05-03Merge branch 'ingela/ssl/better-interop-tests'Ingela Anderton Andin
* ingela/ssl/better-interop-tests: ssl: Add new interop test suite ssl: Use diffrent digest for some TLS/DTLS versions
2019-05-03ssl: Add new interop test suiteIngela Anderton Andin
Remove test form "ECC suites" that are covered by the new interop suite or by the fairly new ssl_cipher_suite_SUITE.
2019-05-03ssl: Use diffrent digest for some TLS/DTLS versionsIngela Anderton Andin
2019-05-03Merge branch 'lukas/erts/distr-frag-fixes'Lukas Larsson
* lukas/erts/distr-frag-fixes: erts: Add documentation for distribution fragments
2019-05-03Merge branch 'lukas/OTP-22/misc-fixes/OTP-15791'Lukas Larsson
* lukas/OTP-22/misc-fixes/OTP-15791: erts: Fix so that non-oneshot pollset on OpenBSD works erts: Remove dead cpu info code in erlexec erts: Remove -instr from erlexec flags
2019-05-03Merge branch 'elbrujohalcon/stdlib/gb_trees_opaque_type_docs/PR-2198'Hans Bolinder
* elbrujohalcon/stdlib/gb_trees_opaque_type_docs/PR-2198: Remove description of structure of opaque type `gb_trees:tree/2`.
2019-05-02erts: Fix so that non-oneshot pollset on OpenBSD worksLukas Larsson
The poll code for kevent on OpenBSD and NetBSD had not been fixed to work properly when disabling events in the scheduler poll-set. Because they use ONESHOT the delete operation was built into the trigger and thus a lot of code was not needed when doing oneshot, however it is needed when doing non-oneshot.
2019-05-02Remove description of structure of opaque type `gb_trees:tree/2`.Brujo Benavides
Since it's an opaque type, its internal structure shouldn't be part of the docs. Otherwise it leads misguided devs to the assumption that they can pattern-match on it, when they shouldn't.
2019-05-02Merge branch 'sverker/tw-assert'Sverker Eriksson
* sverker/tw-assert: erts: Fix bug in timer wheel at cancel during bump yield erts: Tidy up some harmless code typos
2019-05-02Merge branch 'sverker/erl_interface/bitstring-api'Sverker Eriksson
* sverker/erl_interface/bitstring-api: erl_interface: Tweak bit string encode/decode API
2019-05-02erts: Remove dead cpu info code in erlexecLukas Larsson
This was previously used when erlexec needed to decide whether to run the smp or non-smp emulator.
2019-05-02erts: Remove -instr from erlexec flagsLukas Larsson
2019-05-02Merge branch 'lukas/OTP-22/misc-fixes/OTP-15788'Lukas Larsson
* lukas/OTP-22/misc-fixes/OTP-15788: erts: Fix PGO configure test for gcc
2019-05-02erts: Add documentation for distribution fragmentsLukas Larsson
2019-05-02Merge branch 'hans/ssh/prepare_for_release/OTP-15782'Hans Nilsson
* hans/ssh/prepare_for_release/OTP-15782: ssh: Prepare for release - runtime dependencies
2019-05-02ssh: Prepare for release - runtime dependenciesHans Nilsson
2019-05-02Merge branch 'bmk/erts/esock/20190430/configure_esock_include/OTP-15658'Micael Karlberg
2019-05-02Merge branch 'lukas/erts/distr-frag-fixes'Lukas Larsson
* lukas/erts/distr-frag-fixes: Update run-dialyzer script to be more generic and aggressive erts: Fix memory leak for down/exit message
2019-05-02Update run-dialyzer script to be more generic and aggressiveLukas Larsson
This version will abort when errors are found when building the PLT.
2019-05-02erts: Fix PGO configure test for gccLukas Larsson
The problem was that some on some platforms -fprofile-generate does not imply -lgcov which means that it will not link.
2019-05-02Merge branch 'lukas/OTP-22/misc-fixes'Lukas Larsson
* lukas/OTP-22/misc-fixes: erts: Restart driver_SUITE:polling node at failure
2019-05-02erts: Restart driver_SUITE:polling node at failureLukas Larsson
2019-05-02Merge branch 'lukas/kernel/double-sname-fix/ERL-912/OTP-15786'Lukas Larsson
* lukas/kernel/double-sname-fix/ERL-912/OTP-15786: kernel: Multiple -sname or -name would be ignored
2019-04-30Merge branch 'maint'Ingela Anderton Andin
2019-04-30Merge branch ↵Ingela Anderton Andin
'ingela/ssl/backported-ssl-enhancments/ERL-929/ERL-893/PR-2215/OTP-15785' into maint
2019-04-30ssl: Fix cherry-pick mistakesIngela Anderton Andin
2019-04-30ssl: Refer documentation of HttpPacket from ertsPéter Dimitrov
Do not document http_packet() in ssl but refer to description of erlang:decode_packet/3. Change-Id: Ib2d0e4fc9605e40fe98bb249bc17fc39046d137a Conflicts: lib/ssl/src/ssl.erl
2019-04-30ssl: Update type spec of ssl:suite_to_str/1Péter Dimitrov
Change-Id: I7987e80cca7af184a9f40cdcd8ea8f07c318ba0d
2019-04-30ssl: Update function ssl:eccs/1Péter Dimitrov
Remove support of version tuples (e.g. {3,3}) from API function ssl:eccs/1. Update function spec and documentation. Change-Id: I891e42a2ca31c3e06b4edeeb866c0df874f2035b Conflicts: lib/ssl/doc/src/ssl.xml lib/ssl/src/ssl.erl
2019-04-30ssl: Fix type specs of ssl_internal.hrlPéter Dimitrov
Change 'term()' to 'any()'. Allow 'undefined' for all fields of #ssl_options{}. Change-Id: I00632bfd2b172974a99680a82f326f25b92b9974 Conflicts: lib/ssl/src/ssl_internal.hrl
2019-04-30ssl: Fix type specs of internal handshake functionsPéter Dimitrov
Change-Id: I99cd0bebd80b3e55fd522457fa126e5bc198657b Conflicts: lib/ssl/src/ssl_handshake.erl
2019-04-30ssl: Fix dialyzer warningsPéter Dimitrov
Change-Id: Ic4895195569073916f158a06b95061939f15cfc0 Conflicts: lib/ssl/doc/src/ssl.xml lib/ssl/src/ssl.erl
2019-04-30eldap: Fix dialyzer warningsPéter Dimitrov
Change-Id: I4874f18bd1396f6efc0fe6e3efe791f2dae56243
2019-04-30ssl: Fix missing anchor warningPéter Dimitrov
Change-Id: Iafbf60765b4635d6a50286080716c67231bb5cd9
2019-04-30public_key: Accept digest types 'sha1' and 'sha'Péter Dimitrov
Update type spec for digest_type() to reflect that functions with this type accept the (wrong) atom 'sha1'. The right behavior would be to only accept 'sha' as that is the only valid value of crypto:sha1(). Update rsa_digest_oid/1 and ecdsa_digest_oid/1 to accept digest 'sha'. Change-Id: I03219396b797435298e098e03b93286b352e07e2
2019-04-30inet: Document type inet:stat_option()Péter Dimitrov
Document type inet:stat_option() to resolve missing anchor warnings when this type is referenced in other applications. Change-Id: Ifbf775c2f67b48bcf7d0cf21c39065d3dacc4f55
2019-04-30ssl: Changed function specs and ssl.xmlKenneth Lundin
Changed function specs and ssl.xml for generation of documentation according to the new way. Change-Id: I17b59b80f9072c3d2c20aea1b102f1e9c86987a0 Conflicts: lib/ssl/doc/src/ssl.xml lib/ssl/src/ssl.erl
2019-04-30 ssl: Add missing tuple in shutdown reasonIngela Anderton Andin
2019-04-30crypto: Document supports/1Hans Nilsson
2019-04-30[net] Improvements (ahum) when --disable-esockMicael Karlberg
The net module uses socket, but when the system has been built with --disable-esock, there is no socket...
2019-04-30[socket|net|test] Update test suites to handle disabled esockMicael Karlberg
2019-04-30[socket|net] Fixed beamsMicael Karlberg
Forgot about using 'otp_build update_preloaded --no-commit' when updating the preloaded and compiled with plain erlc... Caused problems for dyalizer... OTP-15658
2019-04-30[socket|net] Preloaded now built with latest compilerMicael Karlberg
OTP-15658
2019-04-30[socket|net] Final prepMicael Karlberg
The config options --[en|dis]able-esock now works as expected.
2019-04-30[socket] Preloaded (erts) app fileMicael Karlberg
The optional socket module is now not included in the app file if esock is not enabled. OTP-15658
2019-04-30[socket] Socket module to be optionalMicael Karlberg
The SASL file systools_make has a hardcoded list of the preloaded modules (yuck). This now can handle that the socket module has been disabled (this is temporary). OTP-15658
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 21:23:30 +0000