aboutsummaryrefslogtreecommitdiffstats
path: root/otp_build
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2010-06-07 09:02:31 +0000
committerErlang/OTP <[email protected]>2010-06-07 09:02:31 +0000
commit707c6510597e5eb6e32b88412edd717e0e3c39ba (patch)
treed7d121471c5b0689fad422fc47d46b7deba943c8 /otp_build
parent5e354ca66996ee03d615dc36c284e94ccf176e89 (diff)
downloadotp-707c6510597e5eb6e32b88412edd717e0e3c39ba.tar.gz
otp-707c6510597e5eb6e32b88412edd717e0e3c39ba.tar.bz2
otp-707c6510597e5eb6e32b88412edd717e0e3c39ba.zip
Fix confusing dialyzer warnings for is_record/2 with illegal records
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
Diffstat (limited to 'otp_build')
0 files changed, 0 insertions, 0 deletions