From be579cbae4a9ab54ae0e56a8e729211c8e1db18f Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Fri, 9 May 2014 12:31:00 +0200 Subject: hipe: fix a bug concerning typed record fields MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit When checking typed record fields Dialyzer failed to handle types containing remote types. Thanks to Erik Søe Sørensen for reporting this bug. --- lib/dialyzer/test/small_SUITE_data/src/remote_field.erl | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/src/remote_field.erl (limited to 'lib/dialyzer/test/small_SUITE_data') diff --git a/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl b/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl new file mode 100644 index 0000000000..c34fa1b9dd --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl @@ -0,0 +1,11 @@ +-module(remote_field). + +-type f(T) :: {ssl:sslsocket(), T}. + +-record(r1, { f1 :: f(_) }). +-type r1(T) :: #r1{ f1 :: fun((ssl:sslsocket(), T) -> any()) }. + +-record(state, { + r :: r1(T), + arg :: T + }). -- cgit v1.2.3