diff options
| author | Hans Bolinder <[email protected]> | 2016-06-09 09:57:37 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-06-09 09:57:37 +0200 |
| commit | 26316068ca1ca815a5d5f13a8769ab9e1ab60f5c (patch) | |
| tree | 795be4b5ba7654afb11416d613807cac8cb741af /lib/dialyzer/test/small_SUITE_data | |
| parent | 2da08a037e4315a1010769b22610ca81462d813d (diff) | |
| parent | b13412d2e4331fa426a6722a04310cbcbf1731d6 (diff) | |
| download | otp-26316068ca1ca815a5d5f13a8769ab9e1ab60f5c.tar.gz otp-26316068ca1ca815a5d5f13a8769ab9e1ab60f5c.tar.bz2 otp-26316068ca1ca815a5d5f13a8769ab9e1ab60f5c.zip | |
Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092'
* stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092:
Fix a bug in Dialyzer related to call-site analysis
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/higher_order_discrepancy | 5 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/higher_order_discrepancy.erl | 5 |
2 files changed, 7 insertions, 3 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/higher_order_discrepancy b/lib/dialyzer/test/small_SUITE_data/results/higher_order_discrepancy index 7ce440a60d..11b9ecade6 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/higher_order_discrepancy +++ b/lib/dialyzer/test/small_SUITE_data/results/higher_order_discrepancy @@ -1,4 +1,3 @@ -higher_order_discrepancy.erl:11: The call higher_order_discrepancy:g('foo') will never return since it differs in the 1st argument from the success typing arguments: ('bar') -higher_order_discrepancy.erl:14: Function g/1 has no local return -higher_order_discrepancy.erl:14: The pattern 'bar' can never match the type 'foo' +higher_order_discrepancy.erl:19: Function g/1 has no local return +higher_order_discrepancy.erl:19: The pattern 'bar' can never match the type 'foo' diff --git a/lib/dialyzer/test/small_SUITE_data/src/higher_order_discrepancy.erl b/lib/dialyzer/test/small_SUITE_data/src/higher_order_discrepancy.erl index ff5ee6bac4..f9547d4929 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/higher_order_discrepancy.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/higher_order_discrepancy.erl @@ -1,3 +1,8 @@ +%% With the patch introduced to avoid false warnings in +%% user_SUITE_data/src/wpc_hlines.erl we can unfortunately no longer precisely +%% catch problems like this one... The refinement procedure is still enough to +%% keep some of the details, nevertheless. + -module(higher_order_discrepancy). -export([test/1]). |