Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder | |
Messages regarding guards with orelse/andalso could look like "Clause guard cannot succeed. The variable A was matched against the type any()". Now they look like as if or/and is used: "Guard test is_integer(A::atom()) can never succeed". | |||
2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder | |
It is possible that '...' is added later (OTP 20.0), but for now we are not sure of all details. | |||
2016-04-28 | dialyzer_dataflow: Add map support | Magnus Lång | |
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång | |