Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-08-21 | Correct the specifications of io_lib:fread/2,3 | Hans Bolinder | |
Thanks to Chris King and Kostis Sagonas for pinpointing the bug. | |||
2013-01-25 | [stdlib] Fix a contract bug | Hans Bolinder | |
Also minor corrections of the docs of io(3) | |||
2013-01-02 | Improve and correct contracts and types of the IO modules | Hans Bolinder | |
2011-07-21 | Code cleanup, unduplicate test for whitespace | Raimo Niskanen | |
2011-07-21 | EOF before first field is only ok for first character in io:fread | Raimo Niskanen | |
2011-07-21 | At end of input ask for more also for for literal format characters | Raimo Niskanen | |
2011-05-12 | Types and specifications have been modified and added | Hans Bolinder | |
2010-06-04 | Merge branch 'ks/dialyzer' into dev | Erlang/OTP | |
* 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 | |||
2010-06-03 | stdlib: Add declarations for exported types | Kostis Sagonas | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |