Background While playing around with dialyzer, typespecs and currying, I was able to create an example of a false positive in dialyzer. For the purposes of this MWE , I am using diallyxir (versions included) because it makes my life easier. The author of dialyxir confirmed this was not a problem on…

Answer As far as I can understand, Dialyzer wont perform checks on input and output types of returned anonymous functions. The following example, much like mine, is incorrect, but the tool won’t complain: # no error @spec add(integer()) :: (String.t() -> String.t()) def add(x) do fn y -> x + y e…

Devtalk

Dialyzer does not catch errors on returned functions

Backend Developer Forum Backend Questions/Help

bot 16 February 2022 09:04 2

Corresponding tweet for this thread:

Share link for this tweet.

1 Like