[erlang-questions] How handle Error in Dialyzer

Kostis Sagonas kostis@REDACTED
Mon Oct 9 10:57:27 CEST 2017

On 10/09/2017 10:24 AM, Lutz Behnke wrote:
> Hi there,
> I am experiencing a bug in Dialyzer (see log trace below), I have 
> checked https://github.com/erlang/otp/wiki/Bug-reports, which tells me, 
> I should prepare a minimal programm to show the error. Unfortunately I 
> see the error only on a fairly large package. I have no idea how to 
> start trimming my code without changing/removing the cause of the bug.
> Could anybody give me some ideas what is causing the error, so that I 
> can trimm only the blubber and not the meat?

As it's pretty clear from the line below, the crash happens when 
analyzing one of these 33 modules:

> ===> Analyzing 33 files with 
> "/sage/LoadBalancingServer/_build/test/rebar3_20.1.1_plt"...

It's not a very small number, but it's not a very big one either.  I 
would start with "some educated guess" on a subset of them.

Also, the lines below refer to a file "dim_3_tree_map.erl", which is 
most likely involved in the problem (if not the culprit) and to a module 
that is supposed to contain -- if not actually contains -- callbacks.

So, I think you have a starting point.

Hope this helps,


> =ERROR REPORT==== 9-Oct-2017::07:34:49 ===
> Error in process <0.25464.0> with exit value:
> {{nocatch,{error,["dim_3_tree_map.erl",58,"14",58,32,
> [73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,116,
>                     105,111,110,32,111,102,32,35,"dim_3_map",123,"map",125,
>                     10]]}},
> ===> Error in dialyzing apps: Analysis failed with error:
> {function_clause,
>      [{dialyzer_codeserver,get_callbacks,
>           [{{nocatch,
>                 {error,
>                     ["dim_3_tree_map.erl",58,"14",58,32,
> [73,108,108,101,103,97,108,32,100,101,99,108,97,114,97,

More information about the erlang-questions mailing list