Erlang/OTP Forums

Author Message

<  Erlang bugs mailing list  ~  Dialyzer does not recognize erlang:list_to_integer/2

Zert
Posted: Thu Mar 25, 2010 4:52 am Reply with quote
User Joined: 03 Dec 2007 Posts: 32
Hello

Dialyzer prints out warning that erlang:list_to_integer/2 is Unknown.

[zert@pluto]:/tmp $>> cat tt.erl
-module(tt).

-compile([export_all]).

hex2i("0x" ++ L) -> erlang:list_to_integer(L, 16).

[zert@pluto]:/tmp $>> erlc +debug_info tt.erl


[zert@pluto]:/tmp $>> erl
Erlang R13B04 (erts-5.7.5) [source] [smp:2:2] [rq:2] [async-threads:0]
[hipe] [kernel-poll:false]

Eshell V5.7.5 (abort with ^G)
1> tt:hex2i("0x123").
291
2>
User switch command
--> q


[zert@pluto]:/tmp $>> dialyzer tt.beam
Checking whether the PLT /home/zert/.dialyzer_plt is up-to-date... yes
Proceeding with analysis...
Unknown functions:
erlang:list_to_integer/2
done in 0m3.19s
done (passed successfully)



--
Maxim Treskin

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe@erlang.org

Post received from mailinglist
View user's profile Send private message
Guest
Posted: Thu Mar 25, 2010 7:21 am Reply with quote
Guest
Maxim Treskin wrote:
> Hello
>
> Dialyzer prints out warning that erlang:list_to_integer/2 is Unknown.

Thanks for noticing this omission. A fix will appear in R14 and soon in
the git dev branch.

Kostis

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe@erlang.org

Post received from mailinglist

Display posts from previous:  

All times are GMT
Page 1 of 1
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

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