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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
-module(dialyzer_utils_SUITE).
-export([all/0,
p_map_implements_map/1,
p_map_handles_errors_like_map_does/1,
p_map_preserves_ordering/1
]).
all() ->
[p_map_implements_map,
p_map_handles_errors_like_map_does,
p_map_preserves_ordering
].
p_map_implements_map(_Config) ->
Fun = fun (N) -> N + 2 end,
List = [2,1,3,2],
Expected = lists:map(Fun, List),
Expected = dialyzer_utils:p_map(Fun, List).
p_map_handles_errors_like_map_does(_Config) ->
Fun = fun (3) -> throw("an error"); (N) -> N + 2 end,
List = [2,1,3,2],
ListsOk =
try
lists:map(Fun, List),
false
catch _:_ ->
true
end,
case ListsOk of
true -> ok;
false -> ct:fail("Expected lists:map/2 to throw")
end,
UtilsOk =
try
dialyzer_utils:p_map(Fun, List),
false
catch _:_ ->
true
end,
case UtilsOk of
true -> ok;
false -> ct:fail("Expected dialyzer_utils:p_map/2 to throw")
end.
p_map_preserves_ordering(_Config) ->
Fun = fun (N) -> timer:sleep(N * 50), N + 2 end,
List = [2,1,3,2,1,5,2,1,3,2,9,4,2,1,3,2,5,4],
Expected = lists:map(Fun, List),
Expected = dialyzer_utils:p_map(Fun, List).
|
