blob: 76ea3e76b55154a4e1c4a8592ff9a43cd8e876a1 (
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
33
|
-module(para5).
-export([d/0, dd/0, da1/0]).
d() ->
I1 = adt_d1(),
I2 = adt_d2(),
I1 =:= I2. % can never evaluate to true
dd() ->
I1 = adt_d1(),
I2 = adt_dd(),
I1 =/= I2. % incompatible opaque types
da1() ->
I1 = adt_da1(),
I2 = adt_da2(),
I1 =:= I2.
adt_d1() ->
para5_adt:d1().
adt_d2() ->
para5_adt:d2().
adt_dd() ->
para5_adt:dd().
adt_da1() ->
para5_adt:da1().
adt_da2() ->
para5_adt:da2().
|