[erlang-bugs] dialyzer warning - The call erl_ddll:format_error(Err::{'open_error', _}) will never return ...

[Joseph Wayne Norton]

The function specification for the erl_ddll:format_error builtin seems to be incomplete.

To repeat this dialyzer warning, please see the attached file.

thanks,

- Joe N.


$ erlc +debug_info foo.erl 

$ dialyzer foo.beam 
  Checking whether the PLT ~/.dialyzer_plt.R15B02 is up-to-date... yes
  Proceeding with analysis...
foo.erl:19: The call erl_ddll:format_error(Err::{'open_error',_}) will never return since it differs in the 1st argument from the success typing arguments: ('already_loaded' | 'inconsistent' | 'linked_in_driver' | 'load_cancelled' | 'not_loaded' | 'not_loaded_by_this_process' | 'not_pending' | 'permanent' | 'unloading')
 done in 0m9.45s
done (warnings were emitted)

$ erl --version
Erlang R15B02 (erts-5.9.2) [source] [64-bit] [smp:2:2] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.9.2  (abort with ^G)
1> 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: foo.erl
Type: application/octet-stream
Size: 883 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20120923/ce29e6eb/attachment.obj>