diff options
| author | Richard Carlsson <[email protected]> | 2018-02-20 13:47:25 +0100 |
|---|---|---|
| committer | Richard Carlsson <[email protected]> | 2018-02-20 21:35:53 +0100 |
| commit | 9883f9714bd4a56ae9d68b3b0e7958461918946e (patch) | |
| tree | db0432be9d234c11c6df8ae1f97cc8d0bbd4a4f7 /lib/dialyzer/test/small_SUITE_data/results/extra_range | |
| parent | 6b9d92005cf3eb9b2d8dc2370dd089f8d262fa06 (diff) | |
| download | otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.gz otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.bz2 otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.zip | |
Dialyzer should not throw away spec information because of overspec
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/extra_range')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/extra_range | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/extra_range b/lib/dialyzer/test/small_SUITE_data/results/extra_range new file mode 100644 index 0000000000..ec50c95c4e --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/extra_range @@ -0,0 +1,4 @@ + +extra_range.erl:29: The pattern 'ok' can never match the type 'error' +extra_range.erl:43: The pattern 'no' can never match the type 'maybe' | 'yes' +extra_range.erl:58: The pattern 'maybe' can never match the type 'no' | 'yes' |