From e917ae0da957a8b151df54e2f1940fded8d21ad1 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 16 Jan 2017 13:15:55 +0100
Subject: typer: Fix a bug regarding the -T option

The -T option has not been working for a long time.
---
 lib/typer/src/typer.erl | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

(limited to 'lib/typer/src/typer.erl')

diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl
index 584c8001f1..18c4fe902d 100644
--- a/lib/typer/src/typer.erl
+++ b/lib/typer/src/typer.erl
@@ -142,16 +142,9 @@ extract(#analysis{macros = Macros,
 	compile_error(ErrorMsg)
     end,
   %% Create TrustPLT
-  Contracts = dialyzer_codeserver:get_contracts(NewCodeServer),
-  Modules = dict:fetch_keys(Contracts),
-  FoldFun =
-    fun(Module, TmpPlt) ->
-	{ok, ModuleContracts} = dict:find(Module, Contracts),
-	SpecList = [{MFA, Contract} 
-		    || {MFA, {_FileLine, Contract}} <- maps:to_list(ModuleContracts)],
-	dialyzer_plt:insert_contract_list(TmpPlt, SpecList)
-    end,
-  NewTrustPLT = lists:foldl(FoldFun, TrustPLT, Modules),
+  ContractsDict = dialyzer_codeserver:get_contracts(NewCodeServer),
+  Contracts = orddict:from_list(dict:to_list(ContractsDict)),
+  NewTrustPLT = dialyzer_plt:insert_contract_list(TrustPLT, Contracts),
   Analysis#analysis{trust_plt = NewTrustPLT}.
 
 %%--------------------------------------------------------------------
-- 
cgit v1.2.3