[erlang-questions] Element Typing in Record Declarations?
Tue Feb 24 16:32:35 CET 2009
David Mercer wrote:
> I just noticed in dict.erl:
> It appears that Erlang supports type declarations in record
> declarations, but I could not find this syntax in the Erlang reference
> documentation. Is there any documentation on this, and what effect it
> has on the system?
The documentation on this is currently an EEP:
This type information is used by Dialyzer to detect discrepancies
between the declared types of record fields and their actual uses.
More information about the erlang-questions