[erlang-questions] Intel Quad CPUs

[Serge Aleynikov]

Kostis Sagonas wrote:
> To give you an idea, in edoc you currently write something of the form:
> 
> %% @spec (integer(), float()) -> atom()
> 
> to describe the types of a function foo.  In the new language you would 
> write (or preferably change the above edoc comment to be):
> 
> -spec(foo/2 :: ((integer(), float()) -> atom())).
> 

Would there be a way to specify concrete values (such as atoms 'ok' and 
'error' shown below) rather than types, similar to edoc style?

@spec () -> {ok, integer()} | {error, string()}

Serge