blob: 1e9c8ab6b9b6480616dbbb065a1bf2bc4dd61464 (
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
|
-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() ->
c(#r{f = $z - 3}),
c($z - 3),
c($B).
-spec c(cs()) -> $3-$0..$9-$0.
c($A + 1) -> 2;
c(C) ->
case C of
$z - 3 -> 3;
#r{f = $z - 3} -> 7
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
|
