aboutsummaryrefslogtreecommitdiffstats
path: root/EPLICENCE
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2014-03-19 15:45:01 +0100
committerHans Bolinder <[email protected]>2014-03-24 15:00:22 +0100
commit5dd69f0c646d83c98a70975431db209e53aa0817 (patch)
tree87e729763d92e21ecabe5b188e656c693ecf7662 /EPLICENCE
parent26eef1c3f3e3166b0e864475484e947c4ccc009d (diff)
downloadotp-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 'EPLICENCE')
0 files changed, 0 insertions, 0 deletions