Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
It is actually wrong to be using the same variable name to denote
arguments and return values which have possibly different types.
This patch corrects this.
|
|
Recently I was adding specs to an API and found that there is
no canonical proplist() type defined.
|
|
|
|
* ks/dialyzer:
dialyzer: Build the PLT even if there are unresolved remote types
proplists: Export the type property()
erl_lint: Issue warnings for undefined exported types
Minor fix in a print message
Add handling of unknown types
Add declaration for exported types
Add types and specs; performed some cleanups also
erl_scan: Add declarations for exported types
stdlib: Add declarations for exported types
hipe: Add declarations for exported types
compiler: Add declarations for exported types
syntax_tools: Add declarations for exported types
kernel: Add declaration for exported types
Support -export_type() in dialyzer and erl_types
Add infrastructure for the -export_type() attribute
OTP-8678 ks/dialyzer
|
|
|
|
|