| Author |
Message |
< Erlang ~ dialyzer problem - module names |
| odi |
 Posted: Thu Feb 19, 2009 2:53 pm |
 |
|
|
Joined: 19 Feb 2009
Posts: 9
|
hi;)
I've got some problem with running dialyzer... I have erlang modules in subdirectories, for example module agent_fsm.erl located in directory vsn2_2/ is specified using
Code: -module(vsn2_2.agent_fsm).
When I try to run dialyzer as
Code: dialyzer:run([{files, ["vsn2_2/agent_fsm.beam"]}]).
it shows me the following error:
Code: .:none: internal error in lint_module;
crash reason: {badarg,[{erlang,atom_to_list,[[vsn2_2,agent_fsm]]},
{compile,add_default_base,2},
{compile,lint_module,1},
{compile,'-internal_comp/4-anonymous-1-',2},
{compile,fold_comp,3},
{compile,internal_comp,4},
{compile,internal,3}]}
{error,[],
[[69,
114,
114,
111,
114,
32,
115,
99,
97,
110,
110,
105,
110,
103,
32,
102,
105,
108,
101,
58,
32,
"\"vsn2_2/agent_fsm.beam\"",
10,
" Could not get core for vsn2_2/agent_fsm.beam",
10]]}
Does anybody know how to deal with it? I managed to change some code in dialyzer sources so that these errors don't show (module name is given as [vsn2_2, agent_fsm] instead of 'vsn2_2.agent_fsm') but dialyzer doesn't seem to be working and always returns {ok, []}.
I'll be grateful for any help.
Kuba |
|
|
| Back to top |
 
|
| odi |
| Posted: Mon Feb 23, 2009 12:51 pm |
|
|
|
Joined: 19 Feb 2009
Posts: 9
|
I managed to get it working but I had to do a little trick:
After building agent_fsm.beam file into ebin/vsn2_2 directory I copied it to ebin directory and changed it's name to vsn2_2.agent_fsm.beam.
It's working fine, yet only for dialyzer purpose, application with beams placed and named this way doesn't work...
Furthermore it is only working for Erlang version 5.6.5, I tested it also with 5.5.5 but I get the same error as earlier. |
|
|
| Back to top |
|
| uwiger |
| Posted: Thu Feb 26, 2009 2:48 pm |
|
|
|
User
Joined: 03 Jul 2006
Posts: 604
Location: Sweden
|
odi wrote: hi;)
I've got some problem with running dialyzer... I have erlang modules in subdirectories, for example module agent_fsm.erl located in directory vsn2_2/ is specified using
Code: -module(vsn2_2.agent_fsm).
...
Relaying a message from Kostis Sagonas:
This is a known issue.
Dialyzer does not support packages (at least not yet) but the situation is not that different than those of many other tools that manipulate Erlang code, which currently do not support packages either. Supporting packages is on the dialyzer TODO list, but its priority is quite low and the decision to promote it to a higher priority is to some extent dependent on the general future of packages in Erlang.
Kostis |
|
|
| Back to top |
|
| wuji |
| Posted: Mon Aug 13, 2012 8:25 am |
|
|
|
User
Joined: 10 Aug 2012
Posts: 654
|
Bent and Brewer in the day leading up to the the [h3]jordan 6 olympic 2012[/h3] the attack.The previous day, Brewer's parents reported Bent to the
for allegedly attempting to steal a family bicycle. Brewer said said imitation designer *beep* said he stayed home from school on Oct. 12 fearing
retaliation by Bent, who he testified Thursday was targeting him him knockoff designer *beep* him because he refused to buy drug paraphernalia from Bent.Denver
17, who is serving eight years in prison for pouring pouring jordan 6 olympic pouring the alcohol on Brewer, testified Wednesday that Bent offered
$5 to do so, Schneider reminded jurors. Other witnesses testified testified cheap Ralph Lauren testified that Bent had offered money to anyone who would
up Brewer.Bent's attorneys rested their case Monday morning without calling calling [h4]cheap replica *beep*[/h4] calling a single witness and told the court that Bent |
|
|
| Back to top |
|
| dongdongwu |
| Posted: Thu Sep 20, 2012 5:39 am |
|
|
|
User
Joined: 19 Sep 2012
Posts: 236
|
His good friend Diane said: "Christian Louboutin Men Shoes was a magician, he make shoes is immediately put his female people with legs and advantage. He understands women wanted to do and can make them into beautiful Cinderella." Madonna often in its concert wearing Christian louboutin high heels , and some famous superstar like Angelina jolie, mariah Carey, beyonce Knowles, the famous Japanese singer YaYouMei Hamasaki helps Christian Louboutin Men Shoes set up its powerful position. The youngest customers will count Tom cruise's daughter sully cruz. Louboutin made for only a pair of handmade Christian Louboutin high heel Shoes! Want to be more fashion? Put on Christian Louboutin Outlet !
Candy colors of the chalaza high-heeled shoes with lolita type allure, set full finely gem blue "neon shoes" is to need to use "sexy" to describe. Each pair are worth careful appreciation of lithe and graceful fairy ludaoli, what kind of most let you move?Christian Louboutin Men Shoes that one brush red is always cannot resist the temptation, Christian Louboutin men outlet continue to use the days of high 8cm above slender heel proclaim the sexy and luxuriant. The bowknot on black pointed high-heeled shoes with sharp rivet concomitant, wild python met enchanting color printing grain, It is that pairs of high-heeled shoes lets Carrie more feminine flavour. Like Christian Louboutin for men her word. |
|
|
| Back to top |
|
|
|
All times are GMT
|
|
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum
|
|
|
Digg It
Del.icio.us
Reddit
Facebook
Stumble Upon
Technorati
