Type Error when adding to plt file

Question

Type Error when adding to plt file

zkessin opened this issue 11 years ago · 5 comments

This is with version 1.2.2

Could not scan the following file(s): [{"/Users/zkessin/Documents/ProductStructure/WebAPI/deps/statebox/ebin/statebox.beam",
" Error while parsing #statebox{}: Unable to find type 'fun'\n\n"}]

Last messages in the log cache:

Answer 1 · 2013-09-15T11:19:37.000Z

What are the steps to reproduce this issue in isolation?

Answer 2 · 2013-09-15T17:56:40.000Z

I pulled it from github, and compiled it then ran this:

dialyzer --add_to_plt deps/statebox/ebin --plt plt/api.plt 
  Adding information to plt/api.plt...
dialyzer: Analysis failed with error:
Could not scan the following file(s): [{"/Users/zkessin/Documents/ProductStructure/WebAPI/deps/statebox/ebin/statebox.beam",
                                        "  Error while parsing #statebox{}: Unable to find type 'fun'\n\n"}]
Last messages in the log cache:
  Reading files and computing callgraph...

Answer 3 · 2013-09-15T18:39:43.000Z

Which version of Erlang?

Answer 4 · 2013-09-15T20:03:29.000Z

After the above commit, I can not reproduce this issue on R16B01. I have tagged v0.2.3 with it.

Answer 5 · 2013-10-24T17:28:58.000Z

v0.2.3 on R15B03 the problem still exists...

:~/erlang/statebox $ dialyzer --build_plt --output_plt combo.plt -r .
Compiling some key modules to native code... done in 0m24.82s
Creating PLT combo.plt ...
dialyzer: Analysis failed with error:
Could not scan the following file(s): [{"/Users/.../erlang/statebox/ebin/statebox.beam",
" Error while parsing #statebox{}: Unable to find type 'fun'\n\n"}]