otp.git/lib/dialyzer/test/opaque_SUITE_data/src/opaque, branch maint Mirror of Erlang/OTP repository. dialyzer, hipe: Fix a bug concerning is_record/2,3 2014-08-21T07:22:08+00:00 Hans Bolinder hasse@erlang.org 2014-06-27T14:08:46+00:00 6eac68854c414285b7a99f27196bbbfa7969b295 Also fixed some cases where Dialyzer could crash due to reaching system limits. 
Also fixed some cases where Dialyzer could crash due to reaching
system limits.
[dialyzer] Re-work the handling of opaque types 2014-01-21T08:28:19+00:00 Hans Bolinder hasse@erlang.org 2013-03-21T14:49:01+00:00 7db0bb7ae867ea5de893914a89c51dc0369b5790 It is now OK to inspect and modify the internals of opaque types within the scope of the module. The contracts are used for decorating types with opaqueness when it is harmless to do so. The opaqueness is propagated by the typesig module and also by the dataflow module. A lot of details have been fixed or updated. In particular the modules erl_types and erl_bif_types have been modified extensively. The version in vsn.mk has been updated to 2.7. The reason is a modification of #opaque{} in erl_types. Dialyzer seems to be about five percent slower than it used to be. 
It is now OK to inspect and modify the internals of opaque types within
the scope of the module.

The contracts are used for decorating types with opaqueness when it is
harmless to do so. The opaqueness is propagated by the typesig module
and also by the dataflow module.

A lot of details have been fixed or updated. In particular the modules
erl_types and erl_bif_types have been modified extensively.

The version in vsn.mk has been updated to 2.7. The reason is a
modification of #opaque{} in erl_types.

Dialyzer seems to be about five percent slower than it used to be.
Rename suite data directories 2011-05-04T13:06:15+00:00 Stavros Aronis aronisstav@gmail.com 2011-04-02T15:57:42+00:00 ca4633fd683527097451ca1398c90c87bb5c14fc