[erlang-questions] void() in type specs

Tim Watson watson.timothy@REDACTED
Fri Nov 18 16:01:06 CET 2011

On 18 November 2011 13:25, Olivier BOUDEVILLE <olivier.boudeville@REDACTED>wrote:

> Hi,
> How can we define a type spec for a function which is useful only for its
> side effects (not returning anything of interest to the caller)?
IIRC there is a `no_return()' type that you can use for this. Check the
docs (or source code) though, as that's off the top of my head.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20111118/80f599de/attachment.htm>

More information about the erlang-questions mailing list