diff options
| author | Hans Bolinder <[email protected]> | 2014-11-24 17:19:12 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-11-24 17:19:12 +0100 |
| commit | d09c774343b78d663143ecc8930743ccded5f1c1 (patch) | |
| tree | 3c43332e7dd1eb6c83c2f685d8a571d1347a0087 /lib/dialyzer/test/small_SUITE_data | |
| parent | ee11116c547c4559ed899ecadef9cf2038b2b336 (diff) | |
| download | otp-d09c774343b78d663143ecc8930743ccded5f1c1.tar.gz otp-d09c774343b78d663143ecc8930743ccded5f1c1.tar.bz2 otp-d09c774343b78d663143ecc8930743ccded5f1c1.zip | |
dialyzer: correct record updates
Correct a bug introduced in commit 8498a3.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/record_update | 2 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/record_update.erl | 10 |
2 files changed, 12 insertions, 0 deletions
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 }. |