After many years of spending time understanding #dialyzer warnings for #erlang, I believe I could finally name what they're missing: #context!
(see below)
-
-
Instead of "#: Function the_fun/3 will never be called", I would like to see "#: Function the_fun/3 will never be called, since it's only invoked at ## but that code can't be evaluated because at ## there is a function call that will always raise an error"
1 reply 0 retweets 1 likeShow this thread -
Or instead of "#: Function the_fun/3 will never be called"… "#: Function the_fun/3 will never be called, since it's used at ## in a case branch that will never be used, because it's clause head can never match"
1 reply 0 retweets 1 likeShow this thread -
Or instead of "#: Function the_fun/3 will never be called"… "#: Function the_fun/3 will never be called, since it's used at ## but its result (a some_type/0) is later used at ## where a other_type/0 is expected"
1 reply 0 retweets 1 likeShow this thread -
Replying to @elbrujohalcon
sounds a bit like what the rust compiler doespic.twitter.com/Zx30DFH4hF
1 reply 0 retweets 2 likes
We took a lot of inspiration from @elmlang here :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.