otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
2010-06-07	Fix confusing dialyzer warnings for is_record/2 with illegal records	Björn Gustavsson
	In commit 1858cb81391d2bce29b4b7620574ca60128cebf7, erl_expand_records started to optimize is_record/2 in guards by replacing it with pattern matching (if possible). Unfortunately, dialyzer will no longer see the code before the optimization, so any warnings produced in code such as: case ExprNotProducingRecord#rec{} of X when is_record(X, rec, N) -> ... will refer to the optimized code and not the source code, which is confusing for the user. Introduce the no_is_record_optimization option for turning off the optimization and use it in dialyzer. Reported-by: Kostis Sagonas
2010-06-03	Minor fix in a print message	Kostis Sagonas

2010-06-03	Add handling of unknown types	Maria Christakis

2010-06-03	Support -export_type() in dialyzer and erl_types	Kostis Sagonas

2010-03-03	Fix small confusion/buglet in the handling of 'or'	Kostis Sagonas

2010-02-17	Merge branch 'ks/hipe' into ccase/r13b04_dev	Erlang/OTP
	* ks/hipe: dialyzer: Fix system_limit exception in race analysis syntax_tools: Add types and specs for most exported functions syntax_tools: Support the --enable-native-libs configure option syntax_tools: Remove $Id$ annotations dialyzer: New version for the R13B04 release hipe: Miscellaneous additions typer: New version for the R13B04 release Fix a HiPE compiler bug evaluating an expression that throws system_limit OTP-8460 ks/hipe
2010-02-16	dialyzer: Fix system_limit exception in race analysis	Kostis Sagonas
	dialyzer_callgraph: Avoid creation of too many ets tables by the race analysis. dialyzer_dataflow: The digraph returned by the race analysis should not be the translated one.
2010-02-14	dialyzer: New version for the R13B04 release	Kostis Sagonas

2009-11-20	The R13B03 release.OTP_R13B03	Erlang/OTP