aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2014-03-21 17:06:24 +0100
committerStavros Aronis <[email protected]>2014-03-24 16:23:13 +0100
commita360c3e6cdcc54fe040a1aef157eb1489ab4bdb3 (patch)
tree8dd11283daddce3156abc0af6fd198ebeac598a3 /lib/dialyzer/test/small_SUITE_data/results
parent73af231f1a22083031df49ba19fdfd4f6b434a10 (diff)
downloadotp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.tar.gz
otp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.tar.bz2
otp-a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3.zip
Don't 'opaque-decorate' a success typing using an incompatible spec
Without this patch Dialyzer crashes when analyzing the supplemented test case.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/results/invalid_spec_22
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 b/lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2
new file mode 100644
index 0000000000..4565112ea0
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2
@@ -0,0 +1,2 @@
+
+scala_user.erl:5: Invalid type specification for function scala_user:is_list/2. The success typing is (maybe_improper_list() | tuple(),_) -> boolean()