diff options
| author | Hans Bolinder <[email protected]> | 2017-01-16 13:15:55 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-02-03 08:58:00 +0100 |
| commit | e917ae0da957a8b151df54e2f1940fded8d21ad1 (patch) | |
| tree | a9fdf36a9dc04bb012889105736ccbb730b63794 /lib/dialyzer/src/dialyzer_contracts.erl | |
| parent | 5cd1994b89faa27657e2b0bb7ef026124acdff95 (diff) | |
| download | otp-e917ae0da957a8b151df54e2f1940fded8d21ad1.tar.gz otp-e917ae0da957a8b151df54e2f1940fded8d21ad1.tar.bz2 otp-e917ae0da957a8b151df54e2f1940fded8d21ad1.zip | |
typer: Fix a bug regarding the -T option
The -T option has not been working for a long time.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_contracts.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_contracts.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl index 45f9099f4e..5f24b5a668 100644 --- a/lib/dialyzer/src/dialyzer_contracts.erl +++ b/lib/dialyzer/src/dialyzer_contracts.erl @@ -177,7 +177,7 @@ process_contract_remote_types(CodeServer) -> -type fun_types() :: dict:dict(label(), erl_types:type_table()). --spec check_contracts([{mfa(), file_contract()}], +-spec check_contracts(orddict:orddict(mfa(), file_contract()), dialyzer_callgraph:callgraph(), fun_types(), opaques_fun()) -> plt_contracts(). @@ -206,7 +206,7 @@ check_contracts(Contracts, Callgraph, FunTypes, FindOpaques) -> error -> NewContracts end end, - dict:fold(FoldFun, [], FunTypes). + orddict:from_list(dict:fold(FoldFun, [], FunTypes)). %% Checks all components of a contract -spec check_contract(#contract{}, erl_types:erl_type()) -> 'ok' | {'error', term()}. |