diff options
| author | Magnus Lång <[email protected]> | 2016-02-28 00:00:33 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:09 +0200 |
| commit | e3ac51b173585f84c397ae38c27d772be2d308c6 (patch) | |
| tree | 209839880b65086d3be7e5db1c42fe1fe5f85708 /lib/dialyzer/test/small_SUITE_data | |
| parent | 92a672ff8159741ebbc9f3eb11e8a81d7067d2c7 (diff) | |
| download | otp-e3ac51b173585f84c397ae38c27d772be2d308c6.tar.gz otp-e3ac51b173585f84c397ae38c27d772be2d308c6.tar.bz2 otp-e3ac51b173585f84c397ae38c27d772be2d308c6.zip | |
dialyzer_dataflow: Add map support
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/literals | 1 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps1 | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/literals b/lib/dialyzer/test/small_SUITE_data/results/literals index 883e982134..1ee39453a4 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/literals +++ b/lib/dialyzer/test/small_SUITE_data/results/literals @@ -14,3 +14,4 @@ literals.erl:26: Matching of pattern {'r', 'a'} tagged with a record name violat literals.erl:29: Function m3/1 has no local return literals.erl:29: The pattern {{'r', 'a'}} can never match the type any() literals.erl:32: Function m4/1 has no local return +literals.erl:32: Matching of pattern {'r', 'a'} tagged with a record name violates the declared type of #r{id::'integer'} diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps1 b/lib/dialyzer/test/small_SUITE_data/results/maps1 index 3e076326d2..6cd1c662c4 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/maps1 +++ b/lib/dialyzer/test/small_SUITE_data/results/maps1 @@ -1,4 +1,5 @@ maps1.erl:43: Function t3/0 has no local return maps1.erl:46: Function foo/2 has no local return +maps1.erl:47: A key of type 'beta' cannot exist in a map of type #{'alfa':=42} maps1.erl:52: The call Mod:'function'(~{'literal'=>'map'}~,'another_arg') requires that Mod is of type atom() not #{} |