Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-02-10 | [dialyzer] Fix a bug concerning map() types | Hans Bolinder | |
It is allowed in Erlang/OTP 17 to redefine the map() types. However, Dialyzer did not handle local map() types correctly. |
![]() |
index : otp.git | |
Mirror of Erlang/OTP repository. | OTP Team |
aboutsummaryrefslogtreecommitdiffstats |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-02-10 | [dialyzer] Fix a bug concerning map() types | Hans Bolinder | |
It is allowed in Erlang/OTP 17 to redefine the map() types. However, Dialyzer did not handle local map() types correctly. |