[erlang-questions] void() in type specs

Tim Watson <>
Fri Nov 18 16:01:06 CET 2011


On 18 November 2011 13:25, Olivier BOUDEVILLE <>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.html>


More information about the erlang-questions mailing list