diff options
author | Björn Gustavsson <[email protected]> | 2010-11-22 12:23:46 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2010-11-22 12:23:46 +0100 |
commit | 8e18176bd4c02ffca4b0c5cba1f4b5425a588458 (patch) | |
tree | e969972a893975fb6d418da39a46a9141c7ff578 /lib/dialyzer/src/dialyzer.erl | |
parent | 29b572dbd1546796a0a94066548edfa3da6b4b9d (diff) | |
parent | 5c1dd79d08e8725b408d11b17ceb99e80ec7cddb (diff) | |
download | otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.tar.gz otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.tar.bz2 otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.zip |
Merge branch 'ks/dialyzer-fixes' into dev
* ks/dialyzer-fixes:
dialyzer: Speed up analysis of nested list comprehensions
Diffstat (limited to 'lib/dialyzer/src/dialyzer.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer.erl | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index d8fd073ca6..895089846a 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -225,6 +225,8 @@ plt_info(Plt) -> %% Machinery %%----------- +-type doit_ret() :: {'ok', dial_ret()} | {'error', string()}. + doit(F) -> try {ok, F()} @@ -233,13 +235,17 @@ doit(F) -> {error, lists:flatten(Msg)} end. +-spec cl_error(string()) -> no_return(). + cl_error(Msg) -> cl_halt({error, Msg}, #options{}). +-spec gui_halt(doit_ret(), #options{}) -> no_return(). + gui_halt(R, Opts) -> cl_halt(R, Opts#options{report_mode = quiet}). --spec cl_halt({'ok',dial_ret()} | {'error',string()}, #options{}) -> no_return(). +-spec cl_halt(doit_ret(), #options{}) -> no_return(). cl_halt({ok, R = ?RET_NOTHING_SUSPICIOUS}, #options{report_mode = quiet}) -> halt(R); |