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

[Richard O'Keefe]

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.