Wrong type spec for '#is_record-'/1,2 funs generated by exprecs

[ddosia]

Generated spec for '#is_record'/1 is looks like:

-spec '#is_record-'(#doc{}) -> true;
                   (#author{}) -> true;
                   (any()) -> false.

This from dialyzers perspective look like:

Overloaded contract has overlapping domains; such contracts are currently unsupported and are simply ignored

Seems that any() type in last clause overlaps previous clauses. Same for '#is_record-'/2.

[ddosia]

If rewrite spec like this then warning is disappears:

-spec '#is_record-'(#doc{} | #author{} | any()) -> boolean().

But not quite sure that this is make sense.

If you suggest any acceptable solution I would love to send you fix.

[ddosia]

Forget to mention, erlang R15B02

[ddosia]

Seems that I am looking into wrong repo, this was fixed in esl's repo:
esl@fb08d7e

[uwiger]

Reminds me that the repos had gotten out of sync. Will try to address that. Thanks.

[ddosia]

What confused me that on esl's page it is written that originally that was forked from here, that is why I took this repo as a main.