otp.git - Mirror of Erlang/OTP repository.

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