Skip to content

Instantly share code, notes, and snippets.

@garazdawi

garazdawi/gist:1037856

Created June 21, 2011 13:36
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save garazdawi/1037856 to your computer and use it in GitHub Desktop.
Save garazdawi/1037856 to your computer and use it in GitHub Desktop.
Download ZIP
dialyze this!
Raw
gistfile1.hrl
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