search

mochi / statebox

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Other
253 stars 20 forks source link

Dialyzer error (issue #4) #5

Closed DeadZen closed 10 years ago

DeadZen commented 10 years ago

This issue still exists with v0.2.3 erlang R15B0[23] I think the variable argument fun return on line 28 makes it choke. Maybe fun(term(), term()) | fun(term(), term(), term()) instead of fun(...) ?

: ~/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"}] Last messages in the log cache: Reading files and computing callgraph...

etrepum commented 10 years ago

I don't have an R15B installation around, can you send a PR that works and I'll verify that it doesn't regress on R16B?

DeadZen commented 10 years ago

Sure thing, Bob