├── .dialyzer_ignore.exs ├── .formatter.exs ├── .github ├── FUNDING.yml ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── config.yml └── workflows │ └── test.yml ├── .gitignore ├── .tool-versions ├── CHANGELOG.md ├── LICENSE ├── NOTICE ├── README.md ├── docs ├── circleci.md ├── github_actions.md └── gitlab_ci.md ├── lib ├── dialyxir.ex ├── dialyxir │ ├── dialyzer.ex │ ├── filter_map.ex │ ├── formatter.ex │ ├── formatter │ │ ├── dialyxir.ex │ │ ├── dialyzer.ex │ │ ├── github.ex │ │ ├── ignore_file.ex │ │ ├── ignore_file_strict.ex │ │ ├── raw.ex │ │ ├── short.ex │ │ └── utils.ex │ ├── output.ex │ ├── plt.ex │ ├── project.ex │ ├── warning.ex │ ├── warning_helpers.ex │ ├── warnings.ex │ └── warnings │ │ ├── app_call.ex │ │ ├── apply.ex │ │ ├── binary_construction.ex │ │ ├── call.ex │ │ ├── call_to_missing_function.ex │ │ ├── call_with_opaque.ex │ │ ├── call_without_opaque.ex │ │ ├── callback_argument_type_mismatch.ex │ │ ├── callback_info_missing.ex │ │ ├── callback_missing.ex │ │ ├── callback_not_exported.ex │ │ ├── callback_spec_argument_type_mismatch.ex │ │ ├── callback_spec_type_mismatch.ex │ │ ├── callback_type_mismatch.ex │ │ ├── contract_diff.ex │ │ ├── contract_range.ex │ │ ├── contract_subtype.ex │ │ ├── contract_supertype.ex │ │ ├── contract_with_opaque.ex │ │ ├── exact_equality.ex │ │ ├── extra_range.ex │ │ ├── function_application_arguments.ex │ │ ├── function_application_no_function.ex │ │ ├── guard_fail.ex │ │ ├── guard_fail_pattern.ex │ │ ├── improper_list_construction.ex │ │ ├── invalid_contract.ex │ │ ├── map_update.ex │ │ ├── missing_range.ex │ │ ├── negative_guard_fail.ex │ │ ├── no_return.ex │ │ ├── opaque_equality.ex │ │ ├── opaque_guard.ex │ │ ├── opaque_match.ex │ │ ├── opaque_nonequality.ex │ │ ├── opaque_type_test.ex │ │ ├── overlapping_contract.ex │ │ ├── pattern_match.ex │ │ ├── pattern_match_covered.ex │ │ ├── record_construction.ex │ │ ├── record_match.ex │ │ ├── record_matching.ex │ │ ├── unknown_behaviour.ex │ │ ├── unknown_function.ex │ │ ├── unknown_type.ex │ │ ├── unmatched_return.ex │ │ └── unused_function.ex └── mix │ └── tasks │ ├── dialyzer.ex │ └── dialyzer │ └── explain.ex ├── mix.exs ├── mix.lock └── test ├── dialyxir ├── dialyzer_test.exs ├── formatter_test.exs ├── output_test.exs ├── plt_test.exs └── project_test.exs ├── examples ├── apply.ex ├── call.ex ├── callback_argument.ex ├── callback_spec_argument.ex ├── contract_supertype.ex ├── contract_with_opaque.ex ├── exact_equality.ex ├── extra-range.ex ├── function_app_args.ex ├── function_app_no_fun.ex ├── guard_fail.ex ├── guard_fail_pattern.ex ├── opaque_equality.ex ├── opaque_match.ex ├── pattern_match.ex ├── pattern_match_covered.ex └── unknown_type.ex ├── fixtures ├── alt_core_path │ └── mix.exs ├── alt_local_path │ └── mix.exs ├── default_apps │ └── mix.exs ├── direct_apps │ └── mix.exs ├── ignore │ ├── ignore_test.exs │ └── mix.exs ├── ignore_apps │ └── mix.exs ├── ignore_custom_empty │ ├── ignore_test.exs │ └── mix.exs ├── ignore_custom_missing │ └── mix.exs ├── ignore_strict │ ├── ignore_strict_test.exs │ └── mix.exs ├── ignore_string │ ├── dialyzer.ignore-warnings │ └── mix.exs ├── local_plt │ ├── mix.exs │ └── mix.lock ├── local_plt_no_warn │ └── mix.exs ├── no_lockfile │ └── mix.exs ├── no_umbrella │ └── mix.exs ├── nonexistent_deps │ └── mix.exs ├── plt_add_deps_deprecations │ └── mix.exs ├── umbrella │ ├── .gitignore │ ├── README.md │ ├── apps │ │ ├── first_one │ │ │ ├── .gitignore │ │ │ ├── README.md │ │ │ ├── config │ │ │ │ └── config.exs │ │ │ ├── lib │ │ │ │ └── first_one.ex │ │ │ └── mix.exs │ │ └── second_one │ │ │ ├── .gitignore │ │ │ ├── README.md │ │ │ ├── config │ │ │ └── config.exs │ │ │ ├── lib │ │ │ └── second_one.ex │ │ │ └── mix.exs │ ├── config │ │ └── config.exs │ └── mix.exs └── umbrella_ignore_apps │ ├── .gitignore │ ├── apps │ ├── first_one │ │ └── mix.exs │ └── second_one │ │ └── mix.exs │ └── mix.exs ├── mix └── tasks │ └── dialyzer_test.exs ├── test_helper.exs └── warning_test.exs /.dialyzer_ignore.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.dialyzer_ignore.exs -------------------------------------------------------------------------------- /.formatter.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.formatter.exs -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- 1 | blank_issues_enabled: false 2 | -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/.gitignore -------------------------------------------------------------------------------- /.tool-versions: -------------------------------------------------------------------------------- 1 | elixir 1.15.7-otp-26 2 | erlang 26.1.2 3 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/README.md -------------------------------------------------------------------------------- /docs/circleci.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/docs/circleci.md -------------------------------------------------------------------------------- /docs/github_actions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/docs/github_actions.md -------------------------------------------------------------------------------- /docs/gitlab_ci.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/docs/gitlab_ci.md -------------------------------------------------------------------------------- /lib/dialyxir.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir.ex -------------------------------------------------------------------------------- /lib/dialyxir/dialyzer.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/dialyzer.ex -------------------------------------------------------------------------------- /lib/dialyxir/filter_map.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/filter_map.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/dialyxir.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/dialyxir.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/dialyzer.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/dialyzer.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/github.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/github.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/ignore_file.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/ignore_file.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/ignore_file_strict.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/ignore_file_strict.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/raw.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/raw.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/short.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/short.ex -------------------------------------------------------------------------------- /lib/dialyxir/formatter/utils.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/formatter/utils.ex -------------------------------------------------------------------------------- /lib/dialyxir/output.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/output.ex -------------------------------------------------------------------------------- /lib/dialyxir/plt.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/plt.ex -------------------------------------------------------------------------------- /lib/dialyxir/project.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/project.ex -------------------------------------------------------------------------------- /lib/dialyxir/warning.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warning.ex -------------------------------------------------------------------------------- /lib/dialyxir/warning_helpers.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warning_helpers.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/app_call.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/app_call.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/apply.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/apply.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/binary_construction.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/binary_construction.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/call.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/call.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/call_to_missing_function.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/call_to_missing_function.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/call_with_opaque.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/call_with_opaque.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/call_without_opaque.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/call_without_opaque.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_argument_type_mismatch.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_argument_type_mismatch.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_info_missing.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_info_missing.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_missing.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_missing.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_not_exported.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_not_exported.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_spec_argument_type_mismatch.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_spec_argument_type_mismatch.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_spec_type_mismatch.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_spec_type_mismatch.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/callback_type_mismatch.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/callback_type_mismatch.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/contract_diff.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/contract_diff.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/contract_range.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/contract_range.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/contract_subtype.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/contract_subtype.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/contract_supertype.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/contract_supertype.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/contract_with_opaque.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/contract_with_opaque.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/exact_equality.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/exact_equality.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/extra_range.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/extra_range.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/function_application_arguments.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/function_application_arguments.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/function_application_no_function.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/function_application_no_function.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/guard_fail.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/guard_fail.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/guard_fail_pattern.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/guard_fail_pattern.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/improper_list_construction.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/improper_list_construction.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/invalid_contract.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/invalid_contract.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/map_update.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/map_update.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/missing_range.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/missing_range.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/negative_guard_fail.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/negative_guard_fail.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/no_return.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/no_return.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/opaque_equality.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/opaque_equality.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/opaque_guard.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/opaque_guard.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/opaque_match.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/opaque_match.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/opaque_nonequality.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/opaque_nonequality.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/opaque_type_test.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/opaque_type_test.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/overlapping_contract.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/overlapping_contract.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/pattern_match.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/pattern_match.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/pattern_match_covered.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/pattern_match_covered.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/record_construction.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/record_construction.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/record_match.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/record_match.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/record_matching.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/record_matching.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/unknown_behaviour.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/unknown_behaviour.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/unknown_function.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/unknown_function.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/unknown_type.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/unknown_type.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/unmatched_return.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/unmatched_return.ex -------------------------------------------------------------------------------- /lib/dialyxir/warnings/unused_function.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/dialyxir/warnings/unused_function.ex -------------------------------------------------------------------------------- /lib/mix/tasks/dialyzer.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/mix/tasks/dialyzer.ex -------------------------------------------------------------------------------- /lib/mix/tasks/dialyzer/explain.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/lib/mix/tasks/dialyzer/explain.ex -------------------------------------------------------------------------------- /mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/mix.exs -------------------------------------------------------------------------------- /mix.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/mix.lock -------------------------------------------------------------------------------- /test/dialyxir/dialyzer_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/dialyxir/dialyzer_test.exs -------------------------------------------------------------------------------- /test/dialyxir/formatter_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/dialyxir/formatter_test.exs -------------------------------------------------------------------------------- /test/dialyxir/output_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/dialyxir/output_test.exs -------------------------------------------------------------------------------- /test/dialyxir/plt_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/dialyxir/plt_test.exs -------------------------------------------------------------------------------- /test/dialyxir/project_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/dialyxir/project_test.exs -------------------------------------------------------------------------------- /test/examples/apply.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/apply.ex -------------------------------------------------------------------------------- /test/examples/call.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/call.ex -------------------------------------------------------------------------------- /test/examples/callback_argument.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/callback_argument.ex -------------------------------------------------------------------------------- /test/examples/callback_spec_argument.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/callback_spec_argument.ex -------------------------------------------------------------------------------- /test/examples/contract_supertype.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/contract_supertype.ex -------------------------------------------------------------------------------- /test/examples/contract_with_opaque.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/contract_with_opaque.ex -------------------------------------------------------------------------------- /test/examples/exact_equality.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/exact_equality.ex -------------------------------------------------------------------------------- /test/examples/extra-range.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/extra-range.ex -------------------------------------------------------------------------------- /test/examples/function_app_args.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/function_app_args.ex -------------------------------------------------------------------------------- /test/examples/function_app_no_fun.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/function_app_no_fun.ex -------------------------------------------------------------------------------- /test/examples/guard_fail.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/guard_fail.ex -------------------------------------------------------------------------------- /test/examples/guard_fail_pattern.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/guard_fail_pattern.ex -------------------------------------------------------------------------------- /test/examples/opaque_equality.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/opaque_equality.ex -------------------------------------------------------------------------------- /test/examples/opaque_match.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/opaque_match.ex -------------------------------------------------------------------------------- /test/examples/pattern_match.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/pattern_match.ex -------------------------------------------------------------------------------- /test/examples/pattern_match_covered.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/pattern_match_covered.ex -------------------------------------------------------------------------------- /test/examples/unknown_type.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/examples/unknown_type.ex -------------------------------------------------------------------------------- /test/fixtures/alt_core_path/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/alt_core_path/mix.exs -------------------------------------------------------------------------------- /test/fixtures/alt_local_path/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/alt_local_path/mix.exs -------------------------------------------------------------------------------- /test/fixtures/default_apps/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/default_apps/mix.exs -------------------------------------------------------------------------------- /test/fixtures/direct_apps/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/direct_apps/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore/ignore_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore/ignore_test.exs -------------------------------------------------------------------------------- /test/fixtures/ignore/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_apps/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_apps/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_custom_empty/ignore_test.exs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/fixtures/ignore_custom_empty/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_custom_empty/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_custom_missing/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_custom_missing/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_strict/ignore_strict_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_strict/ignore_strict_test.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_strict/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_strict/mix.exs -------------------------------------------------------------------------------- /test/fixtures/ignore_string/dialyzer.ignore-warnings: -------------------------------------------------------------------------------- 1 | a/file.ex:17: The pattern 'ok' can never match the type 'error' 2 | -------------------------------------------------------------------------------- /test/fixtures/ignore_string/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/ignore_string/mix.exs -------------------------------------------------------------------------------- /test/fixtures/local_plt/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/local_plt/mix.exs -------------------------------------------------------------------------------- /test/fixtures/local_plt/mix.lock: -------------------------------------------------------------------------------- 1 | %{} 2 | -------------------------------------------------------------------------------- /test/fixtures/local_plt_no_warn/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/local_plt_no_warn/mix.exs -------------------------------------------------------------------------------- /test/fixtures/no_lockfile/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/no_lockfile/mix.exs -------------------------------------------------------------------------------- /test/fixtures/no_umbrella/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/no_umbrella/mix.exs -------------------------------------------------------------------------------- /test/fixtures/nonexistent_deps/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/nonexistent_deps/mix.exs -------------------------------------------------------------------------------- /test/fixtures/plt_add_deps_deprecations/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/plt_add_deps_deprecations/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/.gitignore -------------------------------------------------------------------------------- /test/fixtures/umbrella/README.md: -------------------------------------------------------------------------------- 1 | # Umbrella 2 | 3 | **TODO: Add description** 4 | 5 | -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/first_one/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/first_one/.gitignore -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/first_one/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/first_one/README.md -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/first_one/config/config.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/first_one/config/config.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/first_one/lib/first_one.ex: -------------------------------------------------------------------------------- 1 | defmodule FirstOne do 2 | end 3 | -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/first_one/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/first_one/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/second_one/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/second_one/.gitignore -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/second_one/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/second_one/README.md -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/second_one/config/config.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/second_one/config/config.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/second_one/lib/second_one.ex: -------------------------------------------------------------------------------- 1 | defmodule SecondOne do 2 | end 3 | -------------------------------------------------------------------------------- /test/fixtures/umbrella/apps/second_one/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/apps/second_one/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/config/config.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/config/config.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella_ignore_apps/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella_ignore_apps/.gitignore -------------------------------------------------------------------------------- /test/fixtures/umbrella_ignore_apps/apps/first_one/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella_ignore_apps/apps/first_one/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella_ignore_apps/apps/second_one/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella_ignore_apps/apps/second_one/mix.exs -------------------------------------------------------------------------------- /test/fixtures/umbrella_ignore_apps/mix.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/fixtures/umbrella_ignore_apps/mix.exs -------------------------------------------------------------------------------- /test/mix/tasks/dialyzer_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/mix/tasks/dialyzer_test.exs -------------------------------------------------------------------------------- /test/test_helper.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/test_helper.exs -------------------------------------------------------------------------------- /test/warning_test.exs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jeremyjh/dialyxir/HEAD/test/warning_test.exs --------------------------------------------------------------------------------