[erlang-questions] Fun type specifications

Francesco Mazzoli f@REDACTED
Mon Sep 17 13:43:47 CEST 2012

At Mon, 17 Sep 2012 13:33:38 +0200,
Loïc Hoguin wrote:
> This doesn't show the relationship between the input and output

It definitely shows that the return type and the argument's type are the same.

> and I get many warnings in one case if I do that (probably due to req() being
> an opaque type).

That is weird, which warnings?  Do you mean when type checking your code or for
the declaration?  I would expect the two declaration to be equivalent, but maybe
there are subtleties.

Francesco * Often in error, never in doubt

More information about the erlang-questions mailing list