diff options
| author | Hans Bolinder <[email protected]> | 2019-01-16 09:48:26 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-01-16 09:48:26 +0100 |
| commit | 7000e101745cc028e4656eaaae3ea5a1a4498747 (patch) | |
| tree | e05f88e9267f7bd226d2e82555b7598e7c574dc1 /lib | |
| parent | 99fbb24b5396749b698474165880f84e3c799b49 (diff) | |
| parent | 52fdb19885ce9342e29a8c946c76222567a6605c (diff) | |
| download | otp-7000e101745cc028e4656eaaae3ea5a1a4498747.tar.gz otp-7000e101745cc028e4656eaaae3ea5a1a4498747.tar.bz2 otp-7000e101745cc028e4656eaaae3ea5a1a4498747.zip | |
Merge pull request #2074 from gomoripeti/singleton_char_type
Fixes in erl_parse:abstract_type/0 type
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/stdlib/src/erl_parse.yrl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/stdlib/src/erl_parse.yrl b/lib/stdlib/src/erl_parse.yrl index 9602f0bcd9..5fa9c4f75c 100644 --- a/lib/stdlib/src/erl_parse.yrl +++ b/lib/stdlib/src/erl_parse.yrl @@ -872,7 +872,7 @@ Erlang code. -type af_fun_type() :: {'type', anno(), 'fun', []} | {'type', anno(), 'fun', [{'type', anno(), 'any'} | abstract_type()]} - | {'type', anno(), 'fun', af_function_type()}. + | af_function_type(). -type af_integer_range_type() :: {'type', anno(), 'range', [af_singleton_integer_type()]}. @@ -924,10 +924,11 @@ Erlang code. -type af_function_constraint() :: [af_constraint()]. -type af_constraint() :: {'type', anno(), 'constraint', - af_lit_atom('is_subtype'), - [af_type_variable() | abstract_type()]}. % [V, T] + [af_lit_atom('is_subtype') | + [af_type_variable() | abstract_type()]]}. % [IsSubtype, [V, T]] -type af_singleton_integer_type() :: af_integer() + | af_character() | af_unary_op(af_singleton_integer_type()) | af_binary_op(af_singleton_integer_type()). |