aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2019-01-16 09:48:26 +0100
committerGitHub <[email protected]>2019-01-16 09:48:26 +0100
commit7000e101745cc028e4656eaaae3ea5a1a4498747 (patch)
treee05f88e9267f7bd226d2e82555b7598e7c574dc1 /lib
parent99fbb24b5396749b698474165880f84e3c799b49 (diff)
parent52fdb19885ce9342e29a8c946c76222567a6605c (diff)
downloadotp-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.yrl7
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()).