[erlang-questions] void() in type specs

[Tim Watson]

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>