diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-10-14 11:15:36 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-10-14 11:15:36 +0200 |
| commit | 6b948dd81c95296eacdf6f5976e5efbd42b390fc (patch) | |
| tree | ac1f37be8b41e817ad13096d780550482610a328 /lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl | |
| parent | 7cace7cbea51f57018bb1db489678f4a2128253c (diff) | |
| parent | 4db36c5ac1ade665fdf3ddfc1c5782fdf40ef0dc (diff) | |
| download | otp-6b948dd81c95296eacdf6f5976e5efbd42b390fc.tar.gz otp-6b948dd81c95296eacdf6f5976e5efbd42b390fc.tar.bz2 otp-6b948dd81c95296eacdf6f5976e5efbd42b390fc.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl b/lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl index 1743d81493..6d2a35b7c8 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/maybe_improper.erl @@ -1,7 +1,18 @@ +%%%======================================================================== +%%% Tests handling of maybe improper lists +%%%======================================================================== -module(maybe_improper). --export([s/1]). +-export([s/1, t/0]). -spec s(maybe_improper_list(X,Y)) -> {[X], maybe_improper_list(X,Y)}. -s(A) -> - lists:split(2,A). +s(L) -> + lists:split(2, L). + +%% Having a remote type in the 'tail' of the list crashed dialyzer. +%% The problem was fixed for R16B03. +-type t_mil() :: maybe_improper_list(integer(), orddict:orddict()). + +-spec t() -> t_mil(). +t() -> + [42 | []]. |