blob: efd3332b440d3a0efcc867a9cedbd59dfbfef035 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
%%-----------------------------------------------------------------------
%% A test where the contract is wrongly specified by the programmer;
%% however, this is found only by refinement.
%% Dialyzer in R14B01 and prior gave a confusing (if not bogus) warning
%% for this case. Corrected in R14B02.
%%-----------------------------------------------------------------------
-module(blame_contract_range).
-export([foo/0]).
foo() ->
bar(b).
-spec bar(atom()) -> a.
bar(a) -> a;
bar(b) -> b.
|
