[erlang-questions] Element Typing in Record Declarations?

[Kostis Sagonas]

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:

	http://www.erlang.org/eeps/eep-0008.html

This type information is used by Dialyzer to detect discrepancies 
between the declared types of record fields and their actual uses.

Kostis