search

aronisstav / otp

Erlang/OTP
http://erlang.org
3 stars 1 forks source link

Opaque hanging #3

Closed aronisstav closed 8 years ago

aronisstav commented 12 years ago

Following code makes Dialyzer hang.

-module(opaque_hang).

-compile(export_all).

-record(property, {name, value}).
-opaque property() :: #property{}.

-record(collection, {id, values :: [#property{}]}).

as_proplist(#collection{values = Values}) ->
    [{Name, Value} || #property{name = Name, value = Value} <- Values].