Skip to content

Instantly share code, notes, and snippets.

@jesperes

jesperes/dialyzer1_output.txt

Created November 8, 2021 09:42
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 jesperes/4a48b0052f13a8323a6c5ad4c3d6d9ef to your computer and use it in GitHub Desktop.
Save jesperes/4a48b0052f13a8323a6c5ad4c3d6d9ef to your computer and use it in GitHub Desktop.
Download ZIP
dialyzer blog post example output 1
Raw
dialyzer1_output.txt
foo.erl:5:1: Function plus_one/1 has no local return
foo.erl:6:5: The call erlang:'+'
(X :: [103 | 105 | 110 | 114 | 115 | 116, ...],
1) will never return since it differs in the 1st argument from the success typing arguments:
(number(),
number())
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment