<feed xmlns='http://www.w3.org/2005/Atom'>
<title>otp.git/lib/dialyzer/src, branch OTP-18.0.2</title>
<subtitle>Mirror of Erlang/OTP repository.
</subtitle>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/'/>
<entry>
<title>Merge branch 'bruce/change-license'</title>
<updated>2015-06-22T13:44:54+00:00</updated>
<author>
<name>Bruce Yinhe</name>
<email>bruce@erlang.org</email>
</author>
<published>2015-06-22T13:42:56+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=8f63667b316cdff10e666b8f5b0b6a92bd722e5a'/>
<id>8f63667b316cdff10e666b8f5b0b6a92bd722e5a</id>
<content type='text'>
OTP-12845

* bruce/change-license:
  fix errors caused by changed line numbers
  Change license text to APLv2
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
OTP-12845

* bruce/change-license:
  fix errors caused by changed line numbers
  Change license text to APLv2
</pre>
</div>
</content>
</entry>
<entry>
<title>dialyzer: Correction of last commit</title>
<updated>2015-06-22T06:32:41+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-06-20T16:04:12+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=e530261edd7bc41856eefa128c2c28c0bc2f4cd6'/>
<id>e530261edd7bc41856eefa128c2c28c0bc2f4cd6</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Change license text to APLv2</title>
<updated>2015-06-18T09:31:02+00:00</updated>
<author>
<name>Bruce Yinhe</name>
<email>bruce@erlang.org</email>
</author>
<published>2015-06-18T09:31:02+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=738c34d4bb8f1a3811acd00af8c6c12107f8315b'/>
<id>738c34d4bb8f1a3811acd00af8c6c12107f8315b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>dialyzer: Expand opaque types before other types</title>
<updated>2015-06-18T08:33:49+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-06-15T12:48:21+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=ba41f0b16cc434eb85285b3ecfb68fea873d8e30'/>
<id>ba41f0b16cc434eb85285b3ecfb68fea873d8e30</id>
<content type='text'>
Opaque types need to be expanded before record field types, otherwise
any() could be used for opaque types.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Opaque types need to be expanded before record field types, otherwise
any() could be used for opaque types.
</pre>
</div>
</content>
</entry>
<entry>
<title>dialyzer: Simplify some code</title>
<updated>2015-06-15T06:17:58+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-06-04T13:25:53+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=c0225ffb2603854719ed1ddc88774f82aaecb3b3'/>
<id>c0225ffb2603854719ed1ddc88774f82aaecb3b3</id>
<content type='text'>
Remove what it seems redundant checks.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Remove what it seems redundant checks.
</pre>
</div>
</content>
</entry>
<entry>
<title>dialyzer: Fix a bug in the expansion of forms</title>
<updated>2015-06-15T06:17:58+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-06-04T11:50:20+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=e4691d14078de0419c6b644566e45aa696aa122e'/>
<id>e4691d14078de0419c6b644566e45aa696aa122e</id>
<content type='text'>
The check that a modified type of a field is a subtype of the declared
type has been moved outside of the expansion of forms to avoid loops.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The check that a modified type of a field is a subtype of the declared
type has been moved outside of the expansion of forms to avoid loops.
</pre>
</div>
</content>
</entry>
<entry>
<title>Merge branch 'legoscia/dialyzer/cache-hipe-binaries/OTP-12779'</title>
<updated>2015-05-29T08:52:04+00:00</updated>
<author>
<name>Björn Gustavsson</name>
<email>bjorn@erlang.org</email>
</author>
<published>2015-05-29T08:52:04+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=6635bfa7c480d33d43874f4b37b7c461ba04db23'/>
<id>6635bfa7c480d33d43874f4b37b7c461ba04db23</id>
<content type='text'>
* legoscia/dialyzer/cache-hipe-binaries/OTP-12779:
  Dialyzer to cache results of HiPE compilation
  Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* legoscia/dialyzer/cache-hipe-binaries/OTP-12779:
  Dialyzer to cache results of HiPE compilation
  Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0
</pre>
</div>
</content>
</entry>
<entry>
<title>Dialyzer to cache results of HiPE compilation</title>
<updated>2015-05-28T11:41:11+00:00</updated>
<author>
<name>Magnus Henoch</name>
<email>magnus.henoch@gmail.com</email>
</author>
<published>2014-12-12T18:51:26+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=0f5916b35938c983cd5a4a9931730a5e554358f3'/>
<id>0f5916b35938c983cd5a4a9931730a5e554358f3</id>
<content type='text'>
Cache the results of native compilation in
$XDG_CACHE_HOME/dialyzer_hipe_cache.  This can reduce the startup time
significantly.

If XDG_CACHE_HOME is unset, it defaults to $HOME/.cache.
See the XDG Base Directory spec for more details:
http://standards.freedesktop.org/basedir-spec/basedir-spec-0.7.html

Under that directory, create a subdirectory called
ARCH-VERSION-CHECKSUM, where ARCH is the HiPE architecture, VERSION is
the HiPE version number, and CHECKSUM is the return value of
hipe_bifs:system_crc/0.

Caching can be disabled by specifying --no_native_cache on the command
line.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Cache the results of native compilation in
$XDG_CACHE_HOME/dialyzer_hipe_cache.  This can reduce the startup time
significantly.

If XDG_CACHE_HOME is unset, it defaults to $HOME/.cache.
See the XDG Base Directory spec for more details:
http://standards.freedesktop.org/basedir-spec/basedir-spec-0.7.html

Under that directory, create a subdirectory called
ARCH-VERSION-CHECKSUM, where ARCH is the HiPE architecture, VERSION is
the HiPE version number, and CHECKSUM is the return value of
hipe_bifs:system_crc/0.

Caching can be disabled by specifying --no_native_cache on the command
line.
</pre>
</div>
</content>
</entry>
<entry>
<title>Update runtime_dependencies in application resource files</title>
<updated>2015-05-25T07:56:27+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-05-19T09:57:11+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=2c2260044637b8acd706cf3a784568e27340e61e'/>
<id>2c2260044637b8acd706cf3a784568e27340e61e</id>
<content type='text'>
Applications that use the new erl_anno module are depending on STDLIB 2.5.

Note that CosNotification, Megaco, SNMP, Xmerl, and Parsetools use the
erl_anno module via the Yecc parsers only (the header file in
lib/parsetools/include/yeccpre.hrl calls the erl_anno module).

HiPE does not call the erl_anno module, but uses an exported type.
We have chosen to make HiPE dependent on the erl_anno module.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Applications that use the new erl_anno module are depending on STDLIB 2.5.

Note that CosNotification, Megaco, SNMP, Xmerl, and Parsetools use the
erl_anno module via the Yecc parsers only (the header file in
lib/parsetools/include/yeccpre.hrl calls the erl_anno module).

HiPE does not call the erl_anno module, but uses an exported type.
We have chosen to make HiPE dependent on the erl_anno module.
</pre>
</div>
</content>
</entry>
<entry>
<title>dialyzer: Document dialyzer:gui() option 'check_plt'</title>
<updated>2015-05-20T06:08:41+00:00</updated>
<author>
<name>Hans Bolinder</name>
<email>hasse@erlang.org</email>
</author>
<published>2015-05-19T10:58:23+00:00</published>
<link rel='alternate' type='text/html' href='http://git.ninenines.eu/otp.git/commit/?id=d1851f267d96e41a0dc8f2d123ec5e5fef514518'/>
<id>d1851f267d96e41a0dc8f2d123ec5e5fef514518</id>
<content type='text'>
* Mention the option 'check_plt' among gui() options.
* No longer check a PLT twice when the analysis type is 'plt_check'.
* No longer raise a case_clause error when checking a PLT finds warnings.

Thanks to James Fish.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* Mention the option 'check_plt' among gui() options.
* No longer check a PLT twice when the analysis type is 'plt_check'.
* No longer raise a case_clause error when checking a PLT finds warnings.

Thanks to James Fish.
</pre>
</div>
</content>
</entry>
</feed>
