[erlang-questions] lists:unzip breaks dialyzer.

Adam Kelly <>
Tue Jun 17 14:24:09 CEST 2008


I've just run into a weird problem with dialyzer.   A module (see
below) containing a call to lists:unzip with a list of more
than a single tuple as an argument seems to crash dialyzer.   Am I
doing something wrong?


$ cat test_dia.erl

u() ->
	lists:unzip([{a, 1}, {b, 2}]).
$ erlc +debug_info test_dia.erl
$ dialyzer -c test_dia.beam
  Checking whether the initial PLT exists and is up-to-date... yes
  Proceeding with analysis...
=ERROR REPORT==== 17-Jun-2008::13:04:56 ===
Error in process <0.29.0> with exit value:

Analysis failed with error report:
dialyzer: Internal problems were encountered in the analysis.
$ dialyzer --version
Dialyzer version v1.7.0

More information about the erlang-questions mailing list