diff options
| author | Hans Bolinder <[email protected]> | 2015-12-17 12:29:51 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-20 10:06:10 +0100 |
| commit | 034e28c340d38a34c0e00590321380c407ff5faf (patch) | |
| tree | 0bf31951a1c9d2f819311ff8c6266a02ebf9476c | |
| parent | 3bd648f66080d1074533ba18fece0ea7de568d45 (diff) | |
| download | otp-034e28c340d38a34c0e00590321380c407ff5faf.tar.gz otp-034e28c340d38a34c0e00590321380c407ff5faf.tar.bz2 otp-034e28c340d38a34c0e00590321380c407ff5faf.zip | |
hipe: Improve types
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 6 |
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()). |