← Back to branch summary

~ubuntu-branches/ubuntu/trusty/erlang/trusty

« back to all changes in this revision

Viewing changes to lib/dialyzer/doc/src/notes.xml

  • Committer: Bazaar Package Importer
  • Author(s): Clint Byrum
  • Date: 2011-05-05 15:48:43 UTC
  • mfrom: (3.5.13 sid)
  • Revision ID: james.westby@ubuntu.com-20110505154843-0om6ekzg6m7ugj27
Tags: 1:14.b.2-dfsg-3ubuntu1
* Merge from debian unstable.  Remaining changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to.
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.
  - debian/patches/series: Do what I meant, and enable build-options.patch
    instead.
* Additional changes:
  - Drop erlang-wx from -et
* Dropped Changes:
  - patches/pcre-crash.patch: CVE-2008-2371: outer level option with
    alternatives caused crash. (Applied Upstream)
  - fix for ssl certificate verification in newSSL: 
    ssl_cacertfile_fix.patch (Applied Upstream)
  - debian/patches/series: Enable native.patch again, to get stripped beam
    files and reduce the package size again. (build-options is what
    actually accomplished this)
  - Remove build-options.patch on advice from upstream and because it caused
    odd build failures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/doc/src/notes.xml
4
4
<chapter>
5
5
  <header>
6
6
    <copyright>
7
 
      <year>2006</year><year>2009</year>
 
7
      <year>2006</year><year>2010</year>
8
8
      <holder>Ericsson AB. All Rights Reserved.</holder>
9
9
    </copyright>
10
10
    <legalnotice>
13
13
      compliance with the License. You should have received a copy of the
14
14
      Erlang Public License along with this software. If not, it can be
15
15
      retrieved online at http://www.erlang.org/.
16
 
    
 
16
 
17
17
      Software distributed under the License is distributed on an "AS IS"
18
18
      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
19
19
      the License for the specific language governing rights and limitations
20
20
      under the License.
21
 
    
 
21
 
22
22
    </legalnotice>
23
23
 
24
24
    <title>Dialyzer Release Notes</title>
31
31
  <p>This document describes the changes made to the Dialyzer
32
32
    application.</p>
33
33
 
 
34
<section><title>Dialyzer 2.4.2</title>
 
35
 
 
36
    <section><title>Fixed Bugs and Malfunctions</title>
 
37
      <list>
 
38
        <item>
 
39
          <p>
 
40
            Add a --fullpath option to Dialyzer</p>
 
41
          <p>
 
42
            This change adds a --fullpath option to Dialyzer, which
 
43
            makes the warning messages contain the full path of the
 
44
            corresponding file.</p>
 
45
          <p>
 
46
            Original patch submitted by Magnus Henoch (legoscia) on
 
47
            15/9/2010 and cooked to death in the 'pu' branch all this
 
48
            time.</p>
 
49
          <p>
 
50
            The patch was essentially correct and most of it has been
 
51
            used as is, but there have been some changes to make the
 
52
            code slightly prettier, avoid some code duplication, and
 
53
            add documentation to dialyzer's doc files and to its help
 
54
            message.</p>
 
55
          <p>
 
56
            Own Id: OTP-9098</p>
 
57
        </item>
 
58
        <item>
 
59
          <p>
 
60
            Fix warnings about guards containing not</p>
 
61
          <p>
 
62
            The wording of warnings about unsatisfiable guards that
 
63
            used 'not' was incorrect (the 'not' was not mentioned and
 
64
            it appeared as "Guard test is_atom(atom()) can never
 
65
            succeed") (thanks to Stavros Aronis).</p>
 
66
          <p>
 
67
            Own Id: OTP-9099</p>
 
68
        </item>
 
69
        <item>
 
70
          <p>
 
71
            Version 2.4.2 (in Erlang/OTP R14B02)
 
72
            ------------------------------------ - Added --fullpath
 
73
            option to display files with warnings with their full
 
74
            file names (thanks to Magnus Henoch for the original
 
75
            patch). - Better handling of 'and'/'or'/'not' guards that
 
76
            generate warnings (thanks to Stavros Aronis). - Better
 
77
            blame assignment for cases when a function's spec is
 
78
            erroneous (thanks to Stavros Aronis). - More descriptive
 
79
            warnings when a tuple/record pattern contains subterms
 
80
            that violate the declared types of record fields (thanks
 
81
            to Matthias Lang for the test case and for Stavros Aronis
 
82
            for the actual fix).</p>
 
83
          <p>
 
84
            Own Id: OTP-9126</p>
 
85
        </item>
 
86
        <item>
 
87
          <p>
 
88
            Add spec to dialyzer_cl_parse:get_lib_dir/1</p>
 
89
          <p>
 
90
            Own Id: OTP-9129</p>
 
91
        </item>
 
92
      </list>
 
93
    </section>
 
94
 
 
95
 
 
96
    <section><title>Improvements and New Features</title>
 
97
      <list>
 
98
        <item>
 
99
          <p>
 
100
            Test suites for Dialyzer</p>
 
101
          <p>
 
102
            This is a transcription of most of the
 
103
            cvs.srv.it.uu.se:/hipe repository dialyzer_tests into
 
104
            test suites that use the test server framework.</p>
 
105
          <p>
 
106
            See README for information on how to use the included
 
107
            scripts for modifications and updates.</p>
 
108
          <p>
 
109
            When testing Dialyzer it's important that several OTP
 
110
            modules are included in the plt. The suites takes care of
 
111
            that too.</p>
 
112
          <p>
 
113
            Own Id: OTP-9116</p>
 
114
        </item>
 
115
      </list>
 
116
    </section>
 
117
 
 
118
</section>
 
119
 
 
120
<section><title>Dialyzer 2.4.0</title>
 
121
 
 
122
    <section><title>Fixed Bugs and Malfunctions</title>
 
123
      <list>
 
124
        <item>
 
125
            <p> - Fixed pretty rare infinite loop when refining the
 
126
            types of an SCC whose functions all returned none()
 
127
            (thanks to Stavros Aronis). </p><p> - Fixed pretty rare
 
128
            crash when taking the infimum of two tuple_sets. </p>
 
129
          <p>
 
130
            Own Id: OTP-8979</p>
 
131
        </item>
 
132
      </list>
 
133
    </section>
 
134
 
 
135
 
 
136
    <section><title>Improvements and New Features</title>
 
137
      <list>
 
138
        <item>
 
139
            <p> - Added ability to supply multiple PLTs for the
 
140
            analysis (option --plts). Currently these PLTs must be
 
141
            independent (i.e., no module appears in more than one
 
142
            PLT) and there must not include files with module name
 
143
            clashes.</p><p> - Strengthened and streamlined hard-coded
 
144
            type information for some BIFs and key library
 
145
            functions.</p>
 
146
          <p>
 
147
            Own Id: OTP-8962</p>
 
148
        </item>
 
149
      </list>
 
150
    </section>
 
151
 
 
152
</section>
 
153
 
 
154
<section><title>Dialyzer 2.3.1</title>
 
155
 
 
156
    <section><title>Improvements and New Features</title>
 
157
      <list>
 
158
        <item>
 
159
          <p>
 
160
            Eliminated warnings for auto-imported BIF clashes.</p>
 
161
          <p>
 
162
            Own Id: OTP-8840</p>
 
163
        </item>
 
164
      </list>
 
165
    </section>
 
166
 
 
167
</section>
 
168
 
 
169
<section><title>Dialyzer 2.3.0</title>
 
170
 
 
171
    <section><title>Improvements and New Features</title>
 
172
      <list>
 
173
        <item>
 
174
          <p>
 
175
            Various changes to dialyzer-related files for R14.</p>
 
176
          <p>
 
177
            - Dialyzer properly supports the new attribute
 
178
            -export_type and checks that remote types only refer to
 
179
            exported types. A warning is produced if some
 
180
            files/applications refer to types defined in modules
 
181
            which are neither in the PLT nor in the analyzed
 
182
            applications.</p>
 
183
          <p>
 
184
            - Support for detecting data races involving whereis/1
 
185
            and unregister/1.</p>
 
186
          <p>
 
187
            - More precise identification of the reason(s) why a
 
188
            record construction violates the types declared for its
 
189
            fields.</p>
 
190
          <p>
 
191
            - Fixed bug in the handling of the 'or' guard.</p>
 
192
          <p>
 
193
            - Better handling of the erlang:element/2 BIF.</p>
 
194
          <p>
 
195
            - Complete handling of Erlang BIFs.</p>
 
196
          <p>
 
197
            Own Id: OTP-8699</p>
 
198
        </item>
 
199
      </list>
 
200
    </section>
 
201
 
 
202
</section>
 
203
 
 
204
<section><title>Dialyzer 2.2.0</title>
 
205
 
 
206
    <section><title>Improvements and New Features</title>
 
207
      <list>
 
208
        <item>
 
209
            <p>Much better support for opaque types (thanks to Manouk
 
210
            Manoukian).</p>
 
211
            <p>Added support for recursive types (experimental).</p>
 
212
            <p>Added support for parameterized modules.</p>
 
213
            <p>Dialyzer now warns when -specs state that a function
 
214
            returns some type when in fact it does not.</p>
 
215
            <p>Added <c>--no_native</c> (<c>-nn</c>) option so that
 
216
            the user can bypass the native code compilation that
 
217
            dialyzer heuristically performs when dialyzing many
 
218
            files.</p>
 
219
            <p>Fixed minor bug in the dialyzer script allowing the
 
220
            --wx option to bring up the wx-based GUI regardless of
 
221
            its placement in the options list.</p>
 
222
            <p>Options --apps and -Wrace_conditions, which were added
 
223
            in the previous version, are now properly documented in
 
224
            the manual.</p>
 
225
          <p>
 
226
            Own Id: OTP-8464</p>
 
227
        </item>
 
228
      </list>
 
229
    </section>
 
230
 
 
231
</section>
 
232
 
34
233
<section><title>Dialyzer 2.1.0</title>
35
234
 
36
235
    <section><title>Improvements and New Features</title>