aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-12-17 12:29:51 +0100
committerHans Bolinder <[email protected]>2016-01-20 10:06:10 +0100
commit034e28c340d38a34c0e00590321380c407ff5faf (patch)
tree0bf31951a1c9d2f819311ff8c6266a02ebf9476c /lib/hipe/cerl
parent3bd648f66080d1074533ba18fece0ea7de568d45 (diff)
downloadotp-034e28c340d38a34c0e00590321380c407ff5faf.tar.gz
otp-034e28c340d38a34c0e00590321380c407ff5faf.tar.bz2
otp-034e28c340d38a34c0e00590321380c407ff5faf.zip
hipe: Improve types
Diffstat (limited to 'lib/hipe/cerl')
-rw-r--r--lib/hipe/cerl/erl_types.erl6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl
index 67cdcd35e3..69654088d5 100644
--- a/lib/hipe/cerl/erl_types.erl
+++ b/lib/hipe/cerl/erl_types.erl
@@ -316,7 +316,7 @@
%% Auxiliary types and convenient macros
%%
--type parse_form() :: {atom(), _, _} | {atom(), _, _, _} | {'op', _, _, _, _}. %% XXX: Temporarily
+-type parse_form() :: erl_parse:abstract_expr().
-type rng_elem() :: 'pos_inf' | 'neg_inf' | integer().
-record(int_set, {set :: [integer()]}).
@@ -365,8 +365,8 @@
-type type_key() :: {'type' | 'opaque', atom(), arity()}.
-type record_value() :: [{atom(), erl_parse:abstract_expr(), erl_type()}].
-type type_value() :: {module(), erl_type(), atom()}.
--type type_table() :: dict:dict(record_key(), record_value())
- | dict:dict(type_key(), type_value()).
+-type type_table() :: dict:dict(record_key() | type_key(),
+ record_value() | type_value()).
-type var_table() :: dict:dict(atom(), erl_type()).