diff options
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/schuett_bug.erl | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/schuett_bug.erl b/lib/dialyzer/test/opaque_SUITE_data/src/schuett_bug.erl new file mode 100644 index 0000000000..00c1aa57bf --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/src/schuett_bug.erl @@ -0,0 +1,28 @@ +%%--------------------------------------------------------------------------- +%% From: Thorsten Schuett <[email protected]> +%% Date: 7 July 2010 +%% +%% When I run dialyzer of R14A on the attached code, it complains about +%% the new_neighborhood/1 function: +%% nodelist.erl:12: Invalid type specification for function +%% nodelist:new_neighborhood/1. The success typing is (_) -> {[any(),...]} +%% +%% However, when I change the type nodelist() from opaque to non-opaque +%% (see comment), dialyzer accepts the code. The types seem to be correct. +%% The problem seems to be with nested opaque types. +%%--------------------------------------------------------------------------- + +-module(schuett_bug). + +-export([new_neighborhood/1]). + +-export_type([nodelist/0, neighborhood/0]). + +-type node_type() :: 'node_type'. + +-opaque nodelist() :: [node_type(),...]. % change to -type +-opaque neighborhood() :: {nodelist()}. + +-spec new_neighborhood(Node::node_type()) -> neighborhood(). +new_neighborhood(Node) -> + {[Node]}. |