aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-11-15 16:03:18 +0100
committerHans Bolinder <[email protected]>2016-11-22 10:29:04 +0100
commita202c2e0fa1f7810fb19c5a051369ce8b308ebc1 (patch)
tree419bf3fc59eec3dd109d8da50a8f08b50d91c702 /lib/dialyzer/test/small_SUITE_data
parentc79e32a66c366bbdf5025ad0ae7f7057a0ddb156 (diff)
downloadotp-a202c2e0fa1f7810fb19c5a051369ce8b308ebc1.tar.gz
otp-a202c2e0fa1f7810fb19c5a051369ce8b308ebc1.tar.bz2
otp-a202c2e0fa1f7810fb19c5a051369ce8b308ebc1.zip
dialyzer: Improve a warning message
Messages like "Invalid type specification for function para3:exp_adt/0. The success typing is () -> 3" now look like "The specification for para3:exp_adt/0 has an opaque subtype para3_adt:exp1(para3_adt:exp2()) which is violated by the success typing () -> 3". The old message did not give any clue as to what invalidated the contract, namely the opaque subtype.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
0 files changed, 0 insertions, 0 deletions