From c9a6ac443351f8683d06764d68e4a53521d9371a Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 19 Apr 2016 14:22:25 +0200 Subject: stdlib: Fix warnings --- lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl | 12 ------------ lib/stdlib/src/erl_lint.erl | 2 ++ 2 files changed, 2 insertions(+), 12 deletions(-) delete mode 100644 lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl diff --git a/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl b/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl deleted file mode 100644 index 70059f73b6..0000000000 --- a/lib/dialyzer/test/small_SUITE_data/src/maps_redef.erl +++ /dev/null @@ -1,12 +0,0 @@ --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 diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl index 7e5535f41e..b14102ac38 100644 --- a/lib/stdlib/src/erl_lint.erl +++ b/lib/stdlib/src/erl_lint.erl @@ -2653,6 +2653,8 @@ find_field(_F, []) -> error. %% Attr :: 'type' | 'opaque' %% Checks that a type definition is valid. +-dialyzer({no_match, type_def/6}). + type_def(Attr, Line, TypeName, ProtoType, Args, St0) -> TypeDefs = St0#lint.types, Arity = length(Args), -- cgit v1.2.3