← Back to branch summary

~ubuntu-branches/debian/squeeze/erlang/squeeze

« back to all changes in this revision

Viewing changes to lib/dialyzer/RELEASE_NOTES

  • Committer: Bazaar Package Importer
  • Author(s): Sergei Golovan
  • Date: 2009-05-07 15:07:37 UTC
  • mfrom: (1.2.1 upstream) (5.1.2 sid)
  • Revision ID: james.westby@ubuntu.com-20090507150737-i4yb5elwinm7r0hc
Tags: 1:13.b-dfsg1-1
http://bugs.debian.org/527053
http://bugs.debian.org/526682
http://bugs.debian.org/526627
* Removed another bunch of non-free RFCs from original tarball
  (closes: #527053).
* Fixed build-dependencies list by adding missing comma. This requires
  libsctp-dev again. Also, added libsctp1 dependency to erlang-base and
  erlang-base-hipe packages because the shared library is loaded via
  dlopen now and cannot be added using dh_slibdeps (closes: #526682).
* Weakened dependency of erlang-webtool on erlang-observer to recommends
  to avoid circular dependencies (closes: #526627).
* Added solaris-i386 to HiPE enabled architectures.
* Made script sources in /usr/lib/erlang/erts-*/bin directory executable,
  which is more convenient if a user wants to create a target Erlang system.
* Shortened extended description line for erlang-dev package to make it
  fit 80x25 terminals.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/RELEASE_NOTES
3
3
                (in reversed chronological order)
4
4
==============================================================================
5
5
 
6
 
To be released
7
 
--------------
8
 
 
 
6
 
 
7
Version 1.9.1 (in Erlang/OTP R13A)
 
8
----------------------------------
 
9
 - Contains the changes described below (R13A) but also:
 
10
    - Has better handling of opaque types
 
11
    - The handling of UFT segments of bitstreams has been significantly
 
12
      strengthened and revised.  In all probability, now it is correct.
 
13
 
 
14
Version 1.9.0 (in Erlang/OTP R13A)
 
15
----------------------------------
 
16
 - The analysis accepts opaque type declarations and detects violations of
 
17
   opaqueness of terms of such types.  Starting with R13, many Erlang/OTP
 
18
   standard libraries (array, dict, digraph, ets, gb_sets, gb_trees, queue,
 
19
   and sets) contain opaque type declarations of their main data types.
 
20
   Dialyzer will spit out warnings in code that explicitly depends on the
 
21
   structure of these terms.
 
22
 - Added support for handling UTF segments in bitstreams and for detecting
 
23
   obvious type errors in these segments.
 
24
   Warning: This code is not terribly tested -- not surprising since this is
 
25
   a new language feature of R13.
 
26
 - Strengthened the discrepancy identification when testing for equality and
 
27
   matching between terms of different types.  This detects more bugs in code.
 
28
 - Added warning for M:F(...) calls where M is not a module term and F is not
 
29
   an atom.  Previously, such calls where found to fail but the reason for
 
30
   the failure was not reported.
 
31
 - Added a convenient shorthand for the --no_check_plt option (-n).
 
32
 - Added the --dump_callgraph option for dumping the callgraph of all files
 
33
   that are analyzed into a specified file.  The callgraph either be dumped
 
34
   in raw format, in .dot format, or converted to a .ps (postscript) file.
 
35
   Note that in large callgraphs the generated postscript file might not be
 
36
   interpretable by Ghostview.
 
37
   (Thanks to Ilya Khlopotov for the initial version of this functionality.)
9
38
 
10
39
Version 1.8.3 (in Erlang/OTP R12B-5)
11
40
------------------------------------
12
41
 - Added the --no_check_plt option that makes the startup time faster
13
 
   when working with stable PLTs that do not change.
 
42
   when working with PLTs that are known not to change.
14
43
 - Changed the phrasing of some warnings so that they do not cause confusion
15
44
   to some users and correspond better to reality.
16
45