diff options
| author | Kostis Sagonas <[email protected]> | 2010-06-07 16:57:34 +0300 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2010-06-08 16:47:40 +0200 |
| commit | 1a9e2dd394a81d01742593a5b42f9aa01bb5f276 (patch) | |
| tree | e763cc53b919a63113dc6ad847953835ac9998c8 /lib/dialyzer/RELEASE_NOTES | |
| parent | af15e8bd5bdf976b232e6515cf3cca4200b6120b (diff) | |
| download | otp-1a9e2dd394a81d01742593a5b42f9aa01bb5f276.tar.gz otp-1a9e2dd394a81d01742593a5b42f9aa01bb5f276.tar.bz2 otp-1a9e2dd394a81d01742593a5b42f9aa01bb5f276.zip | |
Various changes to dialyzer-related files for R14.
Bumped version number and wrote RELEASE_NOTES.
Included all changes described in release notes.
Some spec-related changes to some files in lib/hipe/cerl.
Diffstat (limited to 'lib/dialyzer/RELEASE_NOTES')
| -rw-r--r-- | lib/dialyzer/RELEASE_NOTES | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/dialyzer/RELEASE_NOTES b/lib/dialyzer/RELEASE_NOTES index b668142327..62b0c92f97 100644 --- a/lib/dialyzer/RELEASE_NOTES +++ b/lib/dialyzer/RELEASE_NOTES @@ -3,6 +3,19 @@ (in reversed chronological order) ============================================================================== +Version 2.3.0 (in Erlang/OTP R14) +--------------------------------- + - Dialyzer properly supports the new attribute -export_type and checks + that remote types only refer to exported types. A warning is produced + if some files/applications refer to types defined in modules which are + neither in the PLT nor in the analyzed applications. + - Support for detecting data races involving whereis/1 and unregister/1. + - More precise identification of the reason(s) why a record construction + violates the types declared for its fields. + - Fixed bug in the handling of the 'or' guard. + - Better handling of the erlang:element/2 BIF. + - Complete handling of Erlang BIFs. + Version 2.2.0 (in Erlang/OTP R13B04) ------------------------------------ - Much better support for opaque types (thanks to Manouk Manoukian). |