aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/r9c_SUITE_data/results/inets
AgeCommit message (Collapse)Author
2019-04-29dialyzer: Fix dialyzer_dataflow:format_args_1()Hans Bolinder
2013-02-21Introduce new type file:name_all()Hans Bolinder
2013-01-25Extend char() to Unicode charactersHans Bolinder
The code related to the introduction of unicode_string() and unicode_char() has been removed. The types char() and string() have been extended to include Unicode characters. In fact char() was changed some time ago; this commit is about cleaning up the documentation and introduce better names for some functions.
2012-03-15Merge branch 'maint'Gustav Simonsson
2012-02-22Zero-arity unused functions Dialyzer patchStavros Aronis
Dialyzer was not reporting unused functions with 0 arity. This was not a real issue, until we found out that there could be cases where this could lead to false warnings. This was the case in "no_local_return.erl".
2012-01-27Move types and specs from erl_bif_types.erl to modulesHans Bolinder
2011-11-30Update inets test resultsStavros Aronis
2011-11-18Update inets resultsStavros Aronis
2011-08-29Update r9c/{inets,mnesia} results in dialyzer's test suiteStavros Aronis
2011-08-24Merge branch 'sa/dialyzer-server-loop-fix' into devHenrik Nord
* sa/dialyzer-server-loop-fix: Fix server loop detection OTP-9489
2011-08-01Update Dialyzer's r9c_suite resultsStavros Aronis
2011-05-13Fix server loop detectionStavros Aronis
Dialyzer does not normally emit warnings for functions that implement non-terminating server loops. This detection failed when some of the elements in an SCC terminated normally (being for example list comprehensions or other generic anonymous functions that were included in the SCC). This patch fixes that.
2011-05-04Rename suite data directoriesStavros Aronis