[erlang-questions] Dialyzer 1.6.0 anc qlc

Giacomo Olgeni g.olgeni@REDACTED
Tue May 29 19:03:24 CEST 2007


Hello,

I ran Dialyzer 1.6.0 (R11B-4) over my compiled beam files, and got a lot 
of these error messages:

Checking whether the initial PLT exists and is up-to-date... yes
Proceeding with analysis... .:none: internal error in core_module;
crash reason: {function_clause,
                  [{v3_core,
                       lineno_anno,
                       [{'X',313},
                        {core,
                            14,
                            0,
                            false,
                            [],
                            [{file,"./epg_service_server.erl"}]}]},
                   {v3_core,expr,2},
                   {v3_core,safe,2},
                   {v3_core,expr,2},
                   {v3_core,safe,2},
                   {v3_core,'-safe_list/2-anonymous-0-',2},
                   {lists,foldr,3},
                   {v3_core,expr,2}]}

They are always associated with qlc function calls, like this:

    qlc:e (qlc:q ([X || X <- mnesia:table (epg_ftp_feed), 
X#epg_ftp_feed.service_id == ServiceId]))

Dialyzer from R11B-3 worked fine with the same files.

Should I do something special to let it recognize the qlc code?

bye,
    Jimmy



More information about the erlang-questions mailing list