[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:

	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



More information about the erlang-questions mailing list