diff options
| author | Hans Bolinder <[email protected]> | 2016-09-12 08:49:59 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-12 08:49:59 +0200 |
| commit | f792ea463770bbd4464cef347aef6e3f8606687b (patch) | |
| tree | a877b1275d60fce81be88e03ad393a660017f24c /lib/dialyzer | |
| parent | c3c41c51ac2856610a70a3dd6ac54852c0742183 (diff) | |
| parent | 86d1fb0865193cce4e308baa6472885a81033f10 (diff) | |
| download | otp-f792ea463770bbd4464cef347aef6e3f8606687b.tar.gz otp-f792ea463770bbd4464cef347aef6e3f8606687b.tar.bz2 otp-f792ea463770bbd4464cef347aef6e3f8606687b.zip | |
Merge branch 'maint'
* maint:
erl_bif_types: Properly unopaque maps:merge/2 args
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/src/opaque_bif.erl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/src/opaque_bif.erl b/lib/dialyzer/test/map_SUITE_data/src/opaque_bif.erl new file mode 100644 index 0000000000..40214a1887 --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/src/opaque_bif.erl @@ -0,0 +1,13 @@ +-module(opaque_bif). +-export([o1/1]). +-export_type([opaque_any_map/0]). +-opaque opaque_any_map() :: map(). + +%% ERL-249: A bug with opaque arguments to maps:merge/2 +%% Reported by Felipe Ripoll on 6/9/2016 +-spec o1(opaque_any_map()) -> opaque_any_map(). +o1(Map) -> + maps:merge(o1_c(), Map). + +-spec o1_c() -> opaque_any_map(). +o1_c() -> #{}. |