blob: 94759b75966ad64c6cd4e5fb5adea3440fdb68f3 (
plain)
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
|
-module(nowarn_function).
-export([a/1, b/1, c/0, d/0]).
-dialyzer({nowarn_function, a/1}).
-spec a(_) -> integer().
a(_) ->
A = fun(_) ->
B = fun(_) ->
x = 7
end,
B = 1
end,
A.
-dialyzer({nowarn_function, b/1}).
-spec b(_) -> integer().
b(_) ->
A = fun(_) ->
1
end,
A = 2.
-record(r, {a = a :: integer()}).
-dialyzer({nowarn_function, c/0}).
c() ->
#r{}.
-dialyzer({nowarn_function, d/0}).
d() ->
nonexistent:foo().
|
