From d09c774343b78d663143ecc8930743ccded5f1c1 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Mon, 24 Nov 2014 17:19:12 +0100 Subject: dialyzer: correct record updates Correct a bug introduced in commit 8498a3. --- lib/dialyzer/test/small_SUITE_data/results/record_update | 2 ++ lib/dialyzer/test/small_SUITE_data/src/record_update.erl | 10 ++++++++++ 2 files changed, 12 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/record_update create mode 100644 lib/dialyzer/test/small_SUITE_data/src/record_update.erl (limited to 'lib/dialyzer/test/small_SUITE_data') diff --git a/lib/dialyzer/test/small_SUITE_data/results/record_update b/lib/dialyzer/test/small_SUITE_data/results/record_update new file mode 100644 index 0000000000..ea52057adf --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/record_update @@ -0,0 +1,2 @@ + +record_update.erl:7: Invalid type specification for function record_update:quux/2. The success typing is (#foo{bar::atom()},atom()) -> #foo{bar::atom()} diff --git a/lib/dialyzer/test/small_SUITE_data/src/record_update.erl b/lib/dialyzer/test/small_SUITE_data/src/record_update.erl new file mode 100644 index 0000000000..bad7a0a929 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/record_update.erl @@ -0,0 +1,10 @@ +-module(record_update). + +-export([quux/2]). + +-record(foo, {bar :: atom()}). + +-spec quux(#foo{}, string()) -> #foo{}. + +quux(Foo, NotBar) -> + Foo#foo{ bar = NotBar }. -- cgit v1.2.3