Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Type Error when adding to plt file #4

Closed
zkessin opened this issue Sep 15, 2013 · 5 comments
Closed

Type Error when adding to plt file #4

zkessin opened this issue Sep 15, 2013 · 5 comments

Comments

@zkessin
Copy link

zkessin commented Sep 15, 2013

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:

@etrepum
Copy link
Member

etrepum commented Sep 15, 2013

What are the steps to reproduce this issue in isolation?

@zkessin
Copy link
Author

zkessin commented Sep 15, 2013

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... 

@etrepum
Copy link
Member

etrepum commented Sep 15, 2013

Which version of Erlang?

etrepum added a commit that referenced this issue Sep 15, 2013
@etrepum
Copy link
Member

etrepum commented Sep 15, 2013

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

@etrepum etrepum closed this as completed Sep 15, 2013
@DeadZen
Copy link
Contributor

DeadZen commented Oct 24, 2013

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"}]

DeadZen added a commit to DeadZen/statebox that referenced this issue Oct 24, 2013
etrepum added a commit that referenced this issue Oct 24, 2013
Fix Issue #4, #5 - Error while parsing #statebox{}: Unable to find type ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants