diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/types_arity')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/types_arity | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/types_arity b/lib/dialyzer/test/small_SUITE_data/results/types_arity index fae7455996..9842bad61b 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/types_arity +++ b/lib/dialyzer/test/small_SUITE_data/results/types_arity @@ -1,2 +1,5 @@ -types_arity.erl:16:2: Invalid type specification for function types_arity:test2/0. The success typing is () -> {'node','a','nil','nil'} +types_arity.erl:16:2: Invalid type specification for function types_arity:test2/0. + The success typing is types_arity:test2() -> {'node','a','nil','nil'} + But the spec is types_arity:test2() -> tree() + The return types do not overlap |