diff options
| author | Erlang/OTP <[email protected]> | 2016-06-29 17:42:51 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2016-06-29 17:42:51 +0200 |
| commit | 0eb8392e9cdc01393a1a0efd7648d9602ae7e627 (patch) | |
| tree | 0b2a8f68bda2717755b76e1313865528c32f687e /lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl | |
| parent | 518d0ab2cf9a7200b88dceb177b6c7cda2f7e69d (diff) | |
| parent | a296fc4d7f6f52c78da4596b9b08f39147089d44 (diff) | |
| download | otp-0eb8392e9cdc01393a1a0efd7648d9602ae7e627.tar.gz otp-0eb8392e9cdc01393a1a0efd7648d9602ae7e627.tar.bz2 otp-0eb8392e9cdc01393a1a0efd7648d9602ae7e627.zip | |
Merge branch 'margnus1/dialyzer/fix_map_bug/ERL-177/PR-1115/OTP-13709' into maint-19
* margnus1/dialyzer/fix_map_bug/ERL-177/PR-1115/OTP-13709:
erl_types: Normalise X:=none() pairs in t_map/3
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl b/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl new file mode 100644 index 0000000000..827984b20b --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/src/mand_remote_val/a.erl @@ -0,0 +1,9 @@ +-module(a). +-export([to_map/1, to_map/2]). +-type t() :: #{type := b:t()}. + +-spec to_map(t()) -> map(). +to_map(Resource) -> to_map(Resource, #{}). + +-spec to_map(t(), map()) -> map(). +to_map(_, Map) when is_map(Map) -> #{}. |