R11B-0 dialyzer internal error
Roger Larsson
roger.larsson@REDACTED
Thu Jun 22 15:27:08 CEST 2006
Probably I use it in a completely wrong way...
(The unknoown functions did I also get during compilation)
SuSE Linux 10.1 (x86-64)
I am recompiling with relevant patches from threads
* "Dialyzer in R11B-0"
* "huge list matching -- different behaviour on x86_32 and x86_64"
/RogerL
> dialyzer --src
Checking whether the initial PLT exists and is up-to-date... no
Creating initial PLT (will take several minutes; please be patient)
Unknown functions: [{i,ipb,0},
{i,ini,1},
{i,ir,0},
{i,ii,1},
{crypto,des3_cbc_decrypt,5},
{i,iaa,2},
{i,ia,2},
{i,ic,0},
{i,ib,2},
{i,ir,2},
{yecc,file,2},
{i,ia,4},
{i,iv,0},
{crypto,start,0},
{i,ibd,2},
{i,ibe,2},
{int,eval,3},
{compile,forms,2},
{i,ia,1},
{i,inq,1},
{i,iaa,1},
{i,iq,1},
{i,ii,2},
{compile,file,2},
{i,ipb,1},
{i,ini,2},
{i,ir,1},
{yecc,file,1},
{i,il,0},
{i,iba,3},
{i,ia,3},
{i,ir,3},
{i,ist,1},
{xref,m,1},
{i,im,0},
{i,ib,3},
{i,ibc,3},
{i,ip,0},
{i,help,0},
{compile,output_generated,1}]
{badmatch,{error,
{file_error,"/usr/local/lib/erlang/lib/dialyzer-1.4.1/plt/dialyzer_init_plt",
eacces}}}
[{dialyzer_plt,to_dets,2},
{dialyzer_cl,return_value,1},
{dialyzer_cl_parse,doit,0},
{dialyzer_cl_parse,start,0},
{init,start_it,1},
{init,start_em,1}]
dialyzer: internal error
More information about the erlang-questions
mailing list