search

aronisstav / otp

Erlang/OTP
http://erlang.org
3 stars 1 forks source link

Cleanup code that handles Dialyzer's options #4

Closed aronisstav closed 8 years ago

aronisstav commented 13 years ago

Currently terms that are semantically tied to Dialyzer's options are stored in many different states and forms and passed around as arguments from one phase of the analysis to the other.

Refactor code so that a separate 'options server' can handle all queries about enabled options.