Type Error when adding to plt file

mochi / statebox

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

Other

253 stars 20 forks source link

Type Error when adding to plt file #4

Closed zkessin closed 11 years ago

zkessin commented 11 years ago

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 commented 11 years ago

What are the steps to reproduce this issue in isolation?

zkessin commented 11 years ago

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 commented 11 years ago

Which version of Erlang?

etrepum commented 11 years ago

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

DeadZen commented 11 years ago

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