|
|
| Author |
Message |
< Erlang bugs mailing list ~ Dialyzer does not recognize erlang:list_to_integer/2 |
| Zert |
Posted: Thu Mar 25, 2010 4:52 am |
|
|
|
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 |
|
|
| Back to top |
|
| Guest |
Posted: Thu Mar 25, 2010 7:21 am |
|
|
|
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 |
|
|
| 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
|
|
|