diff options
| author | Hans Bolinder <[email protected]> | 2017-01-13 09:37:32 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-13 09:37:32 +0100 |
| commit | 82645ab6d5e25b999c4c1824c2d323c289d1e1a7 (patch) | |
| tree | 85a98de8f9a94dcd809e82accb58938d427b792f /lib/stdlib/test/erl_pp_SUITE.erl | |
| parent | e36147a9f7bc7c238416ec9cf4e0fff04e604f1c (diff) | |
| parent | 91048957f0681dba853f5720d3618aa1c5d0255e (diff) | |
| download | otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.tar.gz otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.tar.bz2 otp-82645ab6d5e25b999c4c1824c2d323c289d1e1a7.zip | |
Merge branch 'hasse/stdlib/check_type_constraints/OTP-14070/PR-1214'
* hasse/stdlib/check_type_constraints/OTP-14070/PR-1214:
stdilb: Check for bad type constraints in function types
Diffstat (limited to 'lib/stdlib/test/erl_pp_SUITE.erl')
| -rw-r--r-- | lib/stdlib/test/erl_pp_SUITE.erl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lib/stdlib/test/erl_pp_SUITE.erl b/lib/stdlib/test/erl_pp_SUITE.erl index 13c5662741..31ea3210a8 100644 --- a/lib/stdlib/test/erl_pp_SUITE.erl +++ b/lib/stdlib/test/erl_pp_SUITE.erl @@ -825,12 +825,13 @@ type_examples() -> %% 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);" - "(t23()) -> t23() when is_subtype(t23(), atom())," - " is_subtype(t23(), t14());" - "(t24()) -> t24() when is_subtype(t24(), atom())," - " is_subtype(t24(), t14())," - " is_subtype(t24(), '\\'t::4'()).">>}, + "('\\'t::4'()) -> {'\\'t::4'(), B}" + " when is_subtype(B, '\\'t::4'());" + "(t23()) -> C when is_subtype(C, atom())," + " is_subtype(C, t14());" + "(t24()) -> D when is_subtype(D, atom())," + " is_subtype(D, t14())," + " is_subtype(D, '\\'t::4'()).">>}, {ex32,<<"-spec mod:t2() -> any(). ">>}, {ex33,<<"-opaque attributes_data() :: " "[{'column', column()} | {'line', info_line()} |" |