diff options
| author | Kostis Sagonas <[email protected]> | 2014-03-19 15:45:01 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-24 15:00:22 +0100 |
| commit | 5dd69f0c646d83c98a70975431db209e53aa0817 (patch) | |
| tree | 87e729763d92e21ecabe5b188e656c693ecf7662 /HOWTO/INSTALL-ANDROID.md | |
| parent | 26eef1c3f3e3166b0e864475484e947c4ccc009d (diff) | |
| download | otp-5dd69f0c646d83c98a70975431db209e53aa0817.tar.gz otp-5dd69f0c646d83c98a70975431db209e53aa0817.tar.bz2 otp-5dd69f0c646d83c98a70975431db209e53aa0817.zip | |
Correct some type declarations
The types of some record fields were wrong. This file uses some module
local format of race warnings and when the analysis is done transforms
this format into the format of general dialyzer warnings. This change
fixes the type declaration of the race_warning field of the #races{}
record which was wrong. In addition, declared the type of the state
field in some other record that, long ago, could not be declared since
mutually recursive types were not supported by Dialyzer's analysis.
Diffstat (limited to 'HOWTO/INSTALL-ANDROID.md')
0 files changed, 0 insertions, 0 deletions