Re: Dialyzer can't compile map correctly
Jesper Louis Andersen <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <CAGrdgiXgGMF3QDGbcz3i7vGb3WoFsV1cz1Ke0F+BKsa4CoU+iA@mail.gmail.com> |
On Tue, Dec 16, 2014 at 1:46 AM, Kostis Sagonas <[email protected]> wrote: I indeed see as to why this is true: Thus, the -spec box_keypair() -> #{ atom() => binary() }. that you have > specified is wrong as far as Dialyzer is concerned. But how do you propose I fix this problem then? not_loaded() will *never* be called in a real program since it will be replaced by the NIFs C code. I want that code to crash and burn if it is ever called, because it means the NIF is not loaded properly. That is, what is the correct specification to give here such that the underlying call to enacl_nif:crypto_box_keypair() returns the right type, without getting the dialyzer all confused due to the replacement code in the erlang module? -- J. _______________________________________________ erlang-bugs mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-bugs