edts-dialyzer-analyze, difficulties and odd error messages

[iambumblehead]

edts-dialyzer-analyze, difficulties and odd error messages

I am unable to successfully use edts' dialyzer functions. I've started using dialyzer with the edtsredunderline project https://github.com/iambumblehead/edtsredunderline.

currently, I see this result:

error in process filter: edts-dialyzer-handle-analysis-result: Wrong type argument: listp, "{dialyzer_error,[78,111,116,32,97,32,114,101,103,117,108,97,114,32,102,105,
                 108,101,58,32,
                 \"/home/duko/Software/edtsredunderline/src/edtsredunderline.beam\",
                 10]}"
error in process filter: Wrong type argument: listp, "{dialyzer_error,[78,111,116,32,97,32,114,101,103,117,108,97,114,32,102,105,
                 108,101,58,32,
                 \"/home/duko/Software/edtsredunderline/src/edtsredunderline.beam\",
                 10]}"

[tjarvstrand]

That sounds like a bug in the elisp code, I think I almost have a fix ready. I realize from your post however that the documentation is probably not clear enough on what the PLT project attribute is for.

It is an absolute path and not meant to be used for the project's own PLT file (EDTS creates that automatically) but for a PLT file that will be used as the PLT base. Ordinarily the base PLT file will be stored in a "global" (ie. not project-specific) location and contain the information about the base OTP libraries you're using. A typical value if you're working with more than one version of OTP might be "/home/my.user/r16B03.plt"

[iambumblehead]

When the fix is ready I'll give this another shot. Do you think this would be a good way to generate a base plt file?

$ dialyzer --build_plt --output_plt base.plt \
        --apps erts kernel stdlib sasl inets crypto public_key ssl

[tjarvstrand]

Sorry, I forgot to reply here, but the fix should be in.

[iambumblehead]

I see this when I run edts-dialyzer-analyze

EDTS [error]: Error in plugin call: "Not a regular file: /home/duko/Software/edtsredunderline/src/edtsredunderline.beam\n"

[sebastiw]

please reopen if still an issue