aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-12-11 12:16:27 +0100
committerHans Bolinder <[email protected]>2015-12-15 08:55:08 +0100
commit57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d (patch)
treecba28ce855c02795e43a4dba9eecd51fea03cacf /lib
parentb08742128224c2d9860a97444d22064b4ecbb54d (diff)
downloadotp-57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d.tar.gz
otp-57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d.tar.bz2
otp-57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d.zip
stdlib: Add a comment about is_subtype(_, _) constraints
Diffstat (limited to 'lib')
-rw-r--r--lib/stdlib/test/erl_pp_SUITE.erl3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/stdlib/test/erl_pp_SUITE.erl b/lib/stdlib/test/erl_pp_SUITE.erl
index d0de600a1d..8a128b3815 100644
--- a/lib/stdlib/test/erl_pp_SUITE.erl
+++ b/lib/stdlib/test/erl_pp_SUITE.erl
@@ -876,6 +876,9 @@ type_examples() ->
{ex30,<<"-type t99() ::"
"{t2(),'\\'t::4'(),t5(),t6(),t7(),t8(),t10(),t14(),"
"t15(),t20(),t21(), t22(),t25()}. ">>},
+ %% Writing constraints as is_subtype(V, T) is not supported since
+ %% Erlang/OTP 19.0, but as long as the parser recognizes the
+ %% is_subtype(V, T) syntax, we need a few examples of the syntax.
{ex31,<<"-spec t1(FooBar :: t99()) -> t99();"
"(t2()) -> t2();"
"('\\'t::4'()) -> '\\'t::4'() when is_subtype('\\'t::4'(), t24);"