[erlang-questions] Types and specs [WAS: [enhancement] string:split/2]

Richard O'Keefe ok@REDACTED
Mon Oct 13 04:48:15 CEST 2008

On 11 Oct 2008, at 12:33 am, Kostis Sagonas wrote that
[[char(),...]] means list of non-empty strings, which
is more precise than [string()].

Would [char()|string()] also work?

> On the other hand, I can see how this may look a bit strange to some  
> and have for a long time now pondered whether a non_empty_string()  
> type alias might be added to the list of built-in types.

It would certainly make some types easier to read.

More information about the erlang-questions mailing list