[erlang-questions] Dialyzer and List Type
Tue Apr 19 08:50:33 CEST 2016
Hi list, I am new to erlang and dialyzer. I have encounter a problem when I
tried to fiddle with type specifications.
Say, I have two functions:
Then apply dialyzer to this module and dialyzer warns:
t.erl:8: Invalid type specification for function t:bar/1. The success
typing is ([integer()]) -> [integer()]
But if I change the specification of bar to:
dialyzer will show no warnings. My intention is to make sure the argument
of bar is the same type of list as the argument of foo.
Is this normal? Do I miss or misunderstand something about success typing
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions