diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 | 5 |
1 files changed, 4 insertions, 1 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 index bfada119a2..a8026b787f 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 +++ b/lib/dialyzer/test/small_SUITE_data/results/invalid_spec_2 @@ -1,2 +1,5 @@ -scala_user.erl:5:2: Invalid type specification for function scala_user:is_list/2. The success typing is (maybe_improper_list() | tuple(),_) -> boolean() +scala_user.erl:5:2: Invalid type specification for function scala_user:is_list/2. + The success typing is scala_user:is_list(maybe_improper_list() | tuple(),_) -> boolean() + But the spec is scala_user:is_list(atom(),scala_data:data()) -> boolean() + They do not overlap in the 1st argument |