diff options
author | Hans Bolinder <[email protected]> | 2018-03-13 10:26:02 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2018-03-13 10:26:02 +0100 |
commit | 54e20b0df9e643f48bcc4bcb8d58bdc97335b42b (patch) | |
tree | e4bbb6795745163e7a0ca0277793dc1e4258710d /lib/dialyzer/test/small_SUITE_data/src/chars.erl | |
parent | 3fa85a8e858e1c8300967e0eda347697c0940188 (diff) | |
parent | b4d1aa182b211083c2982a700aa3e35eddecb6fc (diff) | |
download | otp-54e20b0df9e643f48bcc4bcb8d58bdc97335b42b.tar.gz otp-54e20b0df9e643f48bcc4bcb8d58bdc97335b42b.tar.bz2 otp-54e20b0df9e643f48bcc4bcb8d58bdc97335b42b.zip |
Merge branch 'hasse/dialyzer/extra-range/OTP-14970'
* hasse/dialyzer/extra-range/OTP-14970:
ssl: Correct some specs
os_mon: Correct a spec
Fix broken spec in beam_asm
Dialyzer should not throw away spec information because of overspec
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/chars.erl')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/chars.erl | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/chars.erl b/lib/dialyzer/test/small_SUITE_data/src/chars.erl index 1e9c8ab6b9..62b90cf54d 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/chars.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/chars.erl @@ -12,17 +12,25 @@ -spec t() -> $0-$0..$9-$0| $?. t() -> - c(#r{f = $z - 3}), + r(#r{f = $z - 3}), + r(#r{f = 97}), + c($/), c($z - 3), c($B). -spec c(cs()) -> $3-$0..$9-$0. - -c($A + 1) -> 2; +c($A + 1) -> $9-$0; c(C) -> case C of - $z - 3 -> 3; - #r{f = $z - 3} -> 7 + $z - 3 -> $3-$0; + _ -> $7-$0 + end. + +-spec r(#r{f :: $a..$z}) -> ok | error. +r(R) -> + case R of + #r{f = $z - 3} -> error; + _ -> ok end. %% Display contract with character in warning: |