From e054777773718c2252db65e89a587d3f22211720 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Tue, 15 Mar 2016 08:37:02 +0100
Subject: stdlib: Correct types and specs

---
 lib/stdlib/src/erl_lint.erl  | 2 +-
 lib/stdlib/src/erl_parse.yrl | 6 ++++--
 lib/stdlib/src/proplists.erl | 5 +++--
 3 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl
index 0f0004ed42..e9332ce069 100644
--- a/lib/stdlib/src/erl_lint.erl
+++ b/lib/stdlib/src/erl_lint.erl
@@ -99,7 +99,7 @@ value_option(Flag, Default, On, OnVal, Off, OffVal, Opts) ->
                module='',                       %Module
                behaviour=[],                    %Behaviour
                exports=gb_sets:empty()	:: gb_sets:set(fa()),%Exports
-               imports=[] :: [fa()],            %Imports, an orddict()
+               imports=[] :: orddict:orddict(fa(), module()),%Imports
                compile=[],                      %Compile flags
                records=dict:new()               %Record definitions
                    :: dict:dict(atom(), {line(),Fields :: term()}),
diff --git a/lib/stdlib/src/erl_parse.yrl b/lib/stdlib/src/erl_parse.yrl
index 35faf95cba..887ba70859 100644
--- a/lib/stdlib/src/erl_parse.yrl
+++ b/lib/stdlib/src/erl_parse.yrl
@@ -1509,8 +1509,9 @@ type_preop_prec('#') -> {700,800}.
                         | abstract_type().
 
 -spec map_anno(Fun, Abstr) -> NewAbstr when
-      Fun :: fun((Anno) -> Anno),
+      Fun :: fun((Anno) -> NewAnno),
       Anno :: erl_anno:anno(),
+      NewAnno :: erl_anno:anno(),
       Abstr :: erl_parse_tree(),
       NewAbstr :: erl_parse_tree().
 
@@ -1534,8 +1535,9 @@ fold_anno(F0, Acc0, Abstr) ->
     NewAcc.
 
 -spec mapfold_anno(Fun, Acc0, Abstr) -> {NewAbstr, Acc1} when
-      Fun :: fun((Anno, AccIn) -> {Anno, AccOut}),
+      Fun :: fun((Anno, AccIn) -> {NewAnno, AccOut}),
       Anno :: erl_anno:anno(),
+      NewAnno :: erl_anno:anno(),
       Acc0 :: term(),
       Acc1 :: term(),
       AccIn :: term(),
diff --git a/lib/stdlib/src/proplists.erl b/lib/stdlib/src/proplists.erl
index 8e99ec0ed9..5356467b19 100644
--- a/lib/stdlib/src/proplists.erl
+++ b/lib/stdlib/src/proplists.erl
@@ -438,8 +438,9 @@ substitute_aliases_1([], P) ->
 %% @see normalize/2
 
 -spec substitute_negations(Negations, ListIn) -> ListOut when
-      Negations :: [{Key, Key}],
-      Key :: term(),
+      Negations :: [{Key1, Key2}],
+      Key1 :: term(),
+      Key2 :: term(),
       ListIn :: [term()],
       ListOut :: [term()].
 
-- 
cgit v1.2.3