[erlang-questions] Element Typing in Record Declarations?

Kostis Sagonas <>
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 mailing list