Bugs in Erlang code -- a common one?

[Luke Gorrie]

Kostis Sagonas <kostis@REDACTED> writes:

> Some of the bugs in Erlang code that we have discovered using the
> new type inference (albeit currently the hard way) are really
> subtle and extend beyond simple type clashes.

Interestingly the fishy thing that I see could also not be detected
without false positives in Lisp. Functionalness pays off yet again!