diff options
| author | Stavros Aronis <[email protected]> | 2011-03-20 23:43:53 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-08-29 09:31:36 +0300 |
| commit | 45537dc582a4fe44a3407e97acb0e1e391fdcd6d (patch) | |
| tree | ad8d3c87ff020889158a460a352c6cd15e64611f /erts/etc/common | |
| parent | e7f7a3052096286a3df0b6c2217a9fe3248be7f4 (diff) | |
| download | otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.tar.gz otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.tar.bz2 otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.zip | |
Suppress some warnings about generation of non-returning funs
No warnings are emitted for funs that are non-returning when the
function that generates them has a contract that specifies that
it will return such a non-returning fun.
The actual bug, reported by Tuncer Ayaz and simplified by Maria
Christakis is included in Dialyzer's tests.
Diffstat (limited to 'erts/etc/common')
0 files changed, 0 insertions, 0 deletions