From a360c3e6cdcc54fe040a1aef157eb1489ab4bdb3 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Fri, 21 Mar 2014 17:06:24 +0100 Subject: Don't 'opaque-decorate' a success typing using an incompatible spec Without this patch Dialyzer crashes when analyzing the supplemented test case. --- lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 (limited to 'lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2') 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() -- cgit v1.2.3