diff options
| author | Hans Bolinder <[email protected]> | 2014-05-19 14:50:15 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-06-17 12:32:52 +0200 |
| commit | deca0a0687285af2c807715c9cc5de0a02c16ec2 (patch) | |
| tree | 5440b68685a47adeaea7b59e711b656c63ea370c /lib/compiler/src/v3_core.erl | |
| parent | 8498a35ce141c6e16feed198540b910b9475b2e2 (diff) | |
| download | otp-deca0a0687285af2c807715c9cc5de0a02c16ec2.tar.gz otp-deca0a0687285af2c807715c9cc5de0a02c16ec2.tar.bz2 otp-deca0a0687285af2c807715c9cc5de0a02c16ec2.zip | |
[dialyzer] Use the option 'dialyzer' to control the compiler
Diffstat (limited to 'lib/compiler/src/v3_core.erl')
| -rw-r--r-- | lib/compiler/src/v3_core.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/compiler/src/v3_core.erl b/lib/compiler/src/v3_core.erl index 3d60992e95..83cf76f241 100644 --- a/lib/compiler/src/v3_core.erl +++ b/lib/compiler/src/v3_core.erl @@ -1724,7 +1724,7 @@ fail_clause(Pats, Anno, Arg) -> args=[Arg]}]}. annotate_tuple(A, Es, St) -> - case member(annotate_records, St#core.opts) of + case member(dialyzer, St#core.opts) of true -> %% Do not coalesce constant tuple elements. A Hack. Node = cerl:ann_c_tuple(A, [cerl:c_var(any)]), @@ -1734,7 +1734,7 @@ annotate_tuple(A, Es, St) -> end. annotate_cons(A, H, T, St) -> - case member(annotate_records, St#core.opts) of + case member(dialyzer, St#core.opts) of true -> %% Do not coalesce constant conses. A Hack. Node= cerl:ann_c_cons(A, cerl:c_var(any), cerl:c_var(any)), @@ -2261,14 +2261,14 @@ bitstr_vars(Segs, Vs) -> end, Vs, Segs). record_anno(L, St) when L >= ?REC_OFFSET -> - case member(annotate_records, St#core.opts) of + case member(dialyzer, St#core.opts) of true -> [record | lineno_anno(L - ?REC_OFFSET, St)]; false -> lineno_anno(L, St) end; record_anno(L, St) when L < -?REC_OFFSET -> - case member(annotate_records, St#core.opts) of + case member(dialyzer, St#core.opts) of true -> [record | lineno_anno(L + ?REC_OFFSET, St)]; false -> |