The list case of '#get-REC'/2 set to type '#get-REC'([any()],_) -> [any()].

This commit is contained in:
Roland Karlsson 2014-03-19 14:47:13 +01:00
parent 01ee39582b
commit 3ef25f1355

View File

@ -979,7 +979,7 @@ f_get_2(R, Flds, L, Acc) ->
[{[t_atom(L, A), t_record(L, R)], T} [{[t_atom(L, A), t_record(L, R)], T}
|| {A, T} <- Types] || {A, T} <- Types]
++ [{[t_list(L, [t_attr(L, R, Acc)]), t_record(L, R)], ++ [{[t_list(L, [t_attr(L, R, Acc)]), t_record(L, R)],
t_list(L, [t_union(L, [Ts || {_, Ts} <- Types])])}] t_list(L, [t_any(L)])}]
), ),
{function, L, FName, 2, {function, L, FName, 2,
[{clause, L, [{var, L, 'Attrs'}, {var, L, 'R'}], [{clause, L, [{var, L, 'Attrs'}, {var, L, 'R'}],