diff options
author | Kostis Sagonas <kostis@it.uu.se> | 2014-01-31 12:05:59 +0200 |
---|---|---|
committer | Kostis Sagonas <kostis@it.uu.se> | 2014-01-31 12:05:59 +0200 |
commit | f2e972853268e847cfb28eed4193c0bb699e9718 (patch) | |
tree | 1ec070f14a2c273b2e0605578fa5103596e24787 | |
parent | fdcdaca338849d7f63d4300e489318f6ee275d82 (diff) | |
download | otp-f2e972853268e847cfb28eed4193c0bb699e9718.tar.gz otp-f2e972853268e847cfb28eed4193c0bb699e9718.tar.bz2 otp-f2e972853268e847cfb28eed4193c0bb699e9718.zip |
Add a spec for a function that does not return
-rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 33fa107019..03f9684b02 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2302,6 +2302,9 @@ bind_guard_list([], Map, _Env, _Eval, _State, Acc) -> signal_guard_fail(Eval, Guard, ArgTypes, State) -> signal_guard_failure(Eval, Guard, ArgTypes, fail, State). +-spec signal_guard_fatal_fail(eval(), cerl:c_call(), [erl_types:erl_type()], + state()) -> no_return(). + signal_guard_fatal_fail(Eval, Guard, ArgTypes, State) -> signal_guard_failure(Eval, Guard, ArgTypes, fatal_fail, State). |