diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl b/lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl new file mode 100644 index 0000000000..274906d554 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl @@ -0,0 +1,14 @@ +-module(a). +-export([vi/1, sum/2, vc/1]). + +-spec vi(b:integer()) -> 'ok'. +vi(I) when is_integer(I) -> + ok. + +-spec sum(b:integer(), integer()) -> integer(). +sum([A], B) -> + A + B. + +-spec vc(b:collection()) -> 'ok'. +vc({Int, List}) when length(List) =:= Int -> + ok. |