blob: 87cd97bd85defd12e89208af3641aab227197958 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
%%-------------------------------------------------------------------
%% File : record_send_test.erl
%% Author : Kostis Sagonas <[email protected]>
%% Description : A test inspired by a post of Mkcael Remond to the
%% Erlang mailing list suggesting thst Dialyzer should
%% be reporting sends to records rather than to pids.
%% Dialyzer v1.3.0 indeed reports one of the dicrepancies
%% (the one with the 4-tuple) but not the one where the
%% message is sent to a pair which is a record.
%% This should be fixed.
%%
%% Created : 10 Apr 2005 by Kostis Sagonas <[email protected]>
%%-------------------------------------------------------------------
-module(record_send_test).
-export([t/0]).
-record(rec1, {a=a, b=b, c=c}).
-record(rec2, {a}).
t() ->
t(#rec1{}).
t(Rec1 = #rec1{b=B}) ->
Rec2 = some_mod:some_function(),
if
is_record(Rec2, rec2) ->
Rec2 ! hello; %% currently this one is not found
true ->
Rec1 ! hello_again
end,
B.
|