Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-10-09 | Fix crash when using remote types in the tail of list types | Kostis Sagonas | |
Hans Bolider reported a dialyzer crash when using a remote type in the tail position of a maybe_improper_list() declaration. A test was created (by extending an existing module of the testsuite) and erl_types was modified to expand the remote type and not pass it unexpanded to subsequent phases in the processing. | |||
2011-12-01 | Fix crash in Dialyzer | Stavros Aronis | |
Variable substitution was not generalizing any unknown variables. |