Hi all,
When running Dialyxir I’ve got the following warnings:
:0:unknown_type
Unknown type: :crypto.ec_named_curve/0.
________________________________________________________________________________
:0:unknown_type
Unknown type: :crypto.sha1/0.
________________________________________________________________________________
:0:unknown_type
Unknown type: :crypto.sha2/0.
________________________________________________________________________________
It seems to me that these types do exist nonetheless:
http://erlang.org/doc/man/crypto.html#type-ec_named_curve
http://erlang.org/doc/man/crypto.html#Digests
and Dialyxir does include :crypto
:
[2630:2592 - 0:2034] 10:37:01 [me@soulwax:o +1] ~/coding/wax
$ mix dialyzer
Finding suitable PLTs
Checking PLT...
[:asn1, :cbor, :certifi, :compiler, :crypto, :elixir, :hackney, :httpoison, :idna, :jason, :kernel, :logger, :metrics, :mimerl, :public_key, :ssl, :ssl_verify_fun, :stdlib, :unicode_util_compat, :x509]
PLT is up to date!
Starting Dialyzer
[
check_plt: false,
init_plt: '/home/me/coding/wax/_build/dev/dialyxir_erlang-21.0_elixir-1.7.2_deps-dev.plt',
files_rec: ['/home/me/coding/wax/_build/dev/lib/wax/ebin'],
warnings: [:unknown]
]
Here are the specs:
@spec to_erlang_curve(non_neg_integer()) :: :crypto.ec_named_curve()
@spec to_erlang_digest(t()) :: :crypto.sha1() | :crypto.sha2()
Any idea why Dialyxir cannot find them?
Have a good day!