lib/dialyzer/test/small_SUITE_data/src/refine_bug1.erl


1
2
3
4
5
6
7
8
9
10
11

-module(refine_bug1).
-export([f/1]).

f(gazonk = X) ->
  foo(X),        % this call is currently not considered when refining foo's
  throw(error);  % type since it appears in a clause that throws an exception
f(foo = X) ->
  foo(X).

foo(X) ->
  X.