Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dialyzer: Improve error messages for invalid specs | Tom Davies | 2022-09-06 | 1 | -5/+20 |
* | erl_types: Ignore opaque type arguments | John Högberg | 2021-09-27 | 1 | -2/+2 |
* | dialyzer: Assign better start locations to messages | Hans Bolinder | 2021-01-26 | 1 | -6/+6 |
* | dialyzer: Use column numbers in messages | Hans Bolinder | 2021-01-26 | 1 | -15/+15 |
* | dialyzer: Modify handling of singleton map key types | Hans Bolinder | 2017-09-12 | 1 | -0/+1 |
* | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder | 2016-11-22 | 1 | -4/+4 |
* | erl_types: Don't consider opaque keys singleton | Magnus Lång | 2016-04-28 | 1 | -4/+0 |
* | erl_types: Fix t_subtract/2 correctness bug | Magnus Lång | 2016-04-28 | 1 | -3/+1 |
* | erl_types: Fix crash merging maps with opaque keys | Magnus Lång | 2016-04-28 | 1 | -0/+21 |