type specs and mnesia selects

Paul Mineiro paul-trapexit@REDACTED
Tue Jul 7 20:06:05 CEST 2009


i was being a good citizen and adding type specifications to my records.
this caused dialyzer to complain because in my mnesia:select/2,3,4 calls I
am binding a member of the record to a variable (which is an atom like
'$1') and this was violating the type spec.

are there any workarounds, other than augmenting or dropping the type

-- p

More information about the erlang-questions mailing list