diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2014-05-26 11:04:45 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2014-05-26 11:04:45 +0200 |
| commit | 3c95f2613cc7030576f28dae73129dffc1962b96 (patch) | |
| tree | 431d93211bb98b2b845c4828880ea59c33351e3a /lib/dialyzer | |
| parent | 40052e19a6bbebdf1af89d19245a7abb1d32d1f8 (diff) | |
| parent | 839f8fea41003883681188dfb09eebbfbd351094 (diff) | |
| download | otp-3c95f2613cc7030576f28dae73129dffc1962b96.tar.gz otp-3c95f2613cc7030576f28dae73129dffc1962b96.tar.bz2 otp-3c95f2613cc7030576f28dae73129dffc1962b96.zip | |
Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint
* egil/fix-maps-pretty-layout/OTP-11947:
dialyzer: Add Maps type mismatch test
hipe,compiler: Fix Map literals pretty printing
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps_difftype | 3 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/maps_difftype.erl | 11 |
2 files changed, 14 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps_difftype b/lib/dialyzer/test/small_SUITE_data/results/maps_difftype new file mode 100644 index 0000000000..8980321135 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/maps_difftype @@ -0,0 +1,3 @@ + +maps_difftype.erl:10: Function empty_mismatch/1 has no local return +maps_difftype.erl:11: The pattern ~{}~ can never match the type tuple() diff --git a/lib/dialyzer/test/small_SUITE_data/src/maps_difftype.erl b/lib/dialyzer/test/small_SUITE_data/src/maps_difftype.erl new file mode 100644 index 0000000000..19e61a7944 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/maps_difftype.erl @@ -0,0 +1,11 @@ +%% +%% File: maps_difftype.erl +%% Author: Björn-Egil Dahlberg +%% Created: 2014-04-29 +%% +-module(maps_difftype). + +-export([empty_mismatch/1]). + +empty_mismatch(Tuple) when is_tuple(Tuple) -> + case Tuple of #{} -> ok end. |