diff options
| author | Hans Bolinder <[email protected]> | 2018-02-05 17:30:19 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-02-06 14:57:16 +0100 |
| commit | 57406f28602b0207879f08311c7e36629fb9c0bf (patch) | |
| tree | 9d8828dd8fe037354d830304f9cb42d2b9be4e77 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | b6d0807aebf676063ab522833ded99b2a7fb31c9 (diff) | |
| download | otp-57406f28602b0207879f08311c7e36629fb9c0bf.tar.gz otp-57406f28602b0207879f08311c7e36629fb9c0bf.tar.bz2 otp-57406f28602b0207879f08311c7e36629fb9c0bf.zip | |
dialyzer: Assign a type to the primop build_stacktrace
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 384912f983..32f58efc75 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -299,7 +299,7 @@ traverse(Tree, Map, State) -> match_fail -> t_none(); raise -> t_none(); bs_init_writable -> t_from_term(<<>>); - build_stacktrace -> t_list(); + build_stacktrace -> erl_bif_types:type(erlang, build_stacktrace, 0); Other -> erlang:error({'Unsupported primop', Other}) end, {State, Map, Type}; |