aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/refine_bug1.erl
blob: 1b299e782a344b64a53fae4f4c32eaffcbd5d554 (plain) (tree)
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.