[erlang-questions] Element Typing in Record Declarations?

[David Mercer]

Are there any plans to add bitstrings as a type?  Currently, these have to
be defined as any(), since binary() implies that bit_size is a multiple of
8.

> -----Original Message-----
> From: erlang-questions-bounces@REDACTED [mailto:erlang-questions-
> bounces@REDACTED] On Behalf Of Kostis Sagonas
> Sent: Tuesday, February 24, 2009 9:33 AM
> To: erlang-questions@REDACTED
> Subject: Re: [erlang-questions] Element Typing in Record Declarations?
> 
> 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
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-questions