aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorLuca Favatella <[email protected]>2015-09-21 16:07:52 +0100
committerHans Bolinder <[email protected]>2016-01-26 09:11:46 +0100
commitbf799ffa828a82c6abd85f1569195890bd887ad1 (patch)
treea5ed6ad52ef9bd771baa1f2965b3a8d85b827b86 /lib/dialyzer/src
parent48fc6ff5f6fcf4e1cace205e9ce120a3232a68bb (diff)
downloadotp-bf799ffa828a82c6abd85f1569195890bd887ad1.tar.gz
otp-bf799ffa828a82c6abd85f1569195890bd887ad1.tar.bz2
otp-bf799ffa828a82c6abd85f1569195890bd887ad1.zip
Refactor usage of opaques() type
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_contracts.erl5
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()).