diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/redefine_builtins')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/redefine_builtins | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/redefine_builtins b/lib/dialyzer/test/small_SUITE_data/results/redefine_builtins new file mode 100644 index 0000000000..c7da0cf72a --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/redefine_builtins @@ -0,0 +1,5 @@ + +a.erl:4:2: Invalid type specification for function a:vi/1. + The success typing is a:vi(integer()) -> 'ok' + But the spec is a:vi(b:integer()) -> 'ok' + They do not overlap in the 1st argument |