blob: abd70337125cfcf56e259fedf3080c66da73055a (
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(literals).
%% Bad records inside structures used to be ignored. The reason:
%% v3_core:unfold() does not annotate the parts of a literal.
%% This example does not work perfectly yet, in particular Maps.
-export([t1/0, t2/0, t3/0, t4/0, m1/1, m2/1, m3/1, m4/1]).
-record(r, {id :: integer}).
t1() ->
#r{id = a}. % violation
t2() ->
[#r{id = a}]. % violation
t3() ->
{#r{id = a}}. % violation
t4() ->
#{a => #r{id = a}}. % violation found, but t4() returns... (bug)
m1(#r{id = a}) -> % violation
ok.
m2([#r{id = a}]) -> % violation
ok.
m3({#r{id = a}}) -> % can never match; not so good
ok.
m4(#{a := #r{id = a}}) -> % violation not found
ok.
|
