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/map_SUITE_data/src/maps_merge.erl | |
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/map_SUITE_data/src/maps_merge.erl')
-rw-r--r-- | lib/dialyzer/test/map_SUITE_data/src/maps_merge.erl | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/src/maps_merge.erl b/lib/dialyzer/test/map_SUITE_data/src/maps_merge.erl new file mode 100644 index 0000000000..d4f3c6887a --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/src/maps_merge.erl @@ -0,0 +1,29 @@ +-module(maps_merge). + +-export([t1/0, t2/0, t3/0, t4/0, t5/0]). + +t1() -> + #{a:=1} = maps:merge(#{}, #{}). + +t2() -> + #{hej := _} = maps:merge(cao(), cio()), + #{{} := _} = maps:merge(cao(), cio()). + +t3() -> + #{a:=1} = maps:merge(cao(), cio()), + #{7:=q} = maps:merge(cao(), cio()). + +t4() -> + #{a:=1} = maps:merge(cio(), cao()), + #{7:=q} = maps:merge(cio(), cao()). + +t5() -> + #{a:=2} = maps:merge(cao(), #{}). + +-spec cao() -> #{a := 1, q => none(), 11 => _, atom() => _}. +cao() -> + binary_to_term(<<131,116,0,0,0,3,100,0,1,97,97,1,100,0,1,98,97,9,100,0,1, + 102,104,0>>). + +-spec cio() -> #{3 := ok, 7 => none(), z => _, integer() => _}. +cio() -> binary_to_term(<<131,116,0,0,0,2,97,3,100,0,2,111,107,97,9,97,6>>). |