dialyzer and ets:select

Samuel Rivas samuel@REDACTED
Wed Mar 22 15:10:50 CET 2006


Kostis Sagonas wrote:
>  >
>  > Seems that dialyzer makes a wrong typing for ets:select. I wrote a
>  > little module to check it:
>  > 
>  > -module(ets_fail).
>  > -export([foo/1]).
>  > 
>  > foo(Table) ->
>  >    Tuples = ets:select(Table, [{{'_', '$1', '$2'}, [], ['$$']}]),
>  >    [list_to_tuple(Tuple) || Tuple <- Tuples].
> 
> Thanks for the report.  I will refrain from commenting on the
> choice of names for variables in your program -- this is not
> what confused Dialyzer, but it surely confused me...

  Certainly Tuple/s are not the best names for them

-- 
	Samuel



More information about the erlang-questions mailing list