I have added type information for all BIFs that didn't have them (except for BIFs in the hipe_bifs module). I have also strengthened the test case to detect some more common mistakes. git fetch git://github.com/bjorng/otp.git bg/bif-types -- Björn Gustavsson, Erlang/OTP, Ericsson AB