diff options
| author | Hans Bolinder <[email protected]> | 2014-03-21 13:20:59 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-24 09:31:59 +0100 |
| commit | 1a4668ddd61802f0936e762f2f85007845e1441e (patch) | |
| tree | 736387955a34b4347c15bed52dcf0860be2ddcc5 /lib/dialyzer/test | |
| parent | f725839f502c90ee14f5e2fb48a2393c29f0532d (diff) | |
| download | otp-1a4668ddd61802f0936e762f2f85007845e1441e.tar.gz otp-1a4668ddd61802f0936e762f2f85007845e1441e.tar.bz2 otp-1a4668ddd61802f0936e762f2f85007845e1441e.zip | |
stdlib: warn if the type map() is redefined
Diffstat (limited to 'lib/dialyzer/test')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl b/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl new file mode 100644 index 0000000000..70059f73b6 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl @@ -0,0 +1,12 @@ +-module(maps_redef). + +-export([t/0]). + +%% OK in Erlang/OTP 17, at least. + +-type map() :: atom(). % redefine built-in type + +-spec t() -> map(). + +t() -> + a. % OK |