diff options
| author | Hans Bolinder <[email protected]> | 2016-05-16 09:51:09 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-05-16 09:51:09 +0200 |
| commit | e81b0af5c95e776794f8a6f39e3bc0d577c3947c (patch) | |
| tree | 180682db919870584c0d5391b884dc5276320ac4 /lib/hipe | |
| parent | f45c3aa375bc8925366a0844195d8bb0b26879f5 (diff) | |
| parent | 43b99183a5cdd7efbbfda8d991752e7065f9e109 (diff) | |
| download | otp-e81b0af5c95e776794f8a6f39e3bc0d577c3947c.tar.gz otp-e81b0af5c95e776794f8a6f39e3bc0d577c3947c.tar.bz2 otp-e81b0af5c95e776794f8a6f39e3bc0d577c3947c.zip | |
Merge branch 'kostis/dialyzer/opaque_type/OTP-13586/PR-1047'
* kostis/dialyzer/opaque_type/OTP-13586/PR-1047:
Declare the erl_types:var_table() type as opaque
Diffstat (limited to 'lib/hipe')
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 84addcc105..b037a4360c 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -220,6 +220,7 @@ is_opaque_type/2, is_erl_type/1, atom_to_string/1, + var_table__new/0, map_pairwise_merge/3 ]). @@ -236,7 +237,7 @@ -export([t_is_identifier/1]). -endif. --export_type([erl_type/0, opaques/0, type_table/0]). +-export_type([erl_type/0, opaques/0, type_table/0, var_table/0]). %%-define(DEBUG, true). @@ -380,7 +381,7 @@ -type type_table() :: dict:dict(record_key() | type_key(), record_value() | type_value()). --type var_table() :: #{atom() => erl_type()}. +-opaque var_table() :: #{atom() => erl_type()}. %%----------------------------------------------------------------------------- %% Unions @@ -5464,6 +5465,17 @@ family(L) -> sofs:to_external(F). %%============================================================================= +%% +%% Interface functions for abstract data types defined in this module +%% +%%============================================================================= + +-spec var_table__new() -> var_table(). + +var_table__new() -> + maps:new(). + +%%============================================================================= %% Consistency-testing function(s) below %%============================================================================= |