Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-03-23 | Add options -pa Dir and -pz Dir to TypEr | Tomas Abrahamsson | |
Setting code path options is useful e.g. when analyzing programs that use parse transforms. | |||
2011-02-10 | Strengthen some specs | Kostis Sagonas | |
2011-02-10 | Allow for --show_success_typings spelling also | Kostis Sagonas | |
2011-02-09 | Add '--show_success_typings' option | Stavros Aronis | |
With '--show_success_typings' Typer will print/use the final success typings from Dialyzer and ignore/overwrite any existing contracts. | |||
2011-02-08 | Fix crash in oveloaded contracts with overlapping domains | Kostis Sagonas | |
Typer should not crash miserably when processing a user-specified overloaded contract with overlapping types in its arguments. | |||
2011-02-06 | Fix a type error and do some further cleanup | Kostis Sagonas | |
2011-02-06 | Type cleanups and simplifications | Kostis Sagonas | |
2011-02-06 | Cleanup the analysis record | Kostis Sagonas | |
2011-02-06 | Remove typer_annotator.erl and typer.hrl | Kostis Sagonas | |
2011-02-06 | Remove typer_info.erl file | Kostis Sagonas | |
2011-02-06 | Remove typer_options.erl file | Kostis Sagonas | |
2011-02-06 | Remove typer_preprocess.erl file | Kostis Sagonas | |
2011-02-06 | Delete typer_map.erl file | Kostis Sagonas | |
2011-02-06 | First cut of tidier's cleanup | Kostis Sagonas | |
Added ability to receive the set of exported types and report unknown ones. While doing the above, cleaned up types, specs, and record field names. | |||
2010-09-10 | Remove warnings for clashes with new autoimported BIFs | Patrik Nyblom | |
2009-11-20 | The R13B03 release.OTP_R13B03 | Erlang/OTP | |