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 ++ 1 file changed, 2 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/record_update (limited to 'lib/dialyzer/test/small_SUITE_data/results') 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()} -- cgit v1.2.3