search

TonyGen / mongodb-erlang

Fork of MongoDB driver for Erlang. mongodb now holds the master repository for this driver.
65 stars 16 forks source link

Dialyzer won't work #14

Open si14 opened 12 years ago

si14 commented 12 years ago

There are at least 2 problems:

rvirding commented 12 years ago

There was a discussion on the first point recently on the mailing and bugs list. I don't agree with how dialyzer does it.

si14 commented 12 years ago

@rvirding did that discussion ended up to something? Dialyzer is a great tool, but there are 2 things that killed all my attempts to verify somewhat large project: the one that is mentioned in this issue and the fact that Dialyzer can't handle polymorphic opaque types.

rvirding commented 12 years ago

Not really any more than the replies I got in the mailing-list. They said that just having variables like I did meant that they were type variables and type variables shouldn't be singletons. Why they allow them as singletons if they start with '_' I don't know. I will probably revert to having my "spec" in the comments the information I need is the variable name, dialyzer doesn't need the specs and I don't like cluttering up my code with unnecessary data.

This is not the main-stream view. :-)

Robert

On 23 February 2012 12:17, Dmitry Groshev reply@reply.github.com wrote:

@rvirding did that discussion ended up to something? Dialyzer is a great tool, but there are 2 things that killed all my attempts to verify somewhat large project: the one that is mentioned in this issue and the fact that Dialyzer can't handle polymorphic opaque types.

Reply to this email directly or view it on GitHub: https://github.com/TonyGen/mongodb-erlang/issues/14#issuecomment-4134580