Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
dialyze this!
module(test).
-export([get_data/1]).
get_data([T|Rest]) ->
case T of
test ->
do_error([T|Rest]);
_Else ->
do_error([])
end.
do_error([_H|_T]) ->
go;
do_error([]) ->
error(no_go).
test.erl:10: The call test:do_error([]) will never return since it differs in the 1st argument from the success typing arguments: (nonempty_maybe_improper_list())
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.