1
%%-------------------------------------------------------------------
2
%% File : record_send_test.erl
3
%% Author : Kostis Sagonas <kostis@it.uu.se>
4
%% Description : A test inspired by a post of Mkcael Remond to the
5
%% Erlang mailing list suggesting thst Dialyzer should
6
%% be reporting sends to records rather than to pids.
7
%% Dialyzer v1.3.0 indeed reports one of the dicrepancies
8
%% (the one with the 4-tuple) but not the one where the
9
%% message is sent to a pair which is a record.
10
%% This should be fixed.
12
%% Created : 10 Apr 2005 by Kostis Sagonas <kostis@it.uu.se>
13
%%-------------------------------------------------------------------
14
-module(record_send_test).
18
-record(rec1, {a=a, b=b, c=c}).
24
t(Rec1 = #rec1{b=B}) ->
25
Rec2 = some_mod:some_function(),
27
is_record(Rec2, rec2) ->
28
Rec2 ! hello; %% currently this one is not found