From 7f26ff6703911cee5912b95de46726572cbb53f7 Mon Sep 17 00:00:00 2001
From: Magnus Ottenklinger <evnu@posteo.de>
Date: Fri, 20 Oct 2023 22:09:44 +0200
Subject: [PATCH] deps: remove dialyxir

This resolves this error:

** (UndefinedFunctionError) function Dialyxir.Output.info/1 is undefined (module Dialyxir.Output is not available)
    (dialyxir 1.4.1) Dialyxir.Output.info("Finding suitable PLTs")
    (dialyxir 1.4.1) lib/mix/tasks/dialyzer.ex:174: Mix.Tasks.Dialyzer.run/1
    (mix 1.15.6) lib/mix/task.ex:447: anonymous fn/3 in Mix.Task.run_task/5
    (mix 1.15.6) lib/mix/task.ex:506: Mix.Task.run_alias/6
    (mix 1.15.6) lib/mix/cli.ex:92: Mix.CLI.run_task/2
    /usr/bin/mix:2: (file)
[1]    104215 exit 1     mix lint
---
 mix.exs  | 26 ++------------------------
 mix.lock |  1 -
 2 files changed, 2 insertions(+), 25 deletions(-)

diff --git a/mix.exs b/mix.exs
index a438056..bbf7386 100644
--- a/mix.exs
+++ b/mix.exs
@@ -30,12 +30,10 @@ defmodule PropCheck.Mixfile do
       preferred_cli_env: [
         tests: :test,
         test_ext: :test,
-        dialyzer: :test,
         parallel_test: :test,
         test_parallel: :test
       ],
-      deps: deps(),
-      dialyzer: dialyzer()
+      deps: deps()
     ]
   end
 
@@ -80,8 +78,7 @@ defmodule PropCheck.Mixfile do
       tests: ["test_ext", "test"],
       lint: [
         "credo --strict",
-        "hex.audit",
-        "dialyzer"
+        "hex.audit"
       ]
     ]
   end
@@ -91,29 +88,10 @@ defmodule PropCheck.Mixfile do
       {:proper, github: "proper-testing/proper", ref: "a5ae5669f01143b0828fc21667d4f5e344aa760b"},
       {:libgraph, "~> 0.13"},
       {:credo, "~> 1.4", only: [:dev, :test], runtime: false},
-      {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false},
       {:ex_doc, "~> 0.21", only: :dev}
     ]
   end
 
-  defp dialyzer do
-    [
-      plt_add_deps: :apps_direct,
-      plt_add_apps: ~w(
-        ex_unit
-        iex
-        mix
-        compiler
-      )a,
-      flags: ~w(
-        error_handling
-        race_conditions
-        unmatched_returns
-        underspecs
-      )a
-    ]
-  end
-
   defp external_tests(_args) do
     run = fn arg ->
       r = Mix.shell().cmd(arg)
diff --git a/mix.lock b/mix.lock
index 3279342..40e94af 100644
--- a/mix.lock
+++ b/mix.lock
@@ -2,7 +2,6 @@
   "bunt": {:hex, :bunt, "0.2.1", "e2d4792f7bc0ced7583ab54922808919518d0e57ee162901a16a1b6664ef3b14", [:mix], [], "hexpm", "a330bfb4245239787b15005e66ae6845c9cd524a288f0d141c148b02603777a5"},
   "certifi": {:hex, :certifi, "2.12.0", "2d1cca2ec95f59643862af91f001478c9863c2ac9cb6e2f89780bfd8de987329", [:rebar3], [], "hexpm", "ee68d85df22e554040cdb4be100f33873ac6051387baf6a8f6ce82272340ff1c"},
   "credo": {:hex, :credo, "1.7.1", "6e26bbcc9e22eefbff7e43188e69924e78818e2fe6282487d0703652bc20fd62", [:mix], [{:bunt, "~> 0.2.1", [hex: :bunt, repo: "hexpm", optional: false]}, {:file_system, "~> 0.2.8", [hex: :file_system, repo: "hexpm", optional: false]}, {:jason, "~> 1.0", [hex: :jason, repo: "hexpm", optional: false]}], "hexpm", "e9871c6095a4c0381c89b6aa98bc6260a8ba6addccf7f6a53da8849c748a58a2"},
-  "dialyxir": {:hex, :dialyxir, "1.4.1", "a22ed1e7bd3a3e3f197b68d806ef66acb61ee8f57b3ac85fc5d57354c5482a93", [:mix], [{:erlex, ">= 0.2.6", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm", "84b795d6d7796297cca5a3118444b80c7d94f7ce247d49886e7c291e1ae49801"},
   "earmark_parser": {:hex, :earmark_parser, "1.4.37", "2ad73550e27c8946648b06905a57e4d454e4d7229c2dafa72a0348c99d8be5f7", [:mix], [], "hexpm", "6b19783f2802f039806f375610faa22da130b8edc21209d0bff47918bb48360e"},
   "erlex": {:hex, :erlex, "0.2.6", "c7987d15e899c7a2f34f5420d2a2ea0d659682c06ac607572df55a43753aa12e", [:mix], [], "hexpm", "2ed2e25711feb44d52b17d2780eabf998452f6efda104877a3881c2f8c0c0c75"},
   "ex_doc": {:hex, :ex_doc, "0.30.9", "d691453495c47434c0f2052b08dd91cc32bc4e1a218f86884563448ee2502dd2", [:mix], [{:earmark_parser, "~> 1.4.31", [hex: :earmark_parser, repo: "hexpm", optional: false]}, {:makeup_elixir, "~> 0.14", [hex: :makeup_elixir, repo: "hexpm", optional: false]}, {:makeup_erlang, "~> 0.1", [hex: :makeup_erlang, repo: "hexpm", optional: false]}], "hexpm", "d7aaaf21e95dc5cddabf89063327e96867d00013963eadf2c6ad135506a8bc10"},