From 57e4e41c123489da2433a685ff9aa947070704ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonatan=20M=C3=A4nnchen?= Date: Wed, 3 Jan 2024 19:43:37 +0100 Subject: [PATCH] Update .dialyzer_ignore to include PR #152 & #153 --- .dialyzer_ignore.exs | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/.dialyzer_ignore.exs b/.dialyzer_ignore.exs index 6b92e5d..33dc3d8 100644 --- a/.dialyzer_ignore.exs +++ b/.dialyzer_ignore.exs @@ -2,16 +2,20 @@ # Initially all files are ignored # TODO: When fixing / completing specs & types of files, please remove the # corresponding entry below + {"lib/jose/jwa.ex", :unknown_type}, + {"lib/jose/jwa.ex", :invalid_contract}, + {"lib/jose/jwe.ex", :call}, {"lib/jose/jwe.ex", :pattern_match_cov}, + {"lib/jose/jwe.ex", :invalid_contract}, {"lib/jose/jwk.ex", :call}, {"lib/jose/jwk.ex", :pattern_match_cov}, {"lib/jose/jws.ex", :pattern_match_cov}, {"lib/jose/jwt.ex", :call}, {"lib/jose/jwt.ex", :guard_fail}, - {"src/jose_public_key.erl", :call}, - {"src/jose_public_key.erl", :no_return}, {"src/jose_public_key.erl", :pattern_match}, {"src/jose_public_key.erl", :pattern_match_cov}, + {"src/jose_public_key.erl", :call}, + {"src/jose_public_key.erl", :no_return}, {"src/jose_server.erl", :pattern_match}, {"src/json/jose_json_jiffy.erl", :unknown_function}, {"src/jwa/curve25519/jose_curve25519_crypto.erl", :callback_arg_type_mismatch}, @@ -21,29 +25,24 @@ {"src/jwa/jose_jwa_curve25519.erl", :callback_arg_type_mismatch}, {"src/jwa/jose_jwa_curve448.erl", :callback_arg_type_mismatch}, {"src/jwa/jose_jwa_curve448.erl", :callback_type_mismatch}, - {"src/jwa/jose_jwa_pkcs1.erl", :guard_fail}, {"src/jwa/jose_jwa_pkcs1.erl", :invalid_contract}, {"src/jwa/jose_jwa_pkcs1.erl", :pattern_match_cov}, + {"src/jwa/jose_jwa_pkcs1.erl", :guard_fail}, {"src/jwa/sha3/jose_sha3_keccakf1600_driver.erl", :unknown_function}, {"src/jwa/sha3/jose_sha3_keccakf1600_nif.erl", :unknown_function}, - {"src/jwe/jose_jwe_alg_ecdh_1pu.erl", :record_constr}, {"src/jwe/jose_jwe_alg_ecdh_1pu.erl", :record_match}, - {"src/jwe/jose_jwe_alg_ecdh_es.erl", :record_constr}, + {"src/jwe/jose_jwe_alg_ecdh_1pu.erl", :record_constr}, {"src/jwe/jose_jwe_alg_ecdh_es.erl", :record_match}, - {"src/jwe/jose_jwe_alg_ecdh_ss.erl", :record_constr}, + {"src/jwe/jose_jwe_alg_ecdh_es.erl", :record_constr}, {"src/jwe/jose_jwe_alg_ecdh_ss.erl", :record_match}, - {"src/jwk/jose_jwk.erl", :pattern_match}, + {"src/jwe/jose_jwe_alg_ecdh_ss.erl", :record_constr}, {"src/jwk/jose_jwk_kty_okp_ed25519.erl", :call}, {"src/jwk/jose_jwk_kty_okp_ed25519ph.erl", :call}, {"src/jwk/jose_jwk_kty_okp_ed448.erl", :call}, {"src/jwk/jose_jwk_kty_okp_ed448ph.erl", :call}, {"src/jwk/jose_jwk_kty_rsa.erl", :unknown_function}, - {"src/jwk/jose_jwk_openssh_key.erl", :call}, - {"src/jwk/jose_jwk_openssh_key.erl", :no_return}, - {"src/jwk/jose_jwk_openssh_key.erl", :pattern_match}, - {"src/jwk/jose_jwk_openssh_key.erl", :unused_fun}, {"src/jws/jose_jws_alg_poly1305.erl", :call}, + {"src/jws/jose_jws_alg_poly1305.erl", :record_constr}, {"src/jws/jose_jws_alg_poly1305.erl", :guard_fail_pat}, - {"src/jws/jose_jws_alg_poly1305.erl", :no_return}, - {"src/jws/jose_jws_alg_poly1305.erl", :record_constr} + {"src/jws/jose_jws_alg_poly1305.erl", :no_return} ]