Use Gradualizer which treats Elixir String.t() as refinable

erszcz · erszcz · commit a956195df02a · 2022-03-09T15:44:38.000+01:00
diff --git a/examples/typed_gen_server/mix.exs b/examples/typed_gen_server/mix.exs
@@ -24,7 +24,9 @@ defmodule TypedGenServer.MixProject do
   defp deps do
     [
       {:gradient, path: "../../"},
-      {:dialyxir, "~> 1.1", only: [:dev, :test], runtime: false}
+      {:dialyxir, "~> 1.1", only: [:dev, :test], runtime: false},
+      {:gradualizer,
+       github: "erszcz/Gradualizer", ref: "typed-gen-server", manager: :rebar3, override: true}
     ]
   end
 
diff --git a/examples/typed_gen_server/mix.lock b/examples/typed_gen_server/mix.lock
@@ -1,5 +1,5 @@
 %{
   "dialyxir": {:hex, :dialyxir, "1.1.0", "c5aab0d6e71e5522e77beff7ba9e08f8e02bad90dfbeffae60eaf0cb47e29488", [:mix], [{:erlex, ">= 0.2.6", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm", "07ea8e49c45f15264ebe6d5b93799d4dd56a44036cf42d0ad9c960bc266c0b9a"},
   "erlex": {:hex, :erlex, "0.2.6", "c7987d15e899c7a2f34f5420d2a2ea0d659682c06ac607572df55a43753aa12e", [:mix], [], "hexpm", "2ed2e25711feb44d52b17d2780eabf998452f6efda104877a3881c2f8c0c0c75"},
-  "gradualizer": {:git, "https://github.com/josefs/Gradualizer.git", "6e89b4e1cd489637a848cc5ca55058c8a241bf7d", [ref: "6e89b4e"]},
+  "gradualizer": {:git, "https://github.com/erszcz/Gradualizer.git", "764ddc6b4cc007008ea68eb9ec7a3f3adc2f1951", [ref: "typed-gen-server"]},
 }

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,9 @@ defmodule TypedGenServer.MixProject do`
`24`	`24`	`defp deps do`
`25`	`25`	`[`
`26`	`26`	`{:gradient, path: "../../"},`
`27`		`- {:dialyxir, "~> 1.1", only: [:dev, :test], runtime: false}`
	`27`	`+ {:dialyxir, "~> 1.1", only: [:dev, :test], runtime: false},`
	`28`	`+ {:gradualizer,`
	`29`	`+ github: "erszcz/Gradualizer", ref: "typed-gen-server", manager: :rebar3, override: true}`
`28`	`30`	`]`
`29`	`31`	`end`
`30`	`32`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`%{`
`2`	`2`	`"dialyxir": {:hex, :dialyxir, "1.1.0", "c5aab0d6e71e5522e77beff7ba9e08f8e02bad90dfbeffae60eaf0cb47e29488", [:mix], [{:erlex, ">= 0.2.6", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm", "07ea8e49c45f15264ebe6d5b93799d4dd56a44036cf42d0ad9c960bc266c0b9a"},`
`3`	`3`	`"erlex": {:hex, :erlex, "0.2.6", "c7987d15e899c7a2f34f5420d2a2ea0d659682c06ac607572df55a43753aa12e", [:mix], [], "hexpm", "2ed2e25711feb44d52b17d2780eabf998452f6efda104877a3881c2f8c0c0c75"},`
`4`		`- "gradualizer": {:git, "https://github.com/josefs/Gradualizer.git", "6e89b4e1cd489637a848cc5ca55058c8a241bf7d", [ref: "6e89b4e"]},`
	`4`	`+ "gradualizer": {:git, "https://github.com/erszcz/Gradualizer.git", "764ddc6b4cc007008ea68eb9ec7a3f3adc2f1951", [ref: "typed-gen-server"]},`
`5`	`5`	`}`