Fix wrong spec for ets:new/2 in HiPE/dialyzer

Jesper Louis Andersen jesper.louis.andersen@REDACTED
Thu Dec 16 04:03:14 CET 2010


Hi,

The HiPE dialyzer forgot to add some cases for the new Tweak options
like 'compressed' so it reports errors in lines using them. Any caller
using, e.g.,

ets:new(foo, [{read_concurrency, true}, compressed]),

will be a non-returning function to the dialyzer because neither of
the Option values are in its success typing hardcoding in
erl_bif_types.erl. To fix it, please fetch

git fetch git://github.com/jlouis/otp.git fix-hipe-spec-ets-new

As this is my first patch, please get back to me if anything is
inadequate. I have attempted to follow the guide, but may have
overlooked something in the process. The code survives a compile, but
I have not run the release tests on it.

-- 
J.


More information about the erlang-patches mailing list