diff options
| author | Luca Favatella <[email protected]> | 2015-09-21 16:07:52 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-26 09:11:46 +0100 |
| commit | bf799ffa828a82c6abd85f1569195890bd887ad1 (patch) | |
| tree | a5ed6ad52ef9bd771baa1f2965b3a8d85b827b86 /lib/dialyzer/src/dialyzer_contracts.erl | |
| parent | 48fc6ff5f6fcf4e1cace205e9ce120a3232a68bb (diff) | |
| download | otp-bf799ffa828a82c6abd85f1569195890bd887ad1.tar.gz otp-bf799ffa828a82c6abd85f1569195890bd887ad1.tar.bz2 otp-bf799ffa828a82c6abd85f1569195890bd887ad1.zip | |
Refactor usage of opaques() type
Diffstat (limited to 'lib/dialyzer/src/dialyzer_contracts.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_contracts.erl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl index 83b3ef72f2..e03e4d5bb4 100644 --- a/lib/dialyzer/src/dialyzer_contracts.erl +++ b/lib/dialyzer/src/dialyzer_contracts.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2007-2015. All Rights Reserved. +%% Copyright Ericsson AB 2007-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -167,8 +167,7 @@ process_contract_remote_types(CodeServer) -> dialyzer_codeserver:finalize_contracts(NewContractDict, NewCallbackDict, CodeServer). --type opaques() :: [erl_types:erl_type()] | 'universe'. --type opaques_fun() :: fun((module()) -> opaques()). +-type opaques_fun() :: fun((module()) -> [erl_types:erl_type()]). -type fun_types() :: dict:dict(label(), erl_types:type_table()). |