Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång | |
mk_constraint_list/2 was simplifying (C OR TriviallyTrue) to (C), which is obviously wrong. | |||
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång | |
![]() |
index : otp.git | |
Mirror of Erlang/OTP repository. | OTP Team |
aboutsummaryrefslogtreecommitdiffstats |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång | |
mk_constraint_list/2 was simplifying (C OR TriviallyTrue) to (C), which is obviously wrong. | |||
2016-04-28 | dialyzer_typesig: Add map support | Magnus Lång | |