dialyzer and non-proper lists

Ulf Wiger (AL/EAB) <>
Fri Sep 16 11:25:36 CEST 2005

It's been argued that non-proper lists can always be 
avoided at minimal expense.

How about this example:

20> [ets:insert(T, {"foo-" ++ integer_to_list(N)}) || N <- lists:seq(1,10)].
21> ets:select(T, [{{"foo" ++ '_'},[],['$_']}]).

Never mind the ++. It expands before the select() call into
[$f, $o, $o | '_'], which is still a non-proper list, and the way
you're supposed to do it in ets:match() and ets:select()


More information about the erlang-questions mailing list