diff options
| author | Hans Bolinder <[email protected]> | 2017-01-10 15:05:24 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-10 15:05:24 +0100 |
| commit | 712e7beec6b1192d5e7294a166a81a3561a39595 (patch) | |
| tree | a2dbb826eb3fc80d614eae61b86973cfd4440c0a /lib/stdlib/src | |
| parent | 99ed930f507868906953c6169a58c03df3e10901 (diff) | |
| download | otp-712e7beec6b1192d5e7294a166a81a3561a39595.tar.gz otp-712e7beec6b1192d5e7294a166a81a3561a39595.tar.bz2 otp-712e7beec6b1192d5e7294a166a81a3561a39595.zip | |
stdlib: Correct signatures of functions in erl_parse
The signatures of erl_parse:anno_to_term/1 and
erl_parse:anno_from_term/1 are corrected. Using these function no
longer results in false Dialyzer warnings.
Diffstat (limited to 'lib/stdlib/src')
| -rw-r--r-- | lib/stdlib/src/erl_parse.yrl | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/stdlib/src/erl_parse.yrl b/lib/stdlib/src/erl_parse.yrl index 5656155c53..d2dd2848b5 100644 --- a/lib/stdlib/src/erl_parse.yrl +++ b/lib/stdlib/src/erl_parse.yrl @@ -2,7 +2,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2016. All Rights Reserved. +%% Copyright Ericsson AB 1996-2017. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -1558,13 +1558,17 @@ new_anno(Term) -> Abstr :: erl_parse_tree(). anno_to_term(Abstract) -> - map_anno(fun erl_anno:to_term/1, Abstract). + F = fun(Anno, Acc) -> {erl_anno:to_term(Anno), Acc} end, + {NewAbstract, []} = modify_anno1(Abstract, [], F), + NewAbstract. -spec anno_from_term(Term) -> erl_parse_tree() when Term :: term(). anno_from_term(Term) -> - map_anno(fun erl_anno:from_term/1, Term). + F = fun(T, Acc) -> {erl_anno:from_term(T), Acc} end, + {NewTerm, []} = modify_anno1(Term, [], F), + NewTerm. %% Forms. %% Recognize what sys_pre_expand does: |