Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-06-15 | dialyzer: Fix a bug in the expansion of forms | Hans Bolinder | |
The check that a modified type of a field is a subtype of the declared type has been moved outside of the expansion of forms to avoid loops. | |||
2014-05-13 | hipe: fix a bug concerning typed record fields | Hans Bolinder | |
When checking typed record fields Dialyzer failed to handle types containing remote types. Thanks to Erik Søe Sørensen for reporting this bug. |