diff options
author | John Högberg <[email protected]> | 2019-06-19 16:09:45 +0200 |
---|---|---|
committer | John Högberg <[email protected]> | 2019-07-05 11:33:38 +0200 |
commit | b713f93fb242e330cde1f3dcb135ec9795adccde (patch) | |
tree | f409f9e2ace4dc4590ab6a8007d58169401ccf04 /lib/compiler/src/beam_types.hrl | |
parent | db2ab3f206934926123c3d3acd33dd7b4c6e84db (diff) | |
download | otp-b713f93fb242e330cde1f3dcb135ec9795adccde.tar.gz otp-b713f93fb242e330cde1f3dcb135ec9795adccde.tar.bz2 otp-b713f93fb242e330cde1f3dcb135ec9795adccde.zip |
beam_validator: Clean up abstract/match context type handling
Diffstat (limited to 'lib/compiler/src/beam_types.hrl')
-rw-r--r-- | lib/compiler/src/beam_types.hrl | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/compiler/src/beam_types.hrl b/lib/compiler/src/beam_types.hrl index 825eca4c64..212fe62063 100644 --- a/lib/compiler/src/beam_types.hrl +++ b/lib/compiler/src/beam_types.hrl @@ -37,8 +37,6 @@ %% -- cons Cons (nonempty list). %% -- nil The empty list. %% - #t_tuple{} Tuple. -%% - #t_abstract{} Psuedo-type used in the validator to track tuples -% under construction, match context positions, etc. %% %% none No type (bottom element). @@ -54,7 +52,6 @@ -record(t_tuple, {size=0 :: integer(), exact=false :: boolean(), elements=#{} :: tuple_elements()}). --record(t_abstract, {kind :: atom()}). %% Known element types, unknown elements are assumed to be 'any'. The key is %% a 1-based integer index for tuples, and a plain literal for maps (that is, @@ -67,6 +64,6 @@ -type type() :: any | none | list | number | - #t_atom{} | #t_bitstring{} | #t_bs_context{} | #t_fun{} | - #t_integer{} | #t_map{} | #t_tuple{} | #t_abstract{} | + #t_atom{} | #t_bitstring{} | #t_bs_context{} | + #t_fun{} | #t_integer{} | #t_map{} | #t_tuple{} | 'cons' | 'float' | 'nil'. |