[erlang-bugs] binary:part/3

Michael Truog <>
Sat Feb 16 06:25:04 CET 2013

There is a problem with the binary:part type spec used by dialyzer (the function is a BIF), such that it thinks the Length is pos_integer() instead of integer().  A similar problem exists within the documentation here (with the Length type):

More information about the erlang-bugs mailing list