blob: 62b90cf54d2099c30abe083e3dff6bf4e3ee2f1f (
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
34
35
36
37
38
39
40
|
-module(chars).
%% ERL-313
-export([t/0]).
-export([t1/0]).
-record(r, {f :: $A .. $Z}).
-type cs() :: $A..$Z | $a .. $z | $/.
-spec t() -> $0-$0..$9-$0| $?.
t() ->
r(#r{f = $z - 3}),
r(#r{f = 97}),
c($/),
c($z - 3),
c($B).
-spec c(cs()) -> $3-$0..$9-$0.
c($A + 1) -> $9-$0;
c(C) ->
case C of
$z - 3 -> $3-$0;
_ -> $7-$0
end.
-spec r(#r{f :: $a..$z}) -> ok | error.
r(R) ->
case R of
#r{f = $z - 3} -> error;
_ -> ok
end.
%% Display contract with character in warning:
-spec f(#{a := $1, b => $2, c => $3}) -> ok. % invalid type spec
f(_) -> ok.
t1() -> f(#{b => $2}). % breaks the contract
|
