Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-08-29 | Suppress some warnings about generation of non-returning funs | Stavros Aronis | |
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. |