From 712e7beec6b1192d5e7294a166a81a3561a39595 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 10 Jan 2017 15:05:24 +0100 Subject: 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. --- lib/dialyzer/test/small_SUITE_data/src/anno.erl | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/src/anno.erl (limited to 'lib/dialyzer') diff --git a/lib/dialyzer/test/small_SUITE_data/src/anno.erl b/lib/dialyzer/test/small_SUITE_data/src/anno.erl new file mode 100644 index 0000000000..70f1d42141 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/anno.erl @@ -0,0 +1,18 @@ +-module(anno). + +%% OTP-14131 + +-export([t1/0, t2/0, t3/0]). + +t1() -> + A = erl_parse:anno_from_term({attribute, 1, module, my_test}), + compile:forms([A], []). + +t2() -> + A = erl_parse:new_anno({attribute, 1, module, my_test}), + compile:forms([A], []). + +t3() -> + A = erl_parse:new_anno({attribute, 1, module, my_test}), + T = erl_parse:anno_to_term(A), + {attribute, 1, module, my_test} = T. -- cgit v1.2.3