aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-03-21 13:20:59 +0100
committerHans Bolinder <[email protected]>2014-03-24 09:31:59 +0100
commit1a4668ddd61802f0936e762f2f85007845e1441e (patch)
tree736387955a34b4347c15bed52dcf0860be2ddcc5 /lib/dialyzer/test/small_SUITE_data/src
parentf725839f502c90ee14f5e2fb48a2393c29f0532d (diff)
downloadotp-1a4668ddd61802f0936e762f2f85007845e1441e.tar.gz
otp-1a4668ddd61802f0936e762f2f85007845e1441e.tar.bz2
otp-1a4668ddd61802f0936e762f2f85007845e1441e.zip
stdlib: warn if the type map() is redefined
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl12
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