diff options
author | Hans Bolinder <[email protected]> | 2016-02-03 14:44:16 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-02-17 09:17:32 +0100 |
commit | 03e5309b312bd1c714a3874eba1384bf5b4feff5 (patch) | |
tree | fe67f7c8a61f0c77118574b079d3929249809006 /lib/stdlib/src/dets_utils.erl | |
parent | 811d6f7c9d9f86a388b8ba555b42934b9ed1c180 (diff) | |
download | otp-03e5309b312bd1c714a3874eba1384bf5b4feff5.tar.gz otp-03e5309b312bd1c714a3874eba1384bf5b4feff5.tar.bz2 otp-03e5309b312bd1c714a3874eba1384bf5b4feff5.zip |
stdlib: Add suppression of Dialyzer warnings
Diffstat (limited to 'lib/stdlib/src/dets_utils.erl')
-rw-r--r-- | lib/stdlib/src/dets_utils.erl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/stdlib/src/dets_utils.erl b/lib/stdlib/src/dets_utils.erl index 196158cd48..34a8ddddaa 100644 --- a/lib/stdlib/src/dets_utils.erl +++ b/lib/stdlib/src/dets_utils.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2001-2013. All Rights Reserved. +%% Copyright Ericsson AB 2001-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -747,6 +747,8 @@ all_allocated([{X,Y} | L], _X0, Y0, A) when Y0 < X -> all_allocated_as_list(Head) -> all_allocated_as_list(all(get_freelists(Head)), 0, Head#head.base, []). +-dialyzer({no_improper_lists, all_allocated_as_list/4}). + all_allocated_as_list([], _X0, _Y0, []) -> []; all_allocated_as_list([], _X0, _Y0, A) -> |